chapter

Model synchronization at work: keeping SysML and AUTOSAR models consistent

Authors:

Stephan Hildebrandt,

Stefan NeumannAuthors Info & Claims

Graph transformations and model-driven engineering: essays dedicated to Manfred Nagl on the occasion of his 65th birthday

January 2010

Pages 555 - 579

Published: 01 January 2010 Publication History

Abstract

During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this paper, we present how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner.

References

[1]

Systems Modeling Language v. 1.1 (November 2008), http://www.sysml.org

[2]

Aldazabal, A., Baily, T., Nanclares, F., Sadovykh, A., Hein, C., Ritter, T.: Automated model driven development processes (2008)

[3]

AUTOSAR: UML Profile for AUTOSAR (January 2007), aUTOSAR GbR

[4]

Becker, S., Herold, S., Lohmann, S., Westfechtel, B.: A graph-based algorithm for consistency maintenance in incremental and interactive integration tools. Software and Systems Modeling (SoSyM) 6(3), 287-315 (2007), http://dx.doi.org/10.1007/s10270-006-0045-5

[5]

Bergmann, G., Ökrös, A., Ráth, I., Varró, D., Varró, G.: Incremental pattern matching in the viatra model transformation system. In: GRaMoT 2008: Proceedings of the Third International Workshop on Graph and Model Transformations, pp. 25-32. ACM, New York (2008)

Digital Library

[6]

Borland Together Architect, http://www.borland.com/

[7]

Burmester, S., Giese, H., Niere, J., Tichy, M., Wadsack, J.P., Wagner, R., Wendehals, L., Zündorf, A.: Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. International Journal on Software Tools for Technology Transfer (STTT) 6(3), 203-218 (2004), http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/ 2004/STTT-BGN+04.pdf

Digital Library

[8]

Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models. In: Richardson, J., Emmerich, W., Wile, D. (eds.) Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, September 23, pp. 267-270. IEEE Press, Edinburgh (2002)

Digital Library

[9]

Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM System Journal 45(3) (July 2006)

Digital Library

[10]

Darmstadt, T.U.: Moflon (2007), http://www.moflon.org

[11]

Egyed, A.: Fixing Inconsistencies in UML Design Models. In: Proceedings of the 29th International Conference on Software Engineering (ICSE), Minneapolis, MN, USA, pp. 292-301. IEEE Computer Society, Los Alamitos (May 2007)

Digital Library

[12]

Ermel, C., Rudolf, M., Taentzer, G.: The AGG Approach: Language and Environment. In: Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol. 2. World Scientific Publishing, Singapore (1999)

Digital Library

[13]

Finkelstein, A.: A Foolish Consistency: Technical Challenges in Consistency Management. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 1-5. Springer, Heidelberg (2000)

Digital Library

[14]

Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story Diagrams: A new Graph Rewrite Language based on the Unified Modeling Language. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296-309. Springer, Heidelberg (2000), http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/ 1998/TAGT1998.pdf

Digital Library

[15]

France Telecom: SmartQVT, http://smartqvt.elibel.tm.fr/

[16]

Gardner, T., Griffin, C., Koehler, J., Hauser, R.: Review of OMG MOF 2.0 Query/Views/Transformations Submissions and Recommendations towards final Standard. OMG, 250 First Avenue, Needham, MA 02494, USA (2003), http://www.omg.org/docs/ad/03-08-02.pdf

[17]

Giese, H., Hildebrandt, S., Neumann, S.: Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. In: 5th Workshop on Model-Based Development of Embedded Systems (MBEES) (2009)

[18]

Giese, H., Hildebrandt, S., Seibel, A.: Improved Flexibility and Scalability by Interpreting Story Diagrams. In: Magaria, T., Padberg, J., Taentzer, G. (eds.) Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009) (2009)

[19]

Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1) (February 1, 2009), http://www.springerlink.com/content/j716245824112n27/

[20]

Guerra, E., de Lara, J.: Event-Driven Grammars: Towards the Integration of Meta-Modelling and Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 54-69. Springer, Heidelberg (2004)

[21]

ikv++ technologies ag: medini QVT (2007), http://www.ikv.de

[22]

Johnson, T., Paredis, C., Burkhart, R.: Integrating Models and Simulations of Continuous Dynamics into SysML (2008)

[23]

Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286-298. Springer, Heidelberg (2002)

Digital Library

[24]

Kindler, E., Rubin, V., Wagner, R.: An Adaptable TGG Interpreter for In-Memory Model Transformation. In: Proc. of the Fujaba Days 2004, Darmstadt, Germany, pp. 35-38 (September 2004)

[25]

Marschall, F., Braun, P.: Model Transformations for the MDA with BOTL. In: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications. Technical Report TR-CTIT-03-27, Univeristy of Twente (June 2003)

[26]

Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification (January 2006), document ptc/06-11-01

[27]

OMG, O.M.G.: Object Constraint Language (May 2006), http://www.omg.org/spec/OCL/2.0/PDF

[28]

Schürr, A., Winter, A.J., Zündorf, A.: The PROGRES Approach: Language and Environment. In: Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol. 2, pp. 487-550. World Scientific Publishing Co., Inc., River Edge (1999)

Digital Library

[29]

Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903. Springer, Heidelberg (1995)

Digital Library

[30]

Stürmer, I., Kreuz, I., Schäfer, W., Schürr, A.: Enhanced Simulink Stateflow Model Transformation: The MATE Approach. In: Proc. of Math Works Automotive Conference (MAC 2007). Dearborn (MI), USA (2007)

[31]

