{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:25:02Z","timestamp":1791231902912,"version":"4.1.0"},"reference-count":134,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T00:00:00Z","timestamp":1627603200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models consistent with each other while they evolve. As a consequence, there is a lot of scientific activity in this area, which has produced an extensive body of knowledge, methods, results and tools. The majority of these approaches, however, are limited to binary inter-model relations; i.e. the synchronisation of exactly two models. Yet, not every multi-ary relation can be factored into a family of  binary relations. In this paper, we propose and investigate a novel\n            <jats:italic>comprehensive system<\/jats:italic>\n            construction, which is able to represent multi-ary relations among multiple models in an\n            <jats:italic>integrated<\/jats:italic>\n            manner and thus serves as a\n            <jats:italic>formal\n foundation<\/jats:italic>\n            for artefacts used in consistency management activities involving multiple models. The construction is based on the definition of\n            <jats:italic>partial<\/jats:italic>\n            commonalities among a set of models using the same language, which is used to denote the (local) models. The main\n            <jats:italic>theoretical<\/jats:italic>\n            results of this paper are proofs of the facts that comprehensive systems are an admissible environment for (i) applying formal means of consistency verification (diagrammatic predicate framework), (ii) performing algebraic graph transformation (weak adhesive HLR category), and (iii) that they generalise the underlying setting of graph diagrams and triple graph grammars.\n          <\/jats:p>","DOI":"10.1007\/s00165-021-00555-2","type":"journal-article","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T04:02:49Z","timestamp":1627617769000},"page":"1067-1114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Comprehensive Systems: A formal foundation for Multi-Model Consistency Management"],"prefix":"10.1145","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0537-295X","authenticated-orcid":false,"given":"Patrick","family":"St\u00fcnkel","sequence":"first","affiliation":[{"name":"H\u00f8gskulen p\u00e5 Vestlandet, Bergen, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6304-6311","authenticated-orcid":false,"given":"Harald","family":"K\u00f6nig","sequence":"additional","affiliation":[{"name":"H\u00f8gskulen p\u00e5 Vestlandet, Bergen, Norway"},{"name":"FHDW Hannover, Hanover, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9196-1779","authenticated-orcid":false,"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[{"name":"H\u00f8gskulen p\u00e5 Vestlandet, Bergen, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4158-1644","authenticated-orcid":false,"given":"Adrian","family":"Rutle","sequence":"additional","affiliation":[{"name":"H\u00f8gskulen p\u00e5 Vestlandet, Bergen, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Anjorin A Buchmann T Westfechtel B Diskin Z Ko H-S Eramo R Hinkel G Samimi-Dehkordi L Z\u00fcndorf A (2019) Benchmarking bidirectional transformations: theory implementation application and assessment. In: Software and systems modeling","DOI":"10.1007\/s10270-019-00752-x"},{"key":"e_1_2_1_2_2_2","unstructured":"Ad\u00e1mek J Herrlich H Strecker GE (1990) Abstract and concrete categories: the joy of cats. Pure and applied mathematics. Wiley"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Atkinson C K\u00fchne T (2002) Rearchitecting the UML infrastructure. ACM Trans Model Comput Simul 12(4):290\u2013321","DOI":"10.1145\/643120.643123"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Aizenbud-Reshef N Nolan BT Rubin J Shaham-Gafni Y (2006) Model traceability. IBM Syst J 45(3):515\u2013526","DOI":"10.1147\/sj.453.0515"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Atkinson C Stoll D Bostan P (2010) Orthographic software modeling: a practical approach to view-based development. In: Maciaszek LA Gonz\u00e1lez-P\u00e9rez C Jablonski S (eds) ENASE 2009 communications in computer and information science. Springer Berlin pp 206\u2013219","DOI":"10.1007\/978-3-642-14819-4_15"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Abou-Saleh F Cheney J Gibbons J McKinna J Stevens P (2018) Introduction to bidirectional transformations. In: Gibbons J Stevens P (eds) Bidirectional transformations: international summer school 2016 LNCS. Springer pp 1\u201328","DOI":"10.1007\/978-3-319-79108-1_1"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Bruneliere H Burger E Cabot J Wimmer M (2019) A feature-based survey of model view approaches. Softw Syst Model 18(3):1931\u20131952","DOI":"10.1007\/s10270-017-0622-9"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin J Bouzitouna S Del Fabro MD Gervais M-P Jouault F Kolovos D Kurtev I Paige RF (2006) A canonical scheme for model composition. In: Rensink A Warmer J (eds) Model driven architecture\u2014foundations and applications lecture notes in computer science. Springer Berlin pp 346\u2013360","DOI":"10.1007\/11787044_26"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Brunet G Chechik M Easterbrook S Nejati S Niu N Sabetzadeh M (2006) A manifesto for model merging. In: GaMMa \u201906. ACM New York NY USA pp 5\u201312","DOI":"10.1145\/1138304.1138307"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"Bennani S Ebersold S El Hamlaoui M Coulette B Nassar M (2019) A collaborative decision approach for alignment of heterogeneous models. In: 2019 IEEE 28th international conference on enabling technologies: Infrastructure for collaborative enterprises (WETICE) pp 112\u2013117. ISSN: 2641-8169","DOI":"10.1109\/WETICE.2019.00032"},{"key":"e_1_2_1_2_11_2","unstructured":"Bernstein PA (2003) Applying model management to classical meta data problems. In: CIDR"},{"key":"e_1_2_1_2_12_2","unstructured":"B\u00e9zivin J Jouault F Valduriez P (2004) On the need for megamodels. In: Proceedings of the OOPSLA\/GPCE: best practices for model-driven software development workshop 19th Annual ACM conference on object-oriented programming systems languages and applications (2004) Vancouver Canada"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Boronat A Knapp A Meseguer J Wirsing M (2009) What is a multi-modeling language? In: WADT 2008. Springer Berlin pp 71\u201387","DOI":"10.1007\/978-3-642-03429-9_6"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Barriga A Mandow L de la Cruz Jos\u00e9 LP Rutle A Heldal R Iovino L (2020) A comparative study of reinforcement learning techniques to repair models. In: Proceedings of the 23rd ACM\/IEEE international conference on model driven engineering languages and systems: companion proceedings MODELS\u201920. Association for Computing Machinery New York NY USA pp 1\u20139","DOI":"10.1145\/3417990.3421395"},{"key":"e_1_2_1_2_15_2","unstructured":"Barr M Wells C (1990) Category theory for computing science. Prentice Hall"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin J (2005) On the unification power of models. Softw Syst Model 4(2):171\u2013188","DOI":"10.1007\/s10270-005-0079-0"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Cicchetti A Ciccozzi F Pierantonio A (2019) Multi-view approaches for software and system modelling: a systematic literature review. Softw Syst Model 18(6):3207\u20133233","DOI":"10.1007\/s10270-018-00713-w"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Czarnecki K Foster N Hu Z L\u00e4mmel R Sch\u00fcrr A Terwilliger JF (2009) Bidirectional transformations: a cross-discipline perspective. In: ICMT 2009 pp 193\u2013204","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_2_1_2_19_2","unstructured":"Cheney J Gibbons J McKinna J Stevens P (2015) Towards a principle of least surprise for bidirectional transformations. In: Proceedings of the 4th international workshop on bidirectional transformations co-located with software technologies: applications and fFoundations (STAF 2015) vol 1396 pp 66\u201380"},{"key":"e_1_2_1_2_20_2","unstructured":"Cleve A Kindler E Stevens P Zaytsev V(2019) Multidirectional transformations and synchronisations (Dagstuhl seminar 18491). Dagstuhl Rep 8(12):1\u201348"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","unstructured":"Carboni A Lack S Walters RFC (1993) Introduction to extensive and distributive categories. J Pure Appl Algebra 84(2):145\u2013158","DOI":"10.1016\/0022-4049(93)90035-R"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Courcelle B (1997) The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg G (ed) Handbook of graph grammars and computing by graph transformation. World Scientific River Edge pp 313\u2013400","DOI":"10.1142\/9789812384720_0005"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Colmerauer A Roussel P (1996) The birth of Prolog. In: History of programming languages\u2014II. Association for Computing Machinery New York pp 331\u2013367","DOI":"10.1145\/234286.1057820"},{"key":"e_1_2_1_2_24_2","unstructured":"Diskin Z (1997) Towards algebraic graph-based model theory for computer science. Bull Symb Logic 3:144\u2013145"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Diskin Z K\u00f6nig H Lawford M (2019) Multiple model synchronization with multiary delta lenses with amendment andK-Putput. Form Aspects Comput 31(5):611\u2013640","DOI":"10.1007\/s00165-019-00493-0"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"Drivalos N Kolovos DS Paige RF Fernandes KJ (2009) Engineering a DSL for software traceability. In: Ga\u0161evi\u0107 D L\u00e4mmel R Van Wyk E (eds) Software language engineering lecture notes in computer science. Springer Berlin pp 151\u2013167","DOI":"10.1007\/978-3-642-00434-6_10"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"crossref","unstructured":"de Lara J Guerra E (2010) Deep meta-modelling with MetaDepth. In: Vitek J (ed) Objects models components patterns lecture notes in computer science. Springer Berlin pp 1\u201320","DOI":"10.1007\/978-3-642-13953-6_1"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"de Lara J Guerra E Kienzle J Hattab Y (2018) Facet-oriented modelling: open objects for model-driven engineering. In: SLE 2018. Association for Computing Machinery Boston MA USA pp 147\u2013159","DOI":"10.1145\/3276604.3276610"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Diskin Z Wolter U (2007) A diagrammatic logic for object-oriented visual modeling. In: ACCAT \u201907 pp 19\u201341","DOI":"10.1016\/j.entcs.2008.10.041"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"crossref","unstructured":"Diskin Z Xiong Y Czarnecki K (2011) Specifying Overlaps of heterogeneous models for global consistency checking. In: MDI@MODELS 2010 pp 165\u2013179","DOI":"10.1007\/978-3-642-21210-9_16"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","unstructured":"Ehrig H Ehrig K Ermel C Hermann F Taentzer G (2007) Information preserving bidirectional model transformations. In: Dwyer MB Lopes A (eds) Fundamental approaches to software engineering lecture notes in computer science. Springer Berlin pp 72\u201386","DOI":"10.1007\/978-3-540-71289-3_7"},{"key":"e_1_2_1_2_32_2","unstructured":"Ehrig H Ehrig K Hermann F (2008) From model transformation to model integration based on the algebraic approach to triple graph grammars. Electron Commun EASST 10:65"},{"key":"e_1_2_1_2_33_2","unstructured":"Ehrig H Ehrig K Prange U Taentzer G (2006) Fundamentals of algebraic graph transformation. Springer"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Egyed A (2007) Fixing inconsistencies in UML design models. In: Proceedings\u2014international conference on software engineering pp 292\u2013301","DOI":"10.1109\/ICSE.2007.38"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","unstructured":"Engels G Hausmann JH Heckel R Sauer S (2000) Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: Andy E Stuart K Bran S (eds) UML 2000\u2014the unified modeling language lecture notes in computer science. Springer Berlin pp 323\u2013337","DOI":"10.1007\/3-540-40011-7_23"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","unstructured":"Eramo R Malavolta I Muccini H Pelliccione P Pierantonio A (2012) A model-driven approach to automate the propagation of changes among architecture description languages. Softw Syst Model 11(1):29\u201353","DOI":"10.1007\/s10270-010-0170-z"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"Ehrig H Prange U (2006) Weak adhesive high-level replacement categories and systems: a unifying framework for graph and petri net transformations. In: Futatsugi K Jouannaud J-P Meseguer J (eds) Algebra meaning and computation: essays dedicated to Joseph A. Goguen on the Occasion of his 65th birthday lecture notes in computer science. Springer Berlin pp 235\u2013251","DOI":"10.1007\/11780274_13"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"crossref","unstructured":"Ehrig H Pfender M Schneider HJ (O1973) Graph-grammars: an algebraic approach. In: 14th Annual symposium on switching and automata theory (swat 1973) pp 167\u2013180","DOI":"10.1109\/SWAT.1973.11"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"crossref","unstructured":"Euzenat J Shvaiko P (2013) Ontology matching 2 edn. Springer Berlin","DOI":"10.1007\/978-3-642-38721-0"},{"key":"e_1_2_1_2_40_2","doi-asserted-by":"crossref","unstructured":"Finkelstein A Gabbay D Hunter A Kramer J Nuseibeh B (1993) Inconsistency handling in multi-perspective specifications. In: Sommerville I Paul M (eds) Software engineering\u2014ESEC\u201993 lecture notes in computer science. Springer Berlin pp 84\u201399","DOI":"10.1007\/3-540-57209-0_7"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"crossref","unstructured":"Foster JN Greenwald MB Moore JT Pierce BC Schmitt A (2007) Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans Program Lang Syst 29(3):6","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","unstructured":"Fritsche L Kosiol J M\u00f6ller A Sch\u00fcrr A Taentzer G (2020) A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars. In: Proceedings of the 13th ACM SIGPLAN international conference on software language engineering. Association for Computing Machinery New York NY USA pp 39\u201355","DOI":"10.1145\/3426425.3426931"},{"key":"e_1_2_1_2_43_2","doi-asserted-by":"crossref","unstructured":"Finkelstein A Kramer J Nuseibeh B Finkelstein L Goedicke M (1992) Viewpoints: a framework for integrating multiple perspectives in system development. Int J Softw Eng Knowl Eng 2(1):31\u201357","DOI":"10.1142\/S0218194092000038"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"crossref","unstructured":"Feldmann S Kernschmidt K Wimmer M Vogel-Heuser B (2019) Managing inter-model inconsistencies in model-based systems engineering: application in automated production systems engineering. J Syst Softw 153:105\u2013134","DOI":"10.1016\/j.jss.2019.03.060"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"crossref","unstructured":"Favre J-M NGuyen T (2005) Towards a megamodel to model software evolution through transformations. Electron Notes Theor Comput Sci 127(3):59\u201374","DOI":"10.1016\/j.entcs.2004.08.034"},{"key":"e_1_2_1_2_46_2","doi-asserted-by":"crossref","unstructured":"Finkelstein A Spanoudakis G Till D (1996) Managing interference. In: Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (viewpoints\u201996) on SIGSOFT\u201996 Workshops ISAW\u201996. ACM New York NY USA pp 172\u2013174","DOI":"10.1145\/243327.243646"},{"key":"e_1_2_1_2_47_2","unstructured":"Goldschmidt T Becker S Burger E (2012) Towards a tool-oriented taxonomy of view-based modelling. In: Sinz E Sch\u00fcrr A (eds) Modellierung 2012. Gesellschaft f\u00fcr Informatik e.V. pp 59\u201374. Accepted 14 Nov 2018. T09:41:29Z ISSN: 1617\u20135468"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"crossref","unstructured":"Guerra E de Lara J Kolovos DS Paige RF (2010) Inter-modelling: from theory to practice. In: Petriu DC Rouquette N Haugen \u00d8 (eds) MODELS\u201910 lecture notes in computer science. Springer Berlin pp 376\u2013391","DOI":"10.1007\/978-3-642-16145-2_26"},{"key":"e_1_2_1_2_49_2","unstructured":"Gamma E Helm R Johnson R Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co. Inc. Boston"},{"key":"e_1_2_1_2_50_2","doi-asserted-by":"crossref","unstructured":"Giese H Hildebrandt S Lambers L (2010) Toward bridging the gap between formal semantics and implementation of triple graph grammars. In: Validation 2010 workshop on model-driven engineering verification pp 19\u201324","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"e_1_2_1_2_51_2","unstructured":"Goguen JA (1973) Categorical foundations for general systems theory. In: Pichler F Trappl R (eds) Advances in cybernetics and systems research pp 121\u2013130. Transcripta Books"},{"key":"e_1_2_1_2_52_2","unstructured":"Goldblatt R (2006) Topoi: the categorial analysis of logic. Dover revised edition"},{"key":"e_1_2_1_2_53_2","doi-asserted-by":"crossref","unstructured":"Giese H Wagner R (2009) From model transformation to incremental bidirectional model synchronization. Softw Syst Model 8(1):21\u201343","DOI":"10.1007\/s10270-008-0089-9"},{"key":"e_1_2_1_2_54_2","doi-asserted-by":"crossref","unstructured":"Hermann F Ehrig H Ermel C Orejas F (2012) Concurrent model synchronization with conflict resolution based on triple graph grammars. In: de Lara J Zisman A (eds) FASE 2012 Lecture notes in computer science. Springer Berlin pp 178\u2013193","DOI":"10.1007\/978-3-642-28872-2_13"},{"key":"e_1_2_1_2_55_2","unstructured":"Heindel T (2010) A category theoretical approach to the concurrent semantics of rewriting: adhesive categories and related concepts. PhD thesis University of Duisburg-Essen"},{"key":"e_1_2_1_2_56_2","doi-asserted-by":"crossref","unstructured":"Heindel T (2010) Hereditary pushouts reconsidered. In: Ehrig H Rensink A Rozenberg G Sch\u00fcrr A (eds) Graph transformations lecture notes in computer science. Springer Berlin pp 250\u2013265","DOI":"10.1007\/978-3-642-15928-2_17"},{"key":"e_1_2_1_2_57_2","doi-asserted-by":"crossref","unstructured":"Hermann F Ehrig H Orejas F Czarnecki K Diskin Z Xiong Y (2011) Correctness of model synchronization based on triple graph grammar. In: Whittle J Clark T K\u00fchne T (eds) MODELS 2011. Springer Berlin pp 668\u2013682","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"e_1_2_1_2_58_2","doi-asserted-by":"crossref","unstructured":"Habel A Pennemann K-H (2009) Correctness of high-level transformation systems relative to nested conditions \u2020. Math Struct Comput Sci 19(2):245\u2013296","DOI":"10.1017\/S0960129508007202"},{"key":"e_1_2_1_2_59_2","doi-asserted-by":"crossref","unstructured":"Habel A Sandmann C (2018) Graph repair by graph programs. In: Mazzara M Ober I Sala\u00fcn G (eds) Software technologies: applications and foundations lecture notes in computer science. Springer Cham pp 431\u2013446","DOI":"10.1007\/978-3-030-04771-9_31"},{"key":"e_1_2_1_2_60_2","unstructured":"ISO\/IEC JTC 1\/SC 7 Software and systems engineering. Iso\/iec\/ieee 42010:2011 - systems and software engineering\u2014architecture description. https:\/\/www.iso.org\/standard\/50508.html. Accessed Dec 2011"},{"key":"e_1_2_1_2_61_2","unstructured":"Jackson D (2016) Software abstractions: logic language and analysis. MIT Press"},{"key":"e_1_2_1_2_62_2","doi-asserted-by":"crossref","unstructured":"K\u00f6nig H Diskin Z (2017) Efficient consistency checking of interrelated models. In: ECMFA 2017 pp 161\u2013178","DOI":"10.1007\/978-3-319-61482-3_10"},{"key":"e_1_2_1_2_63_2","doi-asserted-by":"crossref","unstructured":"Kolovos DS Di Ruscio D Pierantonio A Paige RF (2009) Different models for model matching: an analysis of approaches to support model differencing. In: Proceedings of the 2009 ICSE workshop on comparison and versioning of software models CVSM\u201909. IEEE Computer Society Washington DC USA pp 1\u20136","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"e_1_2_1_2_64_2","doi-asserted-by":"crossref","unstructured":"Kennaway R (1991) Graph rewriting in some categories of partial morphisms. In: Ehrig H Kreowski H-J Rozenberg G (eds) Graph grammars and their application to computer science lecture notes in computer science. Springer Berlin pp 490\u2013504","DOI":"10.1007\/BFb0017408"},{"key":"e_1_2_1_2_65_2","doi-asserted-by":"crossref","unstructured":"Kosiol J Fritsche L Sch\u00fcrr A Taentzer G (2019) Adhesive subcategories of functor categories with instantiation to partial triple graphs. In: Guerra E Orejas F (eds) Graph transformation lecture notes in computer science. Springer pp 38\u201354","DOI":"10.1007\/978-3-030-23611-3_3"},{"key":"e_1_2_1_2_66_2","doi-asserted-by":"crossref","unstructured":"Klare H Gleitze J (2019) Commonalities for preserving consistency of multiple models. In: MODELS 2019 companion pp 371\u2013378","DOI":"10.1109\/MODELS-C.2019.00058"},{"key":"e_1_2_1_2_67_2","doi-asserted-by":"crossref","unstructured":"Klare H Kramer ME Langhammer M Werle D Burger E Reussner R (2021) Enabling consistency in view-based system development\u2014the Vitruvius approach. J Syst Softw 171:110815","DOI":"10.1016\/j.jss.2020.110815"},{"key":"e_1_2_1_2_68_2","doi-asserted-by":"crossref","unstructured":"Kehrer T Kelter U Taentzer G (2013) Consistency-preserving edit scripts in model versioning. In: 2013 28th IEEE\/ACM international conference on automated software engineering (ASE) pp 191\u2013201","DOI":"10.1109\/ASE.2013.6693079"},{"key":"e_1_2_1_2_69_2","doi-asserted-by":"crossref","unstructured":"Knapp A Mossakowski T (2018) Multi-view consistency in UML: a survey. In: Graph transformation specifications and nets LNCS 10800. Springer Cham pp 37\u201360","DOI":"10.1007\/978-3-319-75396-6_3"},{"key":"e_1_2_1_2_70_2","doi-asserted-by":"crossref","unstructured":"Kienzle J Mussbacher G Combemale B Deantoni J (2019) A unifying framework for homogeneous model composition. Softw Syst Model 18(5):3005\u20133023","DOI":"10.1007\/s10270-018-00707-8"},{"key":"e_1_2_1_2_71_2","doi-asserted-by":"crossref","unstructured":"Kolovos DS Paige RF Polack FAC (2006) Merging models with the epsilon merging language (EML). In: Nierstrasz O Whittle J Harel D Reggio G (eds) Model driven engineering languages and systems lecture notes in computer science. Springer Berlin pp 215\u2013229","DOI":"10.1007\/11880240_16"},{"key":"e_1_2_1_2_72_2","doi-asserted-by":"crossref","unstructured":"Kolovos D Paige R Polack F (2008) Detecting and repairing inconsistencies across heterogeneous models. In: Proceedings of the 2008 international conference on software testing verification and validation ICST\u201908. IEEE Computer Society Washington DC USA pp 356\u2013364","DOI":"10.1109\/ICST.2008.23"},{"key":"e_1_2_1_2_73_2","unstructured":"Kosiol J Radke H (2017) Rule-based repair of emf models: formalization and correctness proof. In: GCM 2017"},{"key":"e_1_2_1_2_74_2","doi-asserted-by":"crossref","unstructured":"K\u00f6nig H St\u00fcnkel P (2020) Single pushout rewriting in comprehensive systems. In: Gadducci F Kehrer T (eds) Graph transformation lecture notes in computer science. Springer Cham pp 91\u2013108","DOI":"10.1007\/978-3-030-51372-6_6"},{"key":"e_1_2_1_2_75_2","doi-asserted-by":"crossref","unstructured":"K\u00fchne T (2006) Matters of (meta-)modeling. Softw Syst Model 5(4):369\u2013385","DOI":"10.1007\/s10270-006-0017-9"},{"key":"e_1_2_1_2_76_2","doi-asserted-by":"crossref","unstructured":"Leblebici E Anjorin A Sch\u00fcrr A (2017) Inter-model consistency checking using triple graph grammars and linear optimization techniques. In: Proceedings of the 20th international conference on fundamental approaches to software engineering\u2014Volume 10202. Springer New York NY USA pp 191\u2013207","DOI":"10.1007\/978-3-662-54494-5_11"},{"key":"e_1_2_1_2_77_2","doi-asserted-by":"crossref","unstructured":"Lambers L Orejas F (2014) Tableau-based reasoning for graph properties. In: Giese H K\u00f6nig B (eds) Graph transformation lecture notes in computer science. Springer Cham pp 17\u201332","DOI":"10.1007\/978-3-319-09108-2_2"},{"key":"e_1_2_1_2_78_2","doi-asserted-by":"crossref","unstructured":"Lack S Soboci\u0144ski P (2004) Adhesive categories. In: Walukiewicz I (ed) Foundations of software science and computation structures lecture notes in computer science. Springer Berlin pp 273\u2013288","DOI":"10.1007\/978-3-540-24727-2_20"},{"key":"e_1_2_1_2_79_2","doi-asserted-by":"crossref","unstructured":"Lack S Soboci\u0144ski P (2006) Toposes are adhesive. In: Corradini A Ehrig H Montanari U Ribeiro L Rozenberg G (eds) Graph transformations lecture notes in computer science. Springer Berlin pp 184\u2013198","DOI":"10.1007\/11841883_14"},{"key":"e_1_2_1_2_80_2","doi-asserted-by":"crossref","unstructured":"L\u00f6we M (1993) Algebraic approach to single-pushout graph transformation. Theor Comput Sci 109(1):181\u2013224","DOI":"10.1016\/0304-3975(93)90068-5"},{"key":"e_1_2_1_2_81_2","doi-asserted-by":"crossref","unstructured":"Mandel L Cengarle MV (1999) On the expressive power of OCL. In: Wing JM Woodcock J Davies J (eds) FM\u201999\u2014Formal methods lecture notes in computer science. Springer Berlin pp 854\u2013874","DOI":"10.1007\/3-540-48119-2_47"},{"key":"e_1_2_1_2_82_2","doi-asserted-by":"crossref","unstructured":"Macedo N Cunha A (2016) Least-change bidirectional model transformation with QVT-R and ATL. Softw Syst Model 15(3):783\u2013810","DOI":"10.1007\/s10270-014-0437-x"},{"key":"e_1_2_1_2_83_2","doi-asserted-by":"crossref","unstructured":"Macedo N Jorge T Cunha A (2017) A feature-based classification of model repair approaches. IEEE Trans Softw Eng 43(7):615\u2013640","DOI":"10.1109\/TSE.2016.2620145"},{"key":"e_1_2_1_2_84_2","doi-asserted-by":"crossref","unstructured":"Meier J Werner C Klare H Tunjic C A\u00dfmann U Atkinson C Burger E Reussner R Winter A (2020) Classifying approaches for constructing single underlying models. In: Hammoudi S Pires LF Seli\u0107 B (eds) Model-driven engineering and software development communications in computer and information science. Springer Cham pp 350\u2013375","DOI":"10.1007\/978-3-030-37873-8_15"},{"key":"e_1_2_1_2_85_2","doi-asserted-by":"crossref","unstructured":"Nentwich C Emmerich W Finkelsteiin A (2003) Consistency management with repair actions. In: ICSE\u201903 pp 455\u2013464","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"e_1_2_1_2_86_2","doi-asserted-by":"crossref","unstructured":"Nentwich C Emmerich W Finkelsteiin A Ellmer E (2003) Flexible consistency checking. ACM Trans Softw Eng Methodol 12(1):28\u201363","DOI":"10.1145\/839268.839271"},{"key":"e_1_2_1_2_87_2","doi-asserted-by":"crossref","unstructured":"Nuseibeh B Easterbrook S Russo A (2001) Making inconsistency respectable in software development. J Syst Softw 58(2):171\u2013180","DOI":"10.1016\/S0164-1212(01)00036-X"},{"key":"e_1_2_1_2_88_2","unstructured":"Orejas F Boronat A Ehrig H Hermann F Sch\u00f6lzel H (2013) On propagation-based concurrent model synchronization. Electron Commun EASST 57:66"},{"key":"e_1_2_1_2_89_2","unstructured":"Object Management Group (2014) Business process model and notation (BPMN) v.2.0.2"},{"key":"e_1_2_1_2_90_2","unstructured":"Object Management Group (2015) Unified modeling language (UML) v.2.4.1"},{"key":"e_1_2_1_2_91_2","unstructured":"Object Management Group (2016) Meta Object Facility (MOF) 2.0 Query\/View\/Transformation (QVT) v.1.3. http:\/\/www.omg.org\/spec\/QVT\/1.3"},{"key":"e_1_2_1_2_92_2","doi-asserted-by":"crossref","unstructured":"Object Management Group (2016) Meta object facility (MOF) core specification v. 2.4.1","DOI":"10.1007\/978-1-4899-7993-3_914-2"},{"key":"e_1_2_1_2_93_2","unstructured":"Object Management Group (2019) Decision model and notation (DMN) v.1.2"},{"key":"e_1_2_1_2_94_2","doi-asserted-by":"crossref","unstructured":"Ohrndorf M Pietsch C Kelter U Kehrer T (2018) ReVision: a tool for history-based model repair recommendations. In: Proceedings of the 40th international conference on software engineering: companion proceeedings ICSE\u201918. Association for Computing Machinery New York NY USA pp 105\u2013108","DOI":"10.1145\/3183440.3183498"},{"key":"e_1_2_1_2_95_2","doi-asserted-by":"crossref","unstructured":"Orejas F Pino E Navarro M (2020) Incremental concurrent model synchronization using triple graph grammars. In: Wehrheim H Cabot J (eds) Fundamental approaches to software engineering lecture notes in computer science. Springer Cham pp 273\u2013293","DOI":"10.1007\/978-3-030-45234-6_14"},{"key":"e_1_2_1_2_96_2","doi-asserted-by":"crossref","unstructured":"Pennemann K-H (2008) An algorithm for approximating the satisfiability problem of high-level conditions. Electron Notes Theor Comput Sci 213(1):75\u201394","DOI":"10.1016\/j.entcs.2008.04.075"},{"key":"e_1_2_1_2_97_2","doi-asserted-by":"crossref","unstructured":"Pierce BC (1991) Basic category theory for computer scientists. MIT Press Cambridge","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"e_1_2_1_2_98_2","doi-asserted-by":"crossref","unstructured":"Paige RF Kolovos DS Rose LM Drivalos N Polack FAC (2009) The design of a conceptual framework and technical infrastructure for model management language engineering. In: Proceedings of the 2009 14th IEEE international conference on engineering of complex computer systems ICECCS\u201909. IEEE Computer Society Washington DC USA pp 162\u2013171","DOI":"10.1109\/ICECCS.2009.14"},{"key":"e_1_2_1_2_99_2","doi-asserted-by":"crossref","unstructured":"Rahm E Bernstein PA (2001) A survey of approaches to automatic schema matching. VLDB J 10(4):334\u2013350","DOI":"10.1007\/s007780100057"},{"key":"e_1_2_1_2_100_2","doi-asserted-by":"crossref","unstructured":"Rubin J Chechik M (2013) N-way model merging. In: ESEC\/FSE 2013. ACM New York NY USA pp 301\u2013311","DOI":"10.1145\/2491411.2491446"},{"key":"e_1_2_1_2_101_2","doi-asserted-by":"crossref","unstructured":"Reder A Egyed A (2012) Computing repair trees for resolving inconsistencies in design models. In: 2012 Proceedings of the 27th IEEE\/ACM international conference on automated software engineering pp 220\u2013229","DOI":"10.1145\/2351676.2351707"},{"key":"e_1_2_1_2_102_2","doi-asserted-by":"crossref","unstructured":"Rozenberg G (1997) Handbook of graph grammars and computing by graph transformation vol 1. World Scientific","DOI":"10.1142\/3303"},{"key":"e_1_2_1_2_103_2","doi-asserted-by":"crossref","unstructured":"Robinson E Rosolini G (1988) Categories of partial maps. Inf Comput 79(2):95\u2013130","DOI":"10.1016\/0890-5401(88)90034-X"},{"key":"e_1_2_1_2_104_2","doi-asserted-by":"crossref","unstructured":"Rutle A Rossini A Lamo Y Wolter U (2009) A diagrammatic formalisation of MOF-based modelling languages. In: TOOLS EUROPE 2009. Springer Berlin pp 37\u201356","DOI":"10.1007\/978-3-642-02571-6_4"},{"key":"e_1_2_1_2_105_2","doi-asserted-by":"crossref","unstructured":"Rutle A Rossini A Lamo Y Wolter U (2012) A formal approach to the specification and transformation of constraints in MDE. JLAMP 81(4):422\u2013457","DOI":"10.1016\/j.jlap.2012.03.006"},{"key":"e_1_2_1_2_106_2","unstructured":"Steinberg D Budinsky F Merks E Paternostro M (D2008) EMF: eclipse modeling framework. Pearson Education"},{"key":"e_1_2_1_2_107_2","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr A (1994) Specification of graph translators with triple graph grammars. In: WG\u201994 pp 151\u2013163","DOI":"10.1007\/3-540-59071-4_45"},{"key":"e_1_2_1_2_108_2","doi-asserted-by":"crossref","unstructured":"Samimi-Dehkordi L Zamani B Kolahdouz-Rahimi S (2018) EVL+Strace: a novel bidirectional model transformation approach. Inf Softw Technol 100:47\u201372","DOI":"10.1016\/j.infsof.2018.03.011"},{"key":"e_1_2_1_2_109_2","unstructured":"Segen JC (1992) The dictionary of modern medicine. CRC Press"},{"key":"e_1_2_1_2_110_2","doi-asserted-by":"crossref","unstructured":"Sendall S Kozaczynski W (2003) Model transformation: the heart and soul of model-driven software development. IEEE Softw 20(5):42\u201345","DOI":"10.1109\/MS.2003.1231150"},{"key":"e_1_2_1_2_111_2","doi-asserted-by":"crossref","unstructured":"St\u00fcnkel P K\u00f6nig H Lamo Y Rutle A (2018) Multimodel correspondence through inter-model constraints. In: Conference companion of the 2nd international conference on art science and engineering of programming Programming\u201918 Companion. Association for Computing Machinery New York NY USA pp 9\u201317","DOI":"10.1145\/3191697.3191715"},{"key":"e_1_2_1_2_112_2","doi-asserted-by":"crossref","unstructured":"St\u00fcnkel P K\u00f6nig H Lamo Y Rutle A (2020) Towards multiple model synchronization with comprehensive systems. In: FASE 2020 volume 12076 of lecture notes in computer science. Springer Cham","DOI":"10.1007\/978-3-030-45234-6_17"},{"key":"e_1_2_1_2_113_2","doi-asserted-by":"crossref","unstructured":"St\u00fcnkel P K\u00f6nig H Rutle A Lamo Y (2021) Multi-model evolution through model repair. J Obj Technol 20(1):1:1\u201325","DOI":"10.5381\/jot.2021.20.1.a2"},{"key":"e_1_2_1_2_114_2","doi-asserted-by":"crossref","unstructured":"Schneider S Lambers L Orejas F (2018) Automated reasoning for attributed graph properties. Int J Softw Tools Technol Transf 20(6):705\u2013737","DOI":"10.1007\/s10009-018-0496-3"},{"key":"e_1_2_1_2_115_2","doi-asserted-by":"crossref","unstructured":"Schneider S Lambers L Orejas F (2019) A logic-based incremental approach to graph repair. In: H\u00e4hnle R van der AW (eds) Fundamental approaches to software engineering lecture notes in computer science. Springer pp 151\u2013167","DOI":"10.1007\/978-3-030-16722-6_9"},{"key":"e_1_2_1_2_116_2","doi-asserted-by":"crossref","unstructured":"Silva Marcos Aur\u00e9lio AD Mougenot A Blanc X Bendraou R (2010) Towards automated inconsistency handling in design models. In: Advanced information systems engineering lecture notes in computer science. Springer Berlin pp 348\u2013362","DOI":"10.1007\/978-3-642-13094-6_28"},{"key":"e_1_2_1_2_117_2","doi-asserted-by":"crossref","unstructured":"Sabetzadeh M Nejati S Liaskos S Easterbrook S Chechik M (2007) Consistency checking of conceptual models via model merging. In: RE 2007 pp 221\u2013230","DOI":"10.1109\/RE.2007.18"},{"key":"e_1_2_1_2_118_2","doi-asserted-by":"crossref","unstructured":"Stevens P (2008) Bidirectional model transformations in QVT: semantic issues and open questions. Softw Syst Model 9(1):7","DOI":"10.1007\/s10270-008-0109-9"},{"key":"e_1_2_1_2_119_2","doi-asserted-by":"crossref","unstructured":"Stevens P (2017) Bidirectional transformations in the large. In: MODELS 2017 pp 1\u201311","DOI":"10.1109\/MODELS.2017.8"},{"key":"e_1_2_1_2_120_2","doi-asserted-by":"crossref","unstructured":"Stevens P (2020) Connecting software build with maintaining consistency between models: towards sound optimal and flexible building from megamodels. Softw Syst Model 6:66","DOI":"10.1007\/s10270-020-00788-4"},{"key":"e_1_2_1_2_121_2","doi-asserted-by":"crossref","unstructured":"Spanoudakis G Zisman A (2001) Inconsistency management in software engineering: survey and open research issues. In: Handbook of software engineering and knowledge engineering pp 329\u2013380","DOI":"10.1142\/9789812389718_0015"},{"key":"e_1_2_1_2_122_2","doi-asserted-by":"crossref","unstructured":"Trollmann F Albayrak S (2015) Extending model to model transformation results from triple graph grammars to multiple models. In: ICMT\u201915 pp 214\u2013229","DOI":"10.1007\/978-3-319-21155-8_16"},{"key":"e_1_2_1_2_123_2","doi-asserted-by":"crossref","unstructured":"Trollmann F Albayrak S (2016) Extending model synchronization results from triple graph grammars to multiple models. In: Van Gorp P Engels G (eds) Theory and practice of model transformations lecture notes in computer science. Springer pp 91\u2013106","DOI":"10.1007\/978-3-319-42064-6_7"},{"key":"e_1_2_1_2_124_2","doi-asserted-by":"crossref","unstructured":"Taentzer G Ohrndorf M Lamo Y Rutle A (2017) Change-preserving model repair. In: Huisman M Rubin J (eds) Fundamental approaches to software engineering lecture notes in computer science. Springer Berlin pp 283\u2013299","DOI":"10.1007\/978-3-662-54494-5_16"},{"key":"e_1_2_1_2_125_2","doi-asserted-by":"crossref","unstructured":"Torres W van den Brand MGJ Serebrenik A (2020) A systematic literature review of cross-domain model consistency checking by model management tools. Softw Syst Model 6:56","DOI":"10.1007\/s10270-020-00834-1"},{"key":"e_1_2_1_2_126_2","doi-asserted-by":"crossref","unstructured":"Usman M Nadeem A Kim T Cho E (2008) A survey of consistency checking techniques for UML models. In: Proceedings of the 2008 advanced software engineering and its applications ASEA\u201908. IEEE Computer Society USA pp 57\u201362","DOI":"10.1109\/ASEA.2008.40"},{"key":"e_1_2_1_2_127_2","unstructured":"Weidmann N Anjorin A Fritsche L Varr\u00f3 G Sch\u00fcrr A Leblebici E (2019) Incremental bidirectional model transformation with eMoflon: : IBeX. In: Cheney J Ko H-S (eds) Proceedings of the 8th international workshop on bidirectional transformations co-located with the Philadelphia logic week Bx@PLW 2019 Philadelphia PA USA June 4 2019 volume 2355 of CEUR workshop proceedings pp 45\u201355. CEUR-WS.org"},{"key":"e_1_2_1_2_128_2","doi-asserted-by":"crossref","unstructured":"Walters RFC (1992) Categories and computer science. Cambridge University Press New York","DOI":"10.1017\/CBO9780511608872"},{"key":"e_1_2_1_2_129_2","doi-asserted-by":"crossref","unstructured":"Weidmann N Fritsche L Anjorin A (2020) A search-based and fault-tolerant approach to concurrent model synchronisation. In: Proceedings of the 13th ACM SIGPLAN international conference on software language engineering. Association for Computing Machinery New York NY USA pp 56\u201371","DOI":"10.1145\/3426425.3426932"},{"key":"e_1_2_1_2_130_2","doi-asserted-by":"crossref","unstructured":"Whittle J Hutchinson J Rouncefield M (2014) The state of practice in model-driven engineering. IEEE Softw 31(3):79\u201385","DOI":"10.1109\/MS.2013.65"},{"key":"e_1_2_1_2_131_2","unstructured":"Warmer J Kleppe A (1999) The object constraint language: precise modeling with UML. Addison-Wesley Longman Boston"},{"key":"e_1_2_1_2_132_2","doi-asserted-by":"crossref","unstructured":"Weber JH Kuziemsky C (2019) Pragmatic interoperability for ehealth systems: the fallback workflow patterns. In: Proceedings of the 1st international workshop on software engineering for healthcare SEH\u201919 pp 29\u201336 Piscataway NJ USA. IEEE Press. Montreal QC Canada","DOI":"10.1109\/SEH.2019.00013"},{"key":"e_1_2_1_2_133_2","unstructured":"Wolter U (2021) Logics of first-order constraints\u2014a category independent approach. arXiv:2101.01944"},{"key":"e_1_2_1_2_134_2","doi-asserted-by":"crossref","unstructured":"Wille D Wehling K Seidl C Pluchator M Schaefer I (2017) Variability mining of technical architectures. In: Proceedings of the 21st international systems and software product line conference\u2014volume A SPLC\u201917 pp 39\u201348 New York NY USA. ACM Sevilla Spain","DOI":"10.1145\/3106195.3106202"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-021-00555-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00165-021-00555-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-021-00555-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-021-00555-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,21]],"date-time":"2022-04-21T20:45:55Z","timestamp":1650573955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-021-00555-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":134,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["10.1007\/s00165-021-00555-2"],"URL":"https:\/\/doi.org\/10.1007\/s00165-021-00555-2","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"23 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 March 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}