P r o d u c t T y p e: Node {
@ p o t e n c y = 2;
@ l e v e l = 2;
i s A b s t r a c t = f a l s e ; f i e l d s {
t a x R a t e : F i e l d {
@ p o t e n c y = 1;
@ l e v e l = 2;
@ n a t u r e = s i m p l e ; type = n u m b e r ; }
p r i c e : F i e l d {
@ p o t e n c y = 2;
@ l e v e l = 2;
@ n a t u r e = s i m p l e ; type = n u m b e r ; }
name : F i e l d {
@ p o t e n c y = 2;
@ l e v e l = 2;
@ n a t u r e = dual ; type = s t r i n g ; }
} }
N a m e d N o d e: Node {
@ p o t e n c y = 0;
@ l e v e l = 2;
i s A b s t r a c t = true ; f i e l d s {
name : F i e l d {
@ p o t e n c y = 2;
@ l e v e l = 2;
@ n a t u r e = dual ; type = s t r i n g ; }
} }
P T _ N N _ I n h: I n h e r i t a n c e {
@ p o t e n c y = 0;
@ l e v e l = 2;
s o u r c e = P r o d u c t T y p e ; t a r g e t = N a m e d N o d e ; s o u r c e M i n = 1;
s o u r c e M a x = 1;
t a r g e t M i n = 1;
t a r g e t M a x = 1;
}
Book: P r o d u c t T y p e {
@ p o t e n c y = 1;
@ l e v e l = 1;
i s A b s t r a c t = f a l s e ; f i e l d s {
t a x R a t e : F i e l d {
@ p o t e n c y = 0;
@ l e v e l = 1;
@ n a t u r e = s i m p l e ; type = n u m b e r ; v a l u e = 7;
}
p r i c e : F i e l d {
@ p o t e n c y = 1;
@ l e v e l = 1;
@ n a t u r e = s i m p l e ; type = n u m b e r ; }
name : F i e l d {
@ p o t e n c y = 1;
@ l e v e l = 1;
@ n a t u r e = dual ; type = s t r i n g ; v a l u e = " Book ";
} } }
DVD: P r o d u c t T y p e {
@ p o t e n c y = 1;
@ l e v e l = 1;
i s A b s t r a c t = f a l s e ; f i e l d s {
t a x R a t e : F i e l d {
@ p o t e n c y = 0;
@ l e v e l = 1;
@ n a t u r e = s i m p l e ; type = n u m b e r ; v a l u e = 19;
}
p r i c e : F i e l d {
@ p o t e n c y = 1;
@ l e v e l = 1;
@ n a t u r e = s i m p l e ; type = n u m b e r ; }
name : F i e l d {
@ p o t e n c y = 1;
@ l e v e l = 1;
@ n a t u r e = dual ; type = s t r i n g ; v a l u e = " DVD ";
} } }
b a s e d O n L 1: Edge {
@ p o t e n c y = 1;
@ l e v e l = 1;
s o u r c e = Book ; t a r g e t = DVD ; s o u r c e M i n = 1;
s o u r c e M a x = 1;
t a r g e t M i n = 1;
t a r g e t M a x = *;
}
M o b y D i c k _ B o o k: Book {
@ p o t e n c y = 0;
@ l e v e l = 0;
i s A b s t r a c t = f a l s e ; f i e l d s {
p r i c e : F i e l d {
@ p o t e n c y = 0;
@ l e v e l = 0;
@ n a t u r e = s i m p l e ; type = n u m b e r ; v a l u e = 8 . 2 2 ; }
name : F i e l d {
@ p o t e n c y = 0;
@ l e v e l = 0;
@ n a t u r e = dual ; type = s t r i n g ;
v a l u e = " Moby Dick ";
} } }
M o b y D i c k _ D V D: DVD {
@ p o t e n c y = 0;
@ l e v e l = 0;
i s A b s t r a c t = f a l s e ; f i e l d s {
p r i c e : F i e l d {
@ p o t e n c y = 0;
@ l e v e l = 0;
@ n a t u r e = s i m p l e ; type = n u m b e r ; v a l u e = 1 9 . 0 ; }
name : F i e l d {
@ p o t e n c y = 0;
@ l e v e l = 0;
@ n a t u r e = dual ; type = s t r i n g ;
v a l u e = " Moby Dick ";
} } }
b a s e d O n L 0: b a s e d O n L 1 {
@ p o t e n c y = 0;
@ l e v e l = 0;
s o u r c e = M o b y D i c k _ B o o k ; t a r g e t = M o b y D i c k _ D V D ; s o u r c e M i n = 1;
s o u r c e M a x = 1;
t a r g e t M i n = 1;
t a r g e t M a x = 1;
}
[AAL+09] Laszlo Angyal, M´ark Asztalos, L´aszl´o Lengyel, Tihamer Leven-dovszky, Istv´an Madari, Gergely Mezei, Tam´as M´esz´aros, Laszlo Siroki, and Tam´as Vajk. Towards a fast, efficient and customizable domain-specific modeling framework. InProceedings of the IASTED international conference, volume 31, pages 11–16, 01 2009.
[ABK+09] Kerstin Altmanninger, Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, and Manuel Wimmer. Why Model Versioning Research is Needed!? An Experience Report. In Pro-ceedings of the MoDSE-MCCM 2009 Workshop @ MoDELS 2009, 2009.
[AFK18] Jo˜ao Paulo A. Almeida, Ulrich Frank, and Thomas K¨uhne. Multi-Level Modelling (Dagstuhl Seminar 17492). Dagstuhl Reports, 7(12):18–49, 2018.
[AG16] Colin Atkinson and Ralph Gerbig. Flexible deep modeling with Melanee. In Modellierung 2016 - Workshopband : Tagung vom 02.
M¨arz - 04. M¨arz 2016 Karlsruhe, MOD 2016, volume 255, pages 117–121, Bonn, 2016. K¨ollen.
[AGK12] Colin Atkinson, Ralph Gerbig, and Bastian Kennel. Symbiotic General-Purpose and Domain-Specific Languages. InProceedings of the 34th International Conference on Software Engineering, ICSE
’12, page 1269–1272. IEEE Press, 2012.
[AGK14] Colin Atkinson, Ralph Gerbig, and Thomas K¨uhne. Comparing multi-level modeling approaches. InCEUR Workshop Proceedings, volume 1286, 09 2014.
[AGK15] Colin Atkinson, Ralph Gerbig, and Thomas K¨uhne. A Unifying Approach to Connections for Multi-Level Modeling. InProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, MODELS ’15, page 216–225. IEEE Press, 2015.
[AK00] Colin Atkinson and Thomas K¨uhne. Meta-level independent mod-elling. In International Workshop on Model Engineering at 14th European Conference on Object-Oriented Programming, pages 1–4, 2000.
122
[AK01] Colin Atkinson and Thomas K¨uhne. The Essence of Multilevel Metamodeling. In Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 19–33, Berlin, Heidelberg, 2001. Springer-Verlag.
[AK02] Colin Atkinson and Thomas K¨uhne. Rearchitecting the UML In-frastructure. ACM Transactions on Modeling and Computer Sim-ulation, 12(4):290–321, October 2002.
[AK08] Colin Atkinson and Thomas K¨uhne. Reducing accidental complex-ity in domain models. Software & Systems Modeling, 7(3):345–359, Jul 2008.
[AKA14] Mojeeb Al-Rhman Al-Khiaty and Moataz Ahmed. Similarity as-sessment of UML class diagrams using simulated annealing. In 2014 IEEE 5th International Conference on Software Engineering and Service Science, pages 19–23, June 2014.
[ALC08] L. Angyal, L. Lengyel, and H. Charaf. A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. In 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pages 463–472, 2008.
[AM09] Timo Asikainen and Tomi M¨annist¨o. Nivel: a metamodelling lan-guage with a formal semantics. Software & Systems Modeling, 8(4):521–549, 2009.
[ASU86] Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman.Compilers: Prin-ciples, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
[ASW09] Kerstin Altmanninger, Martina Seidl, and Manuel Wimmer. A sur-vey on model versioning approaches. International Journal of Web Information Systems, 5(3):271–304, 2009.
[BA02] Stephen P. Berczuk and Brad Appleton. Software Configuration Management Patterns: Effective Teamwork, Practical Integration.
Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
[Bab86] Wayne A. Babich. Software Configuration Management: Coordina-tion for Team Productivity. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
[BBG+63] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, A. J.
Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, and P. Naur. Revised Report on the Algorithm Language ALGOL 60. Communications of the ACM, 6(1):1–17, January 1963.
[BDH+15] G´abor Bergmann, Istv´an D´avid, ´Abel Heged¨us, ´Akos Horv´ath, Istv´an R´ath, Zolt´an Ujhelyi, and D´aniel Varr´o. Viatra 3 : A Re-active Model Transformation Platform. In 8th International Con-ference on Model Transformations, L’Aquila, Italy, 07/2015 2015.
Springer, Springer.
[BE08] Lars Bendix and P¨ar Emanuelsson. Diff and Merge Support for Model Based Development. In Proceedings of the 2008 Interna-tional Workshop on Comparison and Versioning of Software Mod-els, CVSM ’08, pages 31–34, New York, NY, USA, 2008. ACM.
[BG05] Sami Beydeda and Volker Gruhn. Model-Driven Software Develop-ment. Springer-Verlag, Berlin, Heidelberg, 2005.
[Bic18] The Bicycle Challenge issued by the MULTI community.
https://www.wi-inf.uni-duisburg-essen.de/MULTI2018/wp-content/uploads/2018/03/MULTI2018-BicycleChallenge.pdf, 2018. Accessed:2021-11-16.
[Bis06] Christopher M. Bishop. Pattern Recognition and Machine Learn-ing (Information Science and Statistics). SprLearn-inger-Verlag, Berlin, Heidelberg, 2006.
[BKKM18] Mira Balaban, Igal Khitron, Michael Kifer, and Azzam Maraee.
Multilevel modeling: what’s in a level? A position paper. In Proceedings of MODELS 2018 Workshops, Copenhagen, Denmark, 2018, pages 693–697, 2018.
[BKL+12] Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, and Manuel Wimmer. An Introduction to Model Version-ing. InProceedings of the 12th International Conference on Formal Methods for the Design of Computer, Communication, and Software Systems: Formal Methods for Model-driven Engineering, SFM’12, pages 336–398, Berlin, Heidelberg, 2012. Springer-Verlag.
[BL12] Hugo Bruneliere and Philip Langer. You need to extend your mod-els? EMF Facet vs. EMF Profiles. In EclipseCon 2012 - Modeling Symposium, Reston, VA, United States, March 2012.
[BLF14] Omar Badreddin, Timothy C. Lethbridge, and Andrew Forward.
A novel approach to versioning and merging model and code uni-formly. In 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 254–263, Jan 2014.
[BMNT05] Jorge Biolchini, Paula Gomes Mian, Ana Candida Cruz Natali, and Guilherme Horta Travassos. Systematic review in software engineer-ing. Technical report, Systems Engineering and Computer Science Department, COPPE UFRJ, Rio de Janeiro, Brazil, 2005.
[Bro09] Petra Brosch. Improving conflict resolution in model versioning systems. In 2009 31st International Conference on Software Engi-neering - Companion Volume, pages 355–358, May 2009.
[BS03] E. B¨orger and R. St¨ark. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag New York, Inc., 1st edition, 2003.
[BSCB09] Stephen Barrett, Daniel Sinnig, Patrice Chalin, and Greg Butler.
Merging of Use Case Models: Semantic Foundations. In 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pages 182–189, July 2009.
[BW90] Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice-Hall, Inc., USA, 1990.
[CA18] Victorio A. Carvalho and Jo˜ao Paulo A. Almeida. Toward a well-founded theory for multi-level conceptual modeling. Software &
Systems Modeling, 17(1):205–231, 2018.
[CdL18] Jes´us S´anchez Cuadrado and Juan de Lara. Open meta-modelling frameworks via meta-object protocols. Journal of Systems and Soft-ware, 145:1–24, 2018.
[CDRP08] Antonio Cicchetti, Davide Di Ruscio, and Alfonso Pieranto-nio. Managing Model Conflicts in Distributed Development. In Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, and Markus V¨olter, editors, Model Driven Engineering Languages and Systems, pages 311–325, Berlin, Heidelberg, 2008. Springer Berlin Heidelberg.
[CF18] Tony Clark and Ulrich Frank. Multi-Level Constraints. In Regina Hebig and Thorsten Berger, editors, Proceedings of MODELS 2018 Workshops, volume 2245 of CEUR Workshop Proceedings, pages 103–117. CEUR-WS.org, 2018.
[CH06] Krzysztof Czarnecki and Simon Helsen. Feature-based Survey of Model Transformation Approaches. IBM Systems Journal, 45(3):621–645, July 2006.
[Coa92] Peter Coad. Object-oriented patterns. Communications of the ACM, 35(9):152–159, 1992.
[Com21] The Collaborative Comparison Challenge issued
by the MULTI community.
https://jku-win-dke.github.io/MULTI2021/MULTI2021 Challenge.pdf, 2021.
Accessed:2021-12-02.
[CSW15] Tony Clark, Paul Sammut, and James Willans. Applied Meta-modelling: A Foundation for Language Driven Development (Third Edition), 2015.
[CW98] Reidar Conradi and Bernhard Westfechtel. Version Models for Software Configuration Management. ACM Computing Surveys, 30(2):232–282, June 1998.
[dLG10] Juan de Lara and Esther Guerra. Deep Meta-modelling with MetaDepth. InObjects, Models, Components, Patterns, pages 1–20, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg.
[dLGC14] Juan de Lara, Esther Guerra, and Jes´us S´anchez Cuadrado. When and How to Use Multilevel Modelling. ACM Transactions on Software Engineering and Methodology, 24(2):12:1–12:46, Decem-ber 2014.
[dLGCML12] Juan de Lara, Esther Guerra, Ruth Cobos, and Jaime Moreno-Llorena. Extending Deep Meta-Modelling for Practical Model-Driven Engineering. The Computer Journal, 57(1):36–58, 11 2012.
[EB10] Moritz Eysholdt and Heiko Behrens. Xtext: Implement Your Lan-guage Faster than the Quick and Dirty Way. InProceedings of the ACM International Conference Companion on Object Oriented Pro-gramming Systems Languages and Applications Companion, OOP-SLA ’10, page 307–309, New York, NY, USA, 2010. Association for Computing Machinery.
[EEPT06] Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. Fundamentals of Algebraic Graph Transformation.
Monographs in Theoretical Computer Science. An EATCS Series.
Springer, 2006.
[Ell10] Aaron M. Ellison. Repeatability and transparency in ecological research. Ecology, 91(9):2536–2539, 2010.
[FAGC18] Claudenir M. Fonseca, Jo˜ao Paulo A. Almeida, Giancarlo Guiz-zardi, and Victorio A. Carvalho. Multi-level Conceptual Modeling:
From a Formal Theory to a Well-Founded Language. In Juan C.
Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, and Mong Li Lee, editors,Conceptual Modeling, pages 409–423. Springer International Publishing, 2018.
[FBL13] Matthieu Foucault, S´ebastien Barbier, and David Lugato. Enhanc-ing Version Control with Domain-specific Semantics. InProceedings of the 5th International Workshop on Modeling in Software Engi-neering, MiSE ’13, pages 31–36, Piscataway, NJ, USA, 2013. IEEE Press.
[FMB+14] Jean-R´emy Falleri, Flor´eal Morandat, Xavier Blanc, Matias Mar-tinez, and Martin Monperrus. Fine-Grained and Accurate Source Code Differencing. In Proceedings of the 29th ACM/IEEE Inter-national Conference on Automated Software Engineering, ASE ’14, page 313–324, New York, NY, USA, 2014. Association for Comput-ing Machinery.
[Fra02a] David Frankel. Model Driven Architecture: Applying MDA to En-terprise Computing. John Wiley & Sons, Inc., New York, NY, USA, 2002.
[Fra02b] David Frankel. Model Driven Architecture: Applying MDA to En-terprise Computing. John Wiley & Sons, Inc., USA, 2002.
[Fra14] Ulrich Frank. Multilevel Modeling: Toward a New Paradigm of Conceptual Modeling and Information Systems Design. Business &
Information Systems Engineering, 6(6):319–337, 2014.
[Fra18] Ulrich Frank. Toward a unified conception of multi-level modelling:
advanced requirements. In Regina Hebig and Thorsten Berger, edi-tors, Proceedings of the 5th International Workshop on Multi-Level Modeling (MULTI) 2018, pages 718–727, Copenhagen, oct 2018.
[FS00] Martin Fowler and Kendall Scott. UML Distilled (2Nd Ed.): A Brief Guide to the Standard Object Modeling Language. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
[GAdLG16] Ralph Gerbig, Colin Atkinson, Juan de Lara, and Esther Guerra. A Feature-based Comparison of Melanee and Metadepth. In Proceed-ings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 4, 2016., pages 25–34, 2016.
[GDGBSM+12] V. Garcia-Diaz, B. C. Pelayo G-Bustelo, O. Sanjuan-Martinez, E. R. Nunez Valdez, and J. M. Cueva Lovelle. MCTest: towards an improvement of match algorithms for models. IET Software, 6(2):127–139, April 2012.
[Ger11] Ralph Gerbig. The Level-agnostic Modeling Language: Language Specification and Tool Implementation. Master’s thesis, University of Mannheim, Mannheim, 2011.
[GFP09] H. C. Gall, B. Fluri, and M. Pinzger. Change Analysis with Evolizer and ChangeDistiller. IEEE Software, 26(1):26–33, 2009.
[GKA08] Matthias Gutheil, Bastian Kennel, and Colin Atkinson. A Sys-tematic Approach to Connectors in a Multi-Level Modeling Envi-ronment. In Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS ’08, page 843–857. Springer-Verlag, 2008.
[GKR+14] Hans Gr¨onniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, and Steven V¨olkel. Text-based Modeling. CoRR, abs/1409.6623, 2014.
[GMCT09] Gregory Gay, Tim Menzies, Bojan Cukic, and Burak Turhan. How to Build Repeatable Experiments. In Proceedings of the 5th Inter-national Conference on Predictor Models in Software Engineering,
PROMISE ’09, New York, NY, USA, 2009. Association for Com-puting Machinery.
[Gog15] Martin Gogolla. Experimenting with Multi-Level Models in a Two-Level Modeling Tool. In Colin Atkinson, Georg Grossmann, Thomas K¨uhne, and Juan de Lara, editors, Proceedings of the 2nd International Workshop on Multi-Level Modelling, volume 1505 of CEUR Workshop Proceedings, pages 3–12. CEUR-WS.org, 2015.
[Gur95] Yuri Gurevich. Evolving Algebras 1993: Lipari Guide, page 9–36.
Oxford University Press, Inc., USA, 1995.
[HK10] Markus Herrmannsdoerfer and Maximilian Koegel. Towards a Generic Operation Recorder for Model Evolution. InProceedings of the 1st International Workshop on Model Comparison in Practice, IWMCP ’10, pages 76–81, New York, NY, USA, 2010. ACM.
[HKC11] Werner Heijstek, Thomas K¨uhne, and Michel R. V. Chaudron. Ex-perimental Analysis of Textual and Graphical Representations for Software Architecture Design. In2011 International Symposium on Empirical Software Engineering and Measurement, pages 167–176, Sept 2011.
[HSEGP˚A13] Brian Henderson-Sellers, Owen Eriksson, Cesar Gonzalez-Perez, and P¨ar J ˚Agerfalk. Ptolemaic Metamodelling?: The Need for a Paradigm Shift. In Progressions and Innovations in Model-Driven Software Engineering, pages 90–146. IGI Global, 2013.
[IGSS18] Muzaffar Igamberdiev, Georg Grossmann, Matt Selway, and Markus Stumptner. An Integrated Multi-Level Modeling Approach for Industrial-Scale Data Interoperability. Software and Systems Modeling, 17(1):269–294, February 2018.
[Jac02] Daniel Jackson. Alloy: A Lightweight Object Modelling Nota-tion. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(2):256–290, April 2002.
[JdL20] Santiago P. J´acome-Guerrero and Juan de Lara. TOTEM: Rec-onciling multi-level modelling with standard two-level modelling.
Computer Standards & Interfaces, 69:103390, 2020.
[JN16] Manfred A. Jeusfeld and Bernd Neumayr. DeepTelos: Multi-level Modeling with Most General Instances. In Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, and Motoshi Saeki, editors,Conceptual Modeling, pages 198–211. Springer Inter-national Publishing, 2016.
[K¨08] Maximilian K¨ogel. Towards Software Configuration Management for Unified Models. InProceedings of the 2008 International Work-shop on Comparison and Versioning of Software Models, CVSM
’08, pages 19–24, New York, NY, USA, 2008. ACM.
[K¨18] Thomas K¨uhne. Exploring Potency. In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS ’18, pages 2–12, New York, NY, USA, 2018. ACM.
[KC07] Barbara A. Kitchenham and Stuart M. Charters. Guidelines for performing Systematic Literature Reviews in Software Engineering.
Technical report, School of Computer Science and Mathematics, Keele University, Keele, United Kingdom and Department of Com-puter Science, University of Durham, Durham, United Kingdom, 2007.
[KDi03] KDiff3. http://kdiff3.sourceforge.net/, 2003. Accessed:2021-11-16.
[KDJ04] Barbara A. Kitchenham, Tore Dyba, and Magne Jorgensen.
Evidence-Based Software Engineering. In Proceedings of the 26th International Conference on Software Engineering, ICSE ’04, pages 273–281, Washington, DC, USA, 2004. IEEE Computer Society.
[KDRPP09] Dimitrios S. Kolovos, Davide Di Ruscio, Alfonso Pierantonio, and Richard F. Paige. Different Models for Model Matching: An Analy-sis of Approaches to Support Model Differencing. In Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Soft-ware Models, CVSM ’09, pages 1–6, Washington, DC, USA, 2009.
IEEE Computer Society.
[KHL+10] Maximilian Koegel, Markus Herrmannsdoerfer, Yang Li, Jonas Helming, and Joern David. Comparing State- and Operation-Based Change Tracking on Models. In 2010 14th IEEE International En-terprise Distributed Object Computing Conference, pages 163–172, Oct 2010.
[KHS09] Maximilian Koegel, Jonas Helming, and Stephan Seyboth.
Operation-based Conflict Detection and Resolution. In Proceed-ings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, CVSM ’09, pages 43–48, Washington, DC, USA, 2009. IEEE Computer Society.
[KR91] Gregor Kiczales and Jim Des Rivieres. The Art of the Metaobject Protocol. MIT Press, Cambridge, MA, USA, 1991.
[KS07] Thomas K¨uhne and Daniel Schreiber. Can Programming Be Lib-erated from the Two-level Style: Multi-level Programming with Deepjava. SIGPLAN Not., 42(10):229–244, October 2007.
[KST93] Johannes K¨obler, Uwe Sch¨oning, and Jacobo Tor´an.The Graph Iso-morphism Problem: Its Structural Complexity. Birkhauser Verlag, Basel, Switzerland, Switzerland, 1993.
[KT07] Steven Kelly and Juha-Pekka Tolvanen. Domain-Specific Modeling.
John Wiley & Sons, Inc., USA, 2007.
[K¨uh18] Thomas K¨uhne. A story of levels. InProceedings of MODELS 2018 Workshops, Copenhagen, Denmark, 2018, pages 673–682, 2018.
[LA19] A. Lange and C. Atkinson. On the Rules for Inheritance in LML. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 113–118, Sep. 2019.
[LMB+01] Akos Ledeczi, Miklos Maroti, Arpad Bakay, Gabor Karsai, Ja-son Garrett, Charles ThomaJa-son, Greg Nordstrom, Jonathan Sprin-kle, and Peter Volgyesi. The Generic Modeling Environment. In Workshop on Intelligent Signal Processing, Budapest, Hungary, vol-ume 17, page 1, 2001.
[LWM+13] Yngve Lamo, Xiaoliang Wang, Florian Mantz, Øyvind Bech, An-ders Sandven, and Adrian Rutle. DPF Workbench: a multi-level language workbench for MDE.Proceedings of the Estonian Academy of Sciences, 62(1):3–15, 2013.
[LWWC12] Philip Langer, Konrad Wieland, Manuel Wimmer, and Jordi Cabot.
EMF Profiles: A Lightweight Extension Approach for EMF Models.
Journal of Object Technology, 11(1):8:1–29, April 2012.
[LZG04] Yuehua Lin, Jing Zhang, and Jeff Gray. Model comparison: A key challenge for transformation testing and version control in model driven software development. InControl in Model Driven Software Development. OOPSLA/GPCE: Best Practices for Model-Driven Software Development, pages 219–236. Springer, 2004.
[MA07] Parastoo Mohagheghi and Jan Aagedal. Evaluating Quality in Model-Driven Engineering. In Proceedings of the International Workshop on Modeling in Software Engineering, MISE ’07, Wash-ington, DC, USA, 2007. IEEE Computer Society.
[MBV+14] Simon Van Mierlo, Bruno Barroca, Hans Vangheluwe, Eugene Syr-iani, and Thomas K¨uhne. Multi-level modelling in the Modelverse.
In Colin Atkinson, Georg Grossmann, Thomas K¨uhne, and Juan de Lara, editors,Proceedings of the Workshop on Multi-Level Mod-elling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 28, 2014, volume 1286 ofCEUR Work-shop Proceedings, pages 83–92. CEUR-WS.org, 2014.
[Men02] Tom Mens. A State-of-the-Art Survey on Software Merging. IEEE Transactions on Software Engineering, 28(5):449–462, May 2002.
[MOF05] OMG: MetaObject Facility. http://www.omg.org/mof/, 2005.
Accessed:2021-11-16.
[MRS+18] Fernando Mac´ıas, Adrian Rutle, Volker Stolz, Roberto Rodr´ıguez-Echeverr´ıa, and Uwe Wolter. An Approach to Flexible Multilevel
Modelling. Enterprise Modelling and Information Systems Archi-tectures, 13:10:1–10:35, 2018.
[MST+19] Gergely Mezei, Ferenc Attila Somogyi, Zolt´an Theisz, D´aniel Urb´an, S´andor B´acsi, and D´aniel Palatinszky. A bootstrap for self-describing, self-validating multi-layer metamodeling. InProceedings of the Automation and Applied Computer Science Workshop, pages 28–38, 2019.
[MTB+19] Gergely Mezei, Zolt´an Theisz, S´andor B´acsi, Ferenc Attila Som-ogyi, and D´aniel Palatinszky. Towards Flexible, Rigorous Refine-ment in Metamodeling. In 22nd ACM/IEEE International Confer-ence on Model Driven Engineering Languages and Systems Com-panion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, pages 455–459. IEEE, 2019.
[MTU+19] Gergely Mezei, Zolt´an Theisz, D´aniel Urb´an, S´andor B´acsi, Som-ogyi, Ferenc A., and D´aniel Palatinszky. A bootstrap for self-describing, self-validating multi-layer metamodeling. In Dmitriy Dunaev and Istv´an Vajk, editors, Proceedings of the Automation and Applied Computer Science Workshop 2019 : AACS’19, pages 28–38, 06 2019.
[MTUB18] Gergely Mezei, Zolt´an Theisz, D´aniel Urb´an, and S´andor B´acsi.
The bicycle challenge in DMLA, where validation means correct modeling. In Regina Hebig and Thorsten Berger, editors, Proceed-ings of MODELS 2018 Workshops: 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018, volume 2245 of CEUR Workshop Proceedings, pages 643–652. CEUR-WS.org, 2018.
[NJSS14] Bernd Neumayr, Manfred A. Jeusfeld, Michael Schrefl, and Christoph Sch¨utz. Dual Deep Instantiation and Its ConceptBase Implementation. In Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Moura-tidis, and Jennifer Horkoff, editors, Advanced Information Sys-tems Engineering, pages 503–517. Springer International Publish-ing, 2014.
[NSHS17] Bernd Neumayr, Christoph G. Schuetz, Christian Horner, and Michael Schrefl. DeepRuby: Extending Ruby with Dual Deep Instantiation. In Proceedings of MODELS 2017 Satellite Event:
Workshops, volume 2019 of CEUR Workshop Proceedings, pages 252–260. CEUR-WS.org, 2017.
[NSJS18] Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, and Michael Schrefl. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. Software & Systems Modeling, 17(1):233–268, 2018.
[PAdLG08] Francisco P´erez Andr´es, Juan de Lara, and Esther Guerra. Domain Specific Languages with Graphical and Textual Views. In Andy Sch¨urr, Manfred Nagl, and Albert Z¨undorf, editors, Applications of Graph Transformations with Industrial Relevance, pages 82–97, Berlin, Heidelberg, 2008. Springer Berlin Heidelberg.
[PD94] Mike Paterson and Vlado Danˇc´ık. Longest common subsequences.
In Igor Pr´ıvara, Branislav Rovan, and Peter Ruziˇcka, editors, Math-ematical Foundations of Computer Science 1994, pages 127–142, Berlin, Heidelberg, 1994. Springer Berlin Heidelberg.
[Pet95] Marian Petre. Why Looking Isn’t Always Seeing: Readership Skills and Graphical Programming. Commun. ACM, 38(6):33–44, June 1995.
[PM19] Andreas Prinz and Gergely Mezei. The Art of Bootstrapping. In Slimane Hammoudi, Lu´ıs Ferreira Pires, and Bran Selic, editors, Model-Driven Engineering and Software Development - 7th Inter-national Conference, MODELSWARD 2019, Prague, Czech Repub-lic, February 20-22, 2019, Revised Selected Papers, volume 1161 of Communications in Computer and Information Science, pages 182–200. Springer, 2019.
[PMG+04] Madhukar Pai, Michael Mcculloch, Jennifer D Gorman, Nitika Pant Pai, Wayne T. A. Enanoria, G. C. Kennedy, Prathap Tharyan, and John M. Colford. Systematic reviews and meta-analyses: an illustrated, step-by-step guide. The National Medical Journal of India, 17(2):86–95, 2004.
[PMR16] Richard F. Paige, Nicholas Matragkas, and Louis M. Rose. Evolv-ing Models in Model-Driven EngineerEvolv-ing. Journal of Systems and Software, 111(C):272–280, January 2016.
[PR06] Mark Petticrew and Helen Roberts. Systematic Reviews in the So-cial Sciences: A Practical Guide. Blackwell Publishing, 1st edition, 2006.
[Pro19] The Process Challenge issued by the MULTI community.
https://www.wi-inf.uni-duisburg-essen.de/MULTI2019/wp-content/uploads/2019/05/MULTI Process Modeling Challenge.pdf, 2019. Accessed:2021-11-16.
[RdLG+12] Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, and Yngve Lamo. A Graph Transformation-Based Semantics for Deep Metamodelling. In Andy Sch¨urr, D´aniel Varr´o, and Gergely Varr´o, editors, Applications of Graph Transformations with Indus-trial Relevance, pages 19–34, Berlin, Heidelberg, 2012. Springer Berlin Heidelberg.
[RdLG+14] Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, and Uwe Wolter. A formalisation of deep metamodelling. Formal Aspects of Computing, 26(6):1115–1152, 2014.
[RV08] Jos´e E. Rivera and Antonio Vallecillo. Representing and Operating with Model Differences. In Richard F. Paige and Bertrand Meyer, editors,Objects, Components, Models and Patterns, pages 141–160, Berlin, Heidelberg, 2008. Springer Berlin Heidelberg.
[SBPM09] David Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, 2nd edition, 2009.
[SC12] Matthew Stephan and James R. Cordy. A Survey of Methods and Applications of Model Comparison. Technical report, School of Computing, Queens University, Kingston, Ontario, Canada, 2012.
[Sch06] Douglas C. Schmidt. Guest Editor’s Introduction: Model-Driven Engineering. Computer, 39:25–31, 02 2006.
[Sel07] Petri Selonen. A review of UML model comparison approaches. In M. Staron, editor, Workshop Proceedings of the 5th Nordic Work-shop on Model Driven Engineering, 27-29 August 2007, Ronneby, Sweden. Blekinge Institute of Technology. Research report, pages 37–51, 2007.
[Sim14] Daniel J. Simons. The Value of Direct Replication. Perspectives on Psychological Science, 9(1):76–80, 2014.
[SK03] Shane Sendall and Wojtek Kozaczynski. Model Transformation:
The Heart and Soul of Model-Driven Software Development. IEEE Software, 20(5):42–45, September 2003.
[Spi05] Diomidis Spinellis. Version control systems. IEEE Software, 22(5):108–109, Sept 2005.
[SR01] Jim Steel and Kerry Raymond. Generating human-usable textual notations for information models. In Proceedings Fifth IEEE In-ternational Enterprise Distributed Object Computing Conference, pages 250–261, Sept 2001.
[SSM+17] Matt Selway, Markus Stumptner, Wolfgang Mayer, Andreas Jor-dan, Georg Grossmann, and Michael Schrefl. A conceptual frame-work for large-scale ecosystem interoperability and industrial prod-uct lifecycles. Data & Knowledge Engineering, 109:85 – 111, 2017.
[SVC06] Thomas Stahl, Markus Voelter, and Krzysztof Czarnecki. Model-Driven Software Development: Technology, Engineering, Manage-ment. John Wiley & Sons, Inc., USA, 2006.
[SZK04] Guanglei Song, Kang Zhang, and Jun Kong. Model Management Through Graph Transformation. In 2004 IEEE Symposium on Vi-sual Languages - Human Centric Computing, pages 75–82, Sept 2004.
[TBM+19] Zolt´an Theisz, S´andor B´acsi, Gergely Mezei,Ferenc A. Somogyi, and D´aniel Palatinszky. By Multi-layer to Multi-level Modeling. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 134–141, Sep. 2019.
[TELW10] Gabriele Taentzer, Claudia Ermel, Philip Langer, and Manuel Wim-mer. Conflict Detection for Model Versioning Based on Graph Mod-ifications. In Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, and Andy Sch¨urr, editors, Graph Transformations, pages 171–186, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg.
[TUM17] Zolt´an Theisz, D´aniel Urb´an, and Gergely Mezei. Constraint Modularization Within Multi-level Meta-modeling. In Robertas Damaˇseviˇcius and Vilma Mikaˇsyt˙e, editors, Information and Soft-ware Technologies, pages 292–302, Cham, 2017. Springer Interna-tional Publishing.
[UMT17] D´aniel Urb´an, Gergely Mezei, and Zolt´an Theisz. Formalism for Static Aspects of Dynamic Metamodeling. Periodica Polytechnica Electrical Engineering and Computer Science, 61(1):34–47, (2017).
[US13] Sabrina Uhrig and Felix Schw¨agerl. Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework. In Pro-ceedings of the 1st International Conference on Model-Driven Engi-neering and Software Development - Volume 1: MODELSWARD,, pages 101–110. INSTICC, SciTePress, 2013.
[UTM18] D´aniel Urb´an, Zolt´an Theisz, and Gergely Mezei. Self-describing Operations for Multi-level Meta-modeling. InProceedings of the 6th International Conference on Model-Driven Engineering and Soft-ware Development - Volume 1: MODELSWARD,, pages 519–527.
INSTICC, SciTePress, 2018.
[vdBHVP11] Mark van den Brand, Albert Hofkamp, Tom Verhoeff, and Zvez-dan Proti´c. Assessing the Quality of Model-comparison Tools: A Method and a Benchmark Data Set. InProceedings of the 2nd In-ternational Workshop on Model Comparison in Practice, IWMCP
’11, pages 2–11, New York, NY, USA, 2011. ACM.
[vdBPV10] Mark van den Brand, Zvezdan Proti´c, and Tom Verhoeff. Fine-grained Metamodel-assisted Model Comparison. In Proceedings of the 1st International Workshop on Model Comparison in Practice, IWMCP ’10, pages 11–20, New York, NY, USA, 2010. ACM.
[vRvdS15] Riemer van Rozen and Tijs van der Storm. Origin Tracking + Text Differencing = Textual Model Differencing. InProceedings of the 8th International Conference on Theory and Practice of Model Transformations - Volume 9152, pages 18–33, New York, NY, USA, 2015. Springer-Verlag New York, Inc.