Tata Consultancy Services: Model Morf (2007), http://www.tcs-trddc.com/ModelMorf/index.htm

[32]

University of Paderborn. Fujaba Tool Suite, Germany, http://www.fujaba.de/

[33]

Varró, D., Varró, G., Pataricza, A.: Designing the Automatic Transformation of Visual Languages. Science of Computer Programming 44(2), 205-227 (2002)

Digital Library

[34]

Vizhanyo, A., Agrawal, A., Shi, F.: Towards Generation of Efficient Transformations. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 298-316. Springer, Heidelberg (2004)

[35]

Windpassinger, H.: Modellierungssprache für die Kfz-Software Entwicklung. Elektronik Praxis (2007), http://www.elektronikpraxis.vogel.de/themen/ embeddedsoftwareengineering/analyseentwurf/articles/95528/

Cited By

Daun MBrings JKrajinski LWeyer TSutton SArmbrust OHebig R(2019)On the benefits of using dedicated models in validation processes for behavioral specificationsProceedings of the International Conference on Software and System Processes10.1109/ICSSP.2019.00016(44-53)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSSP.2019.00016
Ogunyomi BRose LKolovos D(2019)Incremental execution of model-to-text transformations using property access tracesSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0666-518:1(367-383)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-018-0666-5
Mazkatli MBurger EQuante JKoziolek AHorkoff JKokaly SPaige RSimmonds J(2018)Integrating semantically-related legacy models in vitruviusProceedings of the 10th International Workshop on Modelling in Software Engineering10.1145/3193954.3193961(41-48)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3193954.3193961
Show More Cited By

Recommendations

Towards automatic model synchronization from model transformations
ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. However, after a transformation is applied, the source model and the target ...
Tracing Evolution Changes of Software Artifacts through Model Synchronization
ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance

Software evolution encompasses all activities related to engineering software, from its inception to retirement. Propagating change across software models that are altered due to maintenance activities is a first step towards maintaining consistency ...
Incremental model synchronization in model driven development environments
CASCON '09: Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research

Most modern model driven software development environments rely heavily on model transformations for generating various software design artifacts and eventually even source code. However, during development, maintenance and evolution activities, these ...

Comments

Information & Contributors

Information

Published In

cover image Guide books

Graph transformations and model-driven engineering: essays dedicated to Manfred Nagl on the occasion of his 65th birthday

January 2010

765 pages

ISBN:3642173217

Editors:
Gregor Engels
University of Paderborn, Paderborn, Germany
,
Claus Lewerentz
Brandenburg Technical University at Cottbus, Cottbus, Germany
,
Wilhelm Schäfer
University of Paderborn, Paderborn, Germany
,
Andy Schürr
Technische Universität Darmstadt, Darmstadt, Germany
,
Bernhard Westfechtel
University of Bayreuth, Bayreuth, Germany

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 January 2010

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Daun MBrings JKrajinski LWeyer TSutton SArmbrust OHebig R(2019)On the benefits of using dedicated models in validation processes for behavioral specificationsProceedings of the International Conference on Software and System Processes10.1109/ICSSP.2019.00016(44-53)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSSP.2019.00016
Ogunyomi BRose LKolovos D(2019)Incremental execution of model-to-text transformations using property access tracesSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0666-518:1(367-383)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-018-0666-5
Mazkatli MBurger EQuante JKoziolek AHorkoff JKokaly SPaige RSimmonds J(2018)Integrating semantically-related legacy models in vitruviusProceedings of the 10th International Workshop on Modelling in Software Engineering10.1145/3193954.3193961(41-48)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3193954.3193961
Sporer HBrenner E(2016)An automotive E/E system domain-specific modelling approach with various tool supportACM SIGAPP Applied Computing Review10.1145/2924715.292471616:1(5-14)Online publication date: 14-Apr-2016
https://dl.acm.org/doi/10.1145/2924715.2924716
Macher GKreiner CLink CEloranta V(2015)Model transformation and synchronization process patternsProceedings of the 20th European Conference on Pattern Languages of Programs10.1145/2855321.2855347(1-11)Online publication date: 8-Jul-2015
https://dl.acm.org/doi/10.1145/2855321.2855347
Sporer HNadimi ECerny TKim SWang W(2015)A model-based domain-specific language approach for the automotive E/E-System designProceedings of the 2015 Conference on research in adaptive and convergent systems10.1145/2811411.2811533(357-362)Online publication date: 9-Oct-2015
https://dl.acm.org/doi/10.1145/2811411.2811533
Macher GObendrauf RArmengaud EKreiner CNadimi ECerny TKim SWang W(2015)Automated generation of basic software configuration of embedded systemsProceedings of the 2015 Conference on research in adaptive and convergent systems10.1145/2811411.2811519(461-464)Online publication date: 9-Oct-2015
https://dl.acm.org/doi/10.1145/2811411.2811519
Kramer MKruchten POzkaya IKoziolek H(2015)A Generative Approach to Change-Driven Consistency in Multi-View ModelingProceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures10.1145/2737182.2737194(129-134)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.1145/2737182.2737194
Sporer HMacher GHöller AKreiner C(2015)Bidirectional Crosslinking of System and Software Modeling in the Automotive DomainProceedings of the 7th International Workshop on Software Engineering for Resilient Systems - Volume 927410.1007/978-3-319-23129-7_8(99-113)Online publication date: 7-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-319-23129-7_8
Kramer MBurger ELanghammer MAtkinson CReussner RValecillo A(2013)View-centric engineering with synchronized heterogeneous modelsProceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling10.1145/2489861.2489864(1-6)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1145/2489861.2489864
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten