Abstract
Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing activity in this area, which has produced a number of approaches to address this synchronization challenge. The majority of these approaches, however, is limited to a binary setting; i.e. the synchronization of exactly two models with each other. A recent Dagstuhl seminar on multidirectional transformations made it clear that there is a need for further investigations in the domain of general multiple model synchronization simply because not every multiary consistency relation can be factored into binary ones. However, with the help of an auxiliary artifact, which provides a global view over all models, multiary synchronization can be achieved by existing binary model synchronization means. In this paper, we propose a novel comprehensive system construction to produce such an artifact using the same underlying base modelling language as the one used to define the models. Our approach is based on the definition of partial commonalities among a set of aligned models. Comprehensive systems can be shown to generalize the underlying categories of graph diagrams and triple graph grammars and can efficiently be implemented in existing tools.
Keywords
- Model Synchronization
- Multimodelling
- Multidirectional Transformations (MX)
- Inter-Model Consistency
- Model Merging
- Graph Diagrams
- Triple Graph Grammars
- Category Theory
Chapter PDF
References
Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Systems Journal 45(3), 515–526 (2006). https://doi.org/10.1147/sj.453.0515
Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H.S., Eramo, R., Hinkel, G., Samimi-Dehkordi, L., Zündorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Software and Systems Modeling (Sep 2019). https://doi.org/10.1007/s10270-019-00752-x
Atkinson, C., Stoll, D., Bostan, P.: Orthographic Software Modeling: A Practical Approach to View-Based Development. In: Maciaszek, L.A., González-Pérez, C., Jablonski, S. (eds.) Evaluation of Novel Approaches to Software Engineering. pp. 206–219. Communications in Computer and Information Science, Springer Berlin Heidelberg (2010)
Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1990)
Berners-Lee, T., Fielding, R.T., Masinter, L.: Uniform resource identifiers (uri): Generic syntax. RFC 2396, IETF (August 1998), https://www.ietf.org/rfc/rfc2396.txt
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A Manifesto for Model Merging. In: GaMMa ’06 Workshop Proceedings. pp. 5–12. ACM, New York, NY, USA (2006). https://doi.org/10.1145/1138304.1138307
Cleve, A., Kindler, E., Stevens, P., Zaytsev, V.: Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). Dagstuhl Reports 8(12), 1–48 (2019). https://doi.org/10.4230/DagRep.8.12.1
Czarnecki, K., Foster, N., Hu, Z., Lämmel, R., Schürr, A., Terwilliger, J.F.: Bidirectional Transformations: A Cross-Discipline Perspective. In: ICMT’09 Proceedings. pp. 193–204 (2009).
Diskin, Z., König, H., Lawford, M.: Multiple Model Synchronization with Multiary Delta Lenses. In: Russo, A., Schürr, A. (eds.) FASE’18 Proceedings. pp. 21–37. LNCS, Springer International Publishing (2018)
Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In: MDI@MODELS 2010. pp. 165–179 (2011)
Egyed, A.: Fixing inconsistencies in UML design models. Proceedings - International Conference on Software Engineering pp. 292–301 (2007). https://doi.org/10.1109/ICSE.2007.38
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer (2006)
Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE’07 Proceedings. pp. 72–86. LNCS, Springer Berlin Heidelberg (2007)
Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electronic Communications of the EASST 10(0) (Jun 2008). https://doi.org/10.14279/tuj.eceasst.10.154
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer-Verlag, Berlin Heidelberg, 2 edn. (2013)
Feldmann, S., Kernschmidt, K., Wimmer, M., Vogel-Heuser, B.: Managing intermodel inconsistencies in model-based systems engineering: Application in automated production systems engineering. Journal of Systems and Software 153, 105–134 (2019). https://doi.org/10.1016/j.jss.2019.03.060
Hayman, J., Heindel, T.: On pushouts of partial maps. In: ICGT’14 Proceedings. pp. 177–191 (2014). https://doi.org/10.1007/978-3-319-09108-2_12
Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In: de Lara, J., Zisman, A. (eds.) FASE’12 Proceedings. pp. 178–193. LNCS, Springer Berlin Heidelberg (2012)
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS’11 Proceedings. pp. 668–682. Springer Berlin Heidelberg, Berlin, Heidelberg (2011)
Jackson, D.: Alloy: A Lightweight Object Modelling Notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256–290 (Apr 2002)
Klare, H., Gleitze, J.: Commonalities for Preserving Consistency of Multiple Models. In: MODELS 2019 Companion. pp. 371–378 (Sep 2019). https://doi.org/10.1109/MODELS-C.2019.00058
Knapp, A., Mossakowski, T.: Multi-view Consistency in UML: A Survey. In: Graph Transformation, Specifications, and Nets, pp. 37–60. LNCS 10800, Springer, Cham (2018)
Kolovos, D.S., Ruscio, D.D., Pierantonio, A., Paige, R.F.: Different models for model matching: An analysis of approaches to support model differencing. In: CVSM@ICSE’09 Workshop Proceedings. pp. 1–6 (May 2009). https://doi.org/10.1109/CVSM.2009.5071714
König, H., Diskin, Z.: Efficient Consistency Checking of Interrelated Models. In: ECMFA 2017 Proceedings. pp. 161–178 (2017)
Kosiol, J., Fritsche, L., Schürr, A., Taentzer, G.: Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs. In: Guerra, E., Orejas, F. (eds.) ICGT’19 Proceedings. pp. 38–54. LNCS, Springer International Publishing (2019)
Kühne, T.: Matters of (Meta-) Modeling. Software & Systems Modeling 5(4), 369–385 (Dec 2006). https://doi.org/10.1007/s10270-006-0017-9
Leblebici, E., Anjorin, A., Fritsche, L., Varró, G., Schürr, A.: Leveraging incremental pattern matching techniques for model synchronisation. In: ICGT’17 Proceedings. pp. 179–195 (2017). https://doi.org/10.1007/978-3-319-61470-0_11
Macedo, N., Jorge, T., Cunha, A.: A Feature-Based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering 43(7), 615–640 (Jul 2017). https://doi.org/10.1109/TSE.2016.2620145
Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. Software & Systems Modeling 15(3), 783–810 (Jul 2016). https://doi.org/10.1007/s10270-014-0437-x
OMG: Business Process Model And Notation (BPMN) v.2.0 (2011), http://www.omg.org/spec/BPMN.
OMG: Object Constraint Language (OCL) v.2.3.1 (2012), http://www.omg.org/spec/OCL/2.3.1/
OMG: Unified Modeling Language (UML) v.2.4.1 (2015), http://www.omg.org/spec/UML
OMG: Decision Model and Notation (DMN) v.1.2 (2019), https://www.omg.org/spec/DMN/About-DMN/
Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge, MA, USA (1991)
Rahm, E., Bernstein, P.A.: A Survey of Approaches to Automatic Schema Matching. The VLDB Journal 10(4), 334–350 (2001)
Rubin, J., Chechik, M.: N-way Model Merging. In: ESEC/FSE’13 Proceedings. pp. 301–311. ACM, New York, NY, USA (2013). https://doi.org/10.1145/2491411.2491446
Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Diagrammatic Formalisation of MOF-Based Modelling Languages. In: TOOLS EUROPE 2009, pp. 37–56. Springer, Berlin, Heidelberg (2009)
Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: RE 2005 Proceedings. pp. 306–315 (2005)
Samimi-Dehkordi, L., Zamani, B., Kolahdouz-Rahimi, S.: EVL+Strace: a novel bidirectional model transformation approach. Information and Software Technology 100, 47–72 (Aug 2018). https://doi.org/10.1016/j.infsof.2018.03.011
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: WG ’94. pp. 151–163 (1994)
Segen, J.C.: The Dictionary of Modern Medicine. CRC Press (Feb 1992)
Rodrigues da Silva, A.: Model-driven engineering: A survey supported by the unified conceptual model. Computer Languages, Systems & Structures 43, 139–155 (Oct 2015)
Spanoudakis, G., Zisman, A.: Inconsistency Management in Software Engineering: Survey and Open Research Issues. In: Handbook of Software Engineering and Knowledge Engineering. pp. 329–380 (2000). https://doi.org/10.1142/9789812389718_0015
Stevens, P.: Bidirectional Transformations In The Large. In: MODELS 2017 Proceedings. pp. 1–11. IEEE Press, Piscataway, NJ, USA (Jun 2017). https://doi.org/10.1109/MODELS.2017.8
Stevens, P.: Towards Sound, Optimal, and Flexible Building from Megamodels. In: MODELS ’18 Proceedings. pp. 301–311. ACM, New York, NY, USA (2018). https://doi.org/10.1145/3239372.3239378
Stünkel, P., König, H., Lamo, Y., Rutle, A.: Multimodel correspondence through inter-model constraints. In: BX@\(<\)Programming\(>\)2018. ACM (2 2018)
Stünkel, P., König, H., Lamo, Y., Rutle, A.: Towards multiple model synchronization with comprehensive systems: Extended version. Tech. Rep. 1, Fachhochschule für die Wirtschaft (FHDW) Hannover, https://fhdwdev.ha.bib.de/public/papers/02020-01.pdf (2020)
Trollmann, F., Albayrak, S.: Extending model to model transformation results from triple graph grammars to multiple models. In: ICMT ’15 Proceedings. pp. 214–229 (2015)
Trollmann, F., Albayrak, S.: Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models. In: Van Gorp, P., Engels, G. (eds.) ICMT’16 Proceedings. pp. 91–106. LNCS (2016)
Walters, R.F.C.: Categories and Computer Science. Cambridge University Press, New York, NY, USA (1992)
Weber, J.H., Kuziemsky, C.: Pragmatic Interoperability for Ehealth Systems: The Fallback Workflow Patterns. In: SEH ’19. pp. 29–36. IEEE Press, Piscataway, NJ, USA (2019). https://doi.org/10.1109/SEH.2019.00013
Whittle, J., Hutchinson, J., Rouncefield, M.: The State of Practice in Model-Driven Engineering. IEEE Software 31(3), 79–85 (may 2014). https://doi.org/10.1109/MS.2013.65
Wille, D., Wehling, K., Seidl, C., Pluchator, M., Schaefer, I.: Variability Mining of Technical Architectures. In: SPLC ’17 Proceedings. pp. 39–48. ACM, New York, NY, USA (2017). https://doi.org/10.1145/3106195.3106202
World Health Organization: ICD-10 : international statistical classification of diseases and related health problems : tenth revision (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Stünkel, P., König, H., Lamo, Y., Rutle, A. (2020). Towards Multiple Model Synchronization with Comprehensive Systems. In: Wehrheim, H., Cabot, J. (eds) Fundamental Approaches to Software Engineering. FASE 2020. Lecture Notes in Computer Science(), vol 12076. Springer, Cham. https://doi.org/10.1007/978-3-030-45234-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-45234-6_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-45233-9
Online ISBN: 978-3-030-45234-6
eBook Packages: Computer ScienceComputer Science (R0)
Publish with us
-
Published in cooperation with
http://www.etaps.org/
