skip to main content
10.1145/3270112.3275335acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

Multi-model consistency preservation

Published: 14 October 2018 Publication History

Abstract

Modern software systems are developed using multiple models to represent different properties of the system. Since these models contain dependent information, keeping them consistent is crucial for producing correctly operating software. This process can be automated with model transformations, and has been researched mainly for binary transformations that define consistency preservation for pairs of metamodels. If more than two metamodels are involved, the combination of several binary transformations leads to problems such as interoperability issues and occurring trade-off decisions. Therefore, we investigate these problems in multi-model consistency preservation in our thesis. We first analyze the interoperability of binary transformations that have been independently developed and derive patterns for non-intrusive transformation interoperability. Furthermore, we introduce an approach for decomposing consistency relations and concept metamodels that make relations explicit. This is supposed to reduce the necessity for trade-off decisions regarding challenges such as compatibility of dependent transformations and modularity of used metamodels and transformations, as well as comprehensibility and evolvability. The proposed benefit of our approach is that independently developed binary transformations can be combined, omitting interoperability issues without the necessity to know about each other, to achieve multi-model consistency. We will evaluate our approach with case studies from component-based and object-oriented software, as well as with industrial case studies for embedded automotive software and production systems.

References

[1]
Sofia Ananieva, Erik Burger, and Christian Stier. 2018. Model-driven consistency preservation in automationml. In 14th IEEE International Conference on Automation Science and Engineering. accepted, to appear.
[2]
Anthony Anjorin. 2014. Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars. Ph.D. Dissertation. Technische Universität Darmstadt.
[3]
Anthony Anjorin, Sebastian Rose, Frederik Deckwerth, and Andy Schürr. 2014. "Efficient model synchronization with view triple graph grammars." In Modelling Foundations and Applications. LNCS. Vol. 8569. Springer International Publishing, 1--17.
[4]
Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, and Dániel Varró. 2015. "Viatra 3: a reactive model transformation platform." In Theory and Practice of Model Transformations. Springer, 101--110.
[5]
Rainer Böhme and Ralf Reussner. 2008. "Validation of Predictions with Measurements." In Dependability Metrics. LNCS. Vol. 4909. Springer-Verlag Berlin Heidelberg. Part 3, 14--18.
[6]
Antonio Cicchetti, Davide Di Ruscio, and Romina Eramo. 2006. Towards Propagation of Changes by Model Approximations. In 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06). IEEE Computer Society, 24.
[7]
Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, and Alfonso Pierantonio. 2012. "A model-driven approach to automate the propagation of changes among Architecture Description Languages." Software and Systems Modeling, 11, 29--53, 1.
[8]
Romina Eramo, Alfonso Pierantonio, José Raúl Romero, and Antonio Vallecillo. 2008. Change Management in Multi-Viewpoint System Using ASP. In Enterprise Distributed Object Computing Conference Workshops, 2008 12th, 433--440.
[9]
Romina Eramo, Alfonso Pierantonio, and Gianni Rosa. 2015. Managing Uncertainty in Bidirectional Model Transformations. In Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015). ACM, 49--58.
[10]
Ulrich Freund. 2010. Representation of Automotive Software Description Means in ASCET. In Proceedings of the 2007 International Dagstuhl Conference on Model-based Engineering of Embedded Real-time Systems (MBEERTS'07). Springer-Verlag, 355--360.
[11]
Joshua Gleitze. 2017. A Declarative Language for Preserving Consistency of Multiple Models. Bachelor's Thesis. Karlsruhe Institute of Technology (KIT).
[12]
Maria-Eugenia Iacob, Maarten W. A. Steen, and Lex Heerink. 2008. Reusable Model Transformation Patterns. In 2008 12th Enterprise Distributed Object Computing Conference Workshops, 1--10.
[13]
International Electrotechnical Commission (IEC). 2018. IEC 62714-1:2018 - Engineering data exchange format for use in industrial automation systems engineering - Automation Markup Language.
[14]
Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, and Patrick Valduriez. 2006. ATL: A QVT-like Transformation Language. In Companion to the 21st ACM SIGPLAN Symposium on Object-oriented Programming Systems, Languages, and Applications (OOPSLA '06). ACM, 719--720.
[15]
Heiko Klare. 2016. Designing a Change-Driven Language for Model Consistency Repair Routines. Master's Thesis. Karlsruhe Institute of Technology (KIT).
[16]
Dimitrios Kolovos, Richard Paige, and Fiona Polack. 2008. Detecting and Repairing Inconsistencies across Heterogeneous Models. In 2008 1st International Conference on Software Testing, Verification, and Validation, 356--364.
[17]
Max E. Kramer, Erik Burger, and Michael Langhammer. 2013. View-Centric Engineering with Synchronized Heterogeneous Models. In Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO '13) Article 5. ACM, 5:1--5:6.
[18]
Max E. Kramer, Michael Langhammer, Dominik Messinger, Stephan Seifermann, and Erik Burger. 2015. Change-driven consistency for component code, architectural models, and contracts. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE '15). ACM, 21--26.
[19]
Max Emanuel Kramer. 2017. Specification Languages for Preserving Consistency between Models of Different Languages. Ph.D. Dissertation. Karlsruhe Institute of Technology (KIT). 278 pp.
[20]
Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Philip Langer, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, and Manuel Wimmer. 2013. A Survey on Incremental Model Transformation Approaches. In ME 2013 - Models and Evolution Workshop Proceedings, 4--13.
[21]
Michael Langhammer. 2017. Automated Coevolution of Source Code and Software Architecture Models. Ph.D. Dissertation. Karlsruhe Institute of Technology (KIT). 259 pp.
[22]
Michael Langhammer and Max E. Kramer. 2014. "Determining the Intent of Code Changes to Sustain Attached Model Information During Code Evolution." In Fachgruppenbericht des 2. Workshops "Modellbasierte und Modellgetriebene Softwaremodernisierung". Softwaretechnik-Trends. Vol. 34 (2). GI e.V.
[23]
Kevin Lano and Shekoufeh Kolahdouz-Rahimi. 2014. "Model-Transformation Design Patterns." IEEE Transactions on Software Engineering, 40, 12, 1224--1259.
[24]
Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Sobhan Yassipour-Tehrani, and Mohammadreza Sharbaf. 2018. "A Survey of Model Transformation Design Pattern Usage." Journal of Systems and Software, 140, 48--73.
[25]
Nuno Macedo and Alcino Cunha. 2013. "Implementing QVT-R Bidirectional Model Transformations Using Alloy." In Fundamental Approaches to Software Engineering. LNCS. Vol. 7793. Springer Berlin Heidelberg, 297--311.
[26]
Nuno Macedo, Alcino Cunha, and Hugo Pacheco. 2014. Towards a Framework for Multidirectional Model Transformations. In 3rd International Workshop on Bidirectional Transformations - BX. Vol. 1133. CEUR-WS.org. CEUR-WS.org.
[27]
Nuno Macedo, Tiago Guimaraes, and Alcino Cunha. 2013. Model repair and transformation with echo. In Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on, 694--697.
[28]
Nuno Macedo, Tiago Jorge, and Alcino Cunha. 2017. "A Feature-based Classification of Model Repair Approaches." IEEE Transactions on Software Engineering, PP, 99, 1.
[29]
Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, and Damien A. Tamburri. 2010. "Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies." IEEE Transactions of Software Engineering, 36, 1, 119--140.
[30]
Manar Mazkatli. 2016. Consistency Preservation in the Development Process of Automotive Software. Master's thesis. Karlsruhe Institute of Technology (KIT).
[31]
Manar Mazkatli, Erik Burger, Anne Koziolek, and Ralf H. Reussner. 2017. Automotive Systems Modelling with Vitruvius. In 15. Workshop Automotive Software Engineering (Lecture Notes in Informatics (LNI)). (Chemnitz). Vol. P-275. GI, Bonn, 1487--1498.
[32]
Object Management Group (OMG). 2016. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification - Version 1.3.
[33]
Object Management Group (OMG). 2017. OMG Systems Modeling Language - Version 1.5. (2017).
[34]
Jon Oldevik. 2005. Transformation Composition Modelling Framework. In Distributed Applications and Interoperable Systems. Springer Berlin Heidelberg, 108--114.
[35]
Maksym Petrenko, Václav Rajlich, and Radu Vanciu. 2008. Partial Domain Comprehension in Software Evolution and Maintenance. In 2008 16th IEEE International Conference on Program Comprehension, 13--22.
[36]
Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann. 2016. Modeling and Simulating Software Architectures - The Palladio Approach. MIT Press. 408 pp.
[37]
Jesús Sánchez Cuadrado and Jesús García Molina. 2008. Approaches for Model Transformation Reuse: Factorization and Composition. In Theory and Practice of Model Transformations. Springer Berlin Heidelberg, 168--182.
[38]
Thomas Stahl and Markus Völter. 2006. Model-Driven Software Development. John Wiley & Sons.
[39]
Perdita Stevens. 2017. Bidirectional Transformations in the Large. In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 1--11.
[40]
Frank Trollmann and Sahin Albayrak. 2016. Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models. In Theory and Practice of Model Transformations: 9th International Conference, ICMT2016, Held as Part of STAF 2016, Vienna, Austria, July 4--5, 2016, Proceedings. Springer International Publishing, 91--106.
[41]
Frank Trollmann and Sahin Albayrak. 2015. Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models. In Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20--21, 2015. Proceedings. Springer International Publishing, 214--229.
[42]
Dennis Wagelaar. 2008. Composition Techniques for Rule-Based Model Transformation Languages. In Theory and Practice of Model Transformations. Springer Berlin Heidelberg, 152--167.
[43]
Dennis Wagelaar, Massimo Tisi, Jordi Cabot, and Frédéric Jouault. 2011. Towards a General Composition Semantics for Rule-Based Model Transformation. In Model Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 623--637.
[44]
Dennis Wagelaar, Ragnhild Van Der Straeten, and Dirk Deridder. 2010. "Module superimposition: a composition technique for rule-based model transformation languages." Software & Systems Modeling, 9, 3, 285--309.
[45]
Carsten Wolff, Lukas Krawczyk, Robert Höttger, Christopger Brink, Uwe Lauschner, Daniel Fruhner, Erik Kamsties, and Burkhard Igel. 2015. AMALTHEA - Tailoring tools to projects in automotive software development. In 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS). Vol. 2, 515--520.
[46]
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, and Hong Mei. 2007. Towards Automatic Model Synchronization from Model Transformations. In Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (ASE '07). ACM, 164--173.

Cited By

View all
  • (2024)Actionable light-weight process guidanceJournal of Systems and Software10.1016/j.jss.2024.112064214:COnline publication date: 1-Aug-2024
  • (2023)Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model TransformationsFormal Aspects of Computing10.1145/354384535:3(1-35)Online publication date: 13-Sep-2023
  • (2022)Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product LinesProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3510470(1-10)Online publication date: 23-Feb-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MODELS '18: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
October 2018
214 pages
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

In-Cooperation

  • IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. consistency management
  2. consistency preservation
  3. domain-specific languages
  4. model transformation
  5. multi-model consistency

Qualifiers

  • Research-article

Conference

MODELS '18
Sponsor:

Acceptance Rates

MODELS '18 Paper Acceptance Rate 19 of 29 submissions, 66%;
Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)31
  • Downloads (Last 6 weeks)1
Reflects downloads up to 25 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Actionable light-weight process guidanceJournal of Systems and Software10.1016/j.jss.2024.112064214:COnline publication date: 1-Aug-2024
  • (2023)Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model TransformationsFormal Aspects of Computing10.1145/354384535:3(1-35)Online publication date: 13-Sep-2023
  • (2022)Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product LinesProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3510470(1-10)Online publication date: 23-Feb-2022
  • (2021)Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00118(1298-1310)Online publication date: 22-May-2021
  • (2021)Finding a Universal Execution Strategy for Model Transformation NetworksFundamental Approaches to Software Engineering10.1007/978-3-030-71500-7_5(87-107)Online publication date: 20-Mar-2021
  • (2020)Enabling consistency in view-based system development – The Vitruvius approachJournal of Systems and Software10.1016/j.jss.2020.110815(110815)Online publication date: Sep-2020
  • (2019)Commonalities for preserving consistency of multiple modelsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00058(371-378)Online publication date: 15-Sep-2019
  • (2019)Towards Consistency Checking Between Software Architecture and Informal Documentation2019 IEEE International Conference on Software Architecture Companion (ICSA-C)10.1109/ICSA-C.2019.00052(250-253)Online publication date: Mar-2019
  • (2019)Towards consistency analysis between formal and informal software architecture artefactsProceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering10.1109/ECASE.2019.00010(6-12)Online publication date: 27-May-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media