research-article

Multimodel correspondence through inter-model constraints

Authors:

Patrick Stünkel,

Adrian RutleAuthors Info & Claims

Programming '18: Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming

Pages 9 - 17

https://doi.org/10.1145/3191697.3191715

Published: 09 April 2018 Publication History

Abstract

The synchronisation of n≥ 2 heterogenously typed models requires a thorough understanding of global consistency rules. After having related these models by determining identical entities in them, we express the global rules in terms of diagrammatic predicates imposed on a comprehensive metamodel, which integrates the structural properties of all involved model spaces. If the global rules are violated, a possible subsequent consistency restoration can make use of formal descriptions for the verification of these rules. The comprehensive metamodel is constructed in the category of directed graphs. If there is an arbitrary number of related models, comprehensive artefacts can formally be represented by colimits, i.e. by universal categorical constructions. The goal of the paper is to establish a practical algorithm for this construction. The main example, a web service integration scenario from the health care domain, also shows that relating graph morphisms may be non-injective, which is incorporated into the algorithm.

References

[1]

Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernahrd Westfechtel. 2017.

[2]

BenchmarX reloaded: A practical benchmark framework for bidirectional transformations. In BX@ETAPS 2017.

[3]

Michael A. Arbib and Ernest G. Manes. 1975.

[4]

Arrows, Structures, and Functors: The Categorical Imperative (1st ed.). Academic Pr., New York.

[5]

Francois Bancilhon and Nicolas Spyratos. 1981. Update Semantics of Relational Views. ACM Trans. Database Syst. 6, 4 (1981), 557–575.

Digital Library

[6]

Mohammed Boubakir and Allaoua Chaoui. 2016. A Pairwise Approach for Model Merging. In Modelling and Implementation of Complex Systems. Springer, 327–340.

[7]

Krzysztof Czarnecki, Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, and James F Terwilliger. 2009. Bidirectional Transformations: A Cross-Discipline Perspective. In ICMT 2009. 193–204.

Digital Library

[8]

Zinovy Diskin, Boris Kadish, Frank Piessens, and Michael Johnson. 2000. Universal Arrow Foundations for Visual Modeling. In Diagrams ’00. 345–360.

Digital Library

[9]

Zinovy Diskin, Harald König, and Mark Lawford. 2018. Multiple Model Synchronization with Multiary Delta Lenses. In FASE ’18. to appear.

[10]

Zinovy Diskin and Uwe Wolter. 2007. A diagrammatic logic for object-oriented visual modeling. In ACCAT ’07. 19–41.

Digital Library

[11]

Zinovy Diskin, Yingfei Xiong, and Krzysztof Czarnecki. 2011. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In MODELS 2010.

Digital Library

[12]

165–179.

[13]

Hartmut. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. 2006.

[14]

Fundamentals of algebraic graph transformation. Springer.

Digital Library

[15]

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 & Systems Modeling 11, 1 (Feb. 2012), 29–53.

Digital Library

[16]

Jose Luiz Fiadeiro. 2005.

[17]

Categories for Software Engineering. Springer.

Digital Library

[18]

Robert Goldblatt. 2006.

[19]

Topoi: The Categorial Analysis of Logic (revised ed.). Dover Publications.

[20]

Zhenjiang Hu, Andy Schürr, Perdita Stevens, and James F. Terwilliger. 2011.

[21]

Dagstuhl seminar on bidirectional transformations (BX). ACM SIGMOD Record 40, 1 (July 2011), 35.

Digital Library

[22]

Harald König and Zinovy Diskin. 2016.

[23]

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. In ECMFA 2016. 19–35.

[24]

Harald König and Zinovy Diskin. 2017. Efficient Consistency Checking of Interrelated Models. In ECMFA 2017. 161–178.

[25]

Alexander Königs and Andy Schürr. 2006. MDI: A Rule-based Multi-document and Tool Integration Approach. Software & Systems Modeling 5, 4 (2006), 349–368.

[26]

Yngve Lamo, Florian Mantz, Adrian Rutle, and Juan de Lara. 2013. A declarative and bidirectional model transformation approach based on graph co-spans. PPDP ’13 (2013), 1–12.

Digital Library

[27]

Saunders Mac Lane. 1998.

[28]

Categories for the Working Mathematician. Springer.

[29]

Nuno Macedo, Alcino Cunha, and Hugo Pacheco. 2014. Towards a Framework for Multidirectional Model Transformations. In EDBT/ICDT 2014. 71–74.

[30]

Christian Nentwich, Wolfgang Emmerich, and Anthony Finkelsteiin. 2003. Consistency Management with Repair Actions. In ICSE ’03. 455–464.

Digital Library

[31]

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, and Lars Kristensen. 2015.

[32]

A Diagrammatic Approach to Model Completion. In AMT@MODELS ’15. 56–65.

[33]

Erhard Rahm and Philip A. Bernstein. 2001. A Survey of Approaches to Automatic Schema Matching. The VLDB Journal 10, 4 (2001), 334–350.

Digital Library

[34]

Adrian Rutle. 2010.

[35]

Diagram Predicate Framework: A Formal Approach to MDE. Ph.D. Dissertation. University of Bergen.

[36]

Adrian Rutle, Alessandro Rossini, Yngve Lamo, and Uwe Wolter. 2012. A formal approach to the specification and transformation of constraints in MDE. JLAMP 81, 4 (2012), 422–457.

[37]

Andy Schürr. 1995. Specification of Graph Translators with Triple Graph Grammars. In WG ’94. 151–163.

[38]

Perdita Stevens. 2017. Bidirectional Transformations In The Large. In MODELS 2017. 1–11.

[39]

Toby J. Teorey, Dongqing Yang, and James P. Fry. 1986. A Logical Design Methodology for Relational Databases Using the Extended Entity-relationship Model. ACM Comput. Surv. 18, 2 (1986), 197–222.

Digital Library

[40]

Frank Trollmann and Sahin Albayrak. 2015. Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models. In ICMT ’15. 214–229.

Digital Library

[41]

Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, and Meng Wang. 2010.

[42]

Combining syntactic and semantic bidirectionalization. In ICFP ’10. ACM, 181– 192.

Cited By

Simioni Pereira RCombemale BWimmer MChechik MEgyed A(2024)Automated Generation and Configuration of Domain-Specific Recommender SystemsProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688203(168-173)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3688203
Ocansey JCombemale BWimmer MChechik MEgyed A(2024)Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPIProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3676880(200-203)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3676880
Alwidian SAmyot DLamo Y(2023)Union Models for Model Families: Efficient Reasoning over Space and TimeAlgorithms10.3390/a1602010516:2(105)Online publication date: 11-Feb-2023
https://doi.org/10.3390/a16020105
Show More Cited By

Index Terms

Multimodel correspondence through inter-model constraints
1. Software and its engineering
  1. Software notations and tools
    1. System description languages
      1. Integration frameworks
      2. System modeling languages

Recommendations

Model Mapping Using Formalism Extensions

One of the key issues in Model Driven Architecture is model mapping--that is, the transformation of models from one formalism to another. This article deals with facets of model mapping and shows the essential role of formalism extension mechanisms ...
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach

UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone for any modeling effort. Class diagrams are widely used for purposes such ...
A model-driven workflow for distributed microservice development
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Model-driven Development (MDD) is a software engineering approach that abstracts a software's design leveraging models. In particular, the development of complex, service-based architectures is considered to benefit from MDD techniques like model ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

Programming '18: Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming

April 2018

244 pages

ISBN:9781450355131

DOI:10.1145/3191697

Program Chairs:
Stefan Marr,
Jennifer B. Sartor

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 ACM 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]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 April 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

<Programming> 2018

<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018

April 9 - 12, 2018

Nice, France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
102
Total Downloads

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

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Simioni Pereira RCombemale BWimmer MChechik MEgyed A(2024)Automated Generation and Configuration of Domain-Specific Recommender SystemsProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688203(168-173)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3688203
Ocansey JCombemale BWimmer MChechik MEgyed A(2024)Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPIProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3676880(200-203)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3676880
Alwidian SAmyot DLamo Y(2023)Union Models for Model Families: Efficient Reasoning over Space and TimeAlgorithms10.3390/a1602010516:2(105)Online publication date: 11-Feb-2023
https://doi.org/10.3390/a16020105
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
Krauter T(2021)Towards behavioral consistency in heterogeneous modeling scenarios2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00107(666-671)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00107
Saglam TKuhn T(2021)Towards the Co-Evolution of Models and Artefacts of Industrial Tools Through External Views2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00064(410-416)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00064
Stünkel PKönig H(2021)Single pushout rewriting in comprehensive systems of graph-like structuresTheoretical Computer Science10.1016/j.tcs.2021.07.002884:C(23-43)Online publication date: 7-Sep-2021
https://dl.acm.org/doi/10.1016/j.tcs.2021.07.002
Stünkel PKönig HLamo YRutle A(2021)Comprehensive Systems: A formal foundation for Multi-Model Consistency ManagementFormal Aspects of Computing10.1007/s00165-021-00555-233:6(1067-1114)Online publication date: 30-Jul-2021
https://dl.acm.org/doi/10.1007/s00165-021-00555-2
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: 27-Mar-2021
https://dl.acm.org/doi/10.1007/978-3-030-71500-7_5
König HStünkel P(2020)Single Pushout Rewriting in Comprehensive SystemsGraph Transformation10.1007/978-3-030-51372-6_6(91-108)Online publication date: 23-Jun-2020
https://doi.org/10.1007/978-3-030-51372-6_6
Show More Cited By

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.

Media

Figures

Other

Tables

View Table of Contents