research-article

Multi-model consistency preservation

Author:

Heiko KlareAuthors Info & Claims

MODELS '18: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

Pages 156 - 161

https://doi.org/10.1145/3270112.3275335

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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[38]

Thomas Stahl and Markus Völter. 2006. Model-Driven Software Development. John Wiley & Sons.

Digital Library

[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.

Digital Library

[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.

Digital Library

[42]

Dennis Wagelaar. 2008. Composition Techniques for Rule-Based Model Transformation Languages. In Theory and Practice of Model Transformations. Springer Berlin Heidelberg, 152--167.

Digital Library

[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.

Digital Library

[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.

Digital Library

Cited By

Mayr-Dorn CRatiu CMarchezan de Paula LKeplinger FEgyed AWalden G(2024)Actionable light-weight process guidanceJournal of Systems and Software10.1016/j.jss.2024.112064214:COnline publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112064
Klare HGleitze J(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
https://dl.acm.org/doi/10.1145/3543845
Greiner SNieke MSeidl C(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
https://dl.acm.org/doi/10.1145/3510466.3510470
Show More Cited By

Index Terms

Multi-model consistency preservation
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Software evolution
  2. Software organization and properties
    1. Software functional properties
      1. Correctness
        Consistency
    2. Software system structures
      1. Abstraction, modeling and modularity
      2. Software system models
        Model-driven software engineering

Recommendations

Transformation techniques in the model-driven development process of UWE
ICWE '06: Workshop proceedings of the sixth international conference on Web engineering

Development of Web software is still an inefficient and error-prone process. We need integrated techniques and tool support for automated generation of Web systems. The goal of model-driven development (MDD) is to tackle these problems introducing a ...
Engineering model transformations with transML

Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation ...
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations

Model-Driven Engineering (MDE) places models as first-class artifacts throughout the software lifecycle. In this context, model transformations are crucial for the success of MDE, being comparable in role and importance to compilers for high-level ...

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

ISBN:9781450359658

DOI:10.1145/3270112

Copyright © 2018 ACM.

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

SIGSOFT: ACM Special Interest Group on Software Engineering

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.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MODELS '18

Sponsor:

SIGSOFT

MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems

October 14 - 19, 2018

Copenhagen, Denmark

Acceptance Rates

MODELS '18 Paper Acceptance Rate 19 of 29 submissions, 66%;

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
160
Total Downloads

Downloads (Last 12 months)31
Downloads (Last 6 weeks)1

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mayr-Dorn CRatiu CMarchezan de Paula LKeplinger FEgyed AWalden G(2024)Actionable light-weight process guidanceJournal of Systems and Software10.1016/j.jss.2024.112064214:COnline publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112064
Klare HGleitze J(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
https://dl.acm.org/doi/10.1145/3543845
Greiner SNieke MSeidl C(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
https://dl.acm.org/doi/10.1145/3510466.3510470
Mayr-Dorn CVierhauser MBichler SKeplinger FCleland-Huang JEgyed AMehofer T(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
https://dl.acm.org/doi/10.1109/ICSE43902.2021.00118
Gleitze JKlare HBurger E(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
https://doi.org/10.1007/978-3-030-71500-7_5
Klare HKramer MLanghammer MWerle DBurger EReussner R(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
https://doi.org/10.1016/j.jss.2020.110815
Klare HGleitze JPretschner AVoss SBurgueño L(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
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00058
Keim JKoziolek A(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
https://doi.org/10.1109/ICSA-C.2019.00052
Keim JSchneider YKoziolek AMedvidovic NMirakhorli MMalek SGarcia JCai YKazman RXiao L(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
https://dl.acm.org/doi/10.1109/ECASE.2019.00010

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten