{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:49Z","timestamp":1762459609043,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3191697.3191715","type":"proceedings-article","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T12:12:40Z","timestamp":1530533560000},"page":"9-17","source":"Crossref","is-referenced-by-count":13,"title":["Multimodel correspondence through inter-model constraints"],"prefix":"10.1145","author":[{"given":"Patrick","family":"St\u00fcnkel","sequence":"first","affiliation":[{"name":"Western Norway University of Applied Sciences, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"K\u00f6nig","sequence":"additional","affiliation":[{"name":"University of Applied Sciences FHDW Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[{"name":"Western Norway University of Applied Sciences, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Rutle","sequence":"additional","affiliation":[{"name":"Western Norway University of Applied Sciences, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Anthony Anjorin Zinovy Diskin Fr\u00e9d\u00e9ric Jouault Hsiang-Shang Ko Erhan Leblebici and Bernahrd Westfechtel. 2017.  Anthony Anjorin Zinovy Diskin Fr\u00e9d\u00e9ric Jouault Hsiang-Shang Ko Erhan Leblebici and Bernahrd Westfechtel. 2017."},{"volume-title":"BX@ETAPS","year":"2017","author":"X","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","unstructured":"Michael A. Arbib and Ernest G. Manes. 1975.  Michael A. Arbib and Ernest G. Manes. 1975."},{"key":"e_1_3_2_1_4_1","unstructured":"Arrows Structures and Functors: The Categorical Imperative (1st ed.). Academic Pr. New York.  Arrows Structures and Functors: The Categorical Imperative (1st ed.). Academic Pr. New York."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"volume-title":"Modelling and Implementation of Complex Systems","author":"Boubakir Mohammed","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Zinovy Diskin Boris Kadish Frank Piessens and Michael Johnson. 2000. Universal Arrow Foundations for Visual Modeling. In Diagrams \u201900. 345\u2013360.   Zinovy Diskin Boris Kadish Frank Piessens and Michael Johnson. 2000. Universal Arrow Foundations for Visual Modeling. In Diagrams \u201900. 345\u2013360.","DOI":"10.1007\/3-540-44590-0_30"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Zinovy Diskin Harald K\u00f6nig and Mark Lawford. 2018. Multiple Model Synchronization with Multiary Delta Lenses. In FASE \u201918. to appear.  Zinovy Diskin Harald K\u00f6nig and Mark Lawford. 2018. Multiple Model Synchronization with Multiary Delta Lenses. In FASE \u201918. to appear.","DOI":"10.1007\/978-3-319-89363-1_2"},{"key":"e_1_3_2_1_10_1","unstructured":"Zinovy Diskin and Uwe Wolter. 2007. A diagrammatic logic for object-oriented visual modeling. In ACCAT \u201907. 19\u201341. 10.1016\/j.entcs.2008.10.041   Zinovy Diskin and Uwe Wolter. 2007. A diagrammatic logic for object-oriented visual modeling. In ACCAT \u201907. 19\u201341. 10.1016\/j.entcs.2008.10.041"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866272.1866279"},{"key":"e_1_3_2_1_12_1","unstructured":"165\u2013179.  165\u2013179."},{"key":"e_1_3_2_1_13_1","unstructured":"Hartmut. Ehrig K. Ehrig U. Prange and G. Taentzer. 2006.  Hartmut. Ehrig K. Ehrig U. Prange and G. Taentzer. 2006."},{"key":"e_1_3_2_1_14_1","unstructured":"Fundamentals of algebraic graph transformation. Springer.   Fundamentals of algebraic graph transformation. Springer."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"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 &amp; Systems Modeling 11 1 (Feb. 2012) 29\u201353. 10.1007\/s10270-010-0170-z   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 &amp; Systems Modeling 11 1 (Feb. 2012) 29\u201353. 10.1007\/s10270-010-0170-z","DOI":"10.1007\/s10270-010-0170-z"},{"key":"e_1_3_2_1_16_1","unstructured":"Jose Luiz Fiadeiro. 2005.  Jose Luiz Fiadeiro. 2005."},{"key":"e_1_3_2_1_17_1","unstructured":"Categories for Software Engineering. Springer.   Categories for Software Engineering. Springer."},{"key":"e_1_3_2_1_18_1","unstructured":"Robert Goldblatt. 2006.  Robert Goldblatt. 2006."},{"key":"e_1_3_2_1_19_1","unstructured":"Topoi: The Categorial Analysis of Logic (revised ed.). Dover Publications.  Topoi: The Categorial Analysis of Logic (revised ed.). Dover Publications."},{"key":"e_1_3_2_1_20_1","unstructured":"Zhenjiang Hu Andy Sch\u00fcrr Perdita Stevens and James F. Terwilliger. 2011.  Zhenjiang Hu Andy Sch\u00fcrr Perdita Stevens and James F. Terwilliger. 2011."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Dagstuhl seminar on bidirectional transformations (BX). ACM SIGMOD Record 40 1 (July 2011) 35. 10.1145\/2007206.2007217   Dagstuhl seminar on bidirectional transformations (BX). ACM SIGMOD Record 40 1 (July 2011) 35. 10.1145\/2007206.2007217","DOI":"10.1145\/2007206.2007218"},{"key":"e_1_3_2_1_22_1","unstructured":"Harald K\u00f6nig and Zinovy Diskin. 2016.  Harald K\u00f6nig and Zinovy Diskin. 2016."},{"volume-title":"Local Checking of Global Consistency in Heterogeneous Multimodeling. In ECMFA","year":"2016","author":"Advanced","key":"e_1_3_2_1_23_1"},{"volume-title":"Efficient Consistency Checking of Interrelated Models. In ECMFA","year":"2017","author":"K\u00f6nig Harald","key":"e_1_3_2_1_24_1"},{"volume-title":"MDI: A Rule-based Multi-document and Tool Integration Approach. Software &amp","year":"2006","author":"K\u00f6nigs Alexander","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","unstructured":"Yngve Lamo Florian Mantz Adrian Rutle and Juan de Lara. 2013. A declarative and bidirectional model transformation approach based on graph co-spans. PPDP \u201913 (2013) 1\u201312. 10.1145\/2505879.2505900   Yngve Lamo Florian Mantz Adrian Rutle and Juan de Lara. 2013. A declarative and bidirectional model transformation approach based on graph co-spans. PPDP \u201913 (2013) 1\u201312. 10.1145\/2505879.2505900"},{"key":"e_1_3_2_1_27_1","unstructured":"Saunders Mac Lane. 1998.  Saunders Mac Lane. 1998."},{"key":"e_1_3_2_1_28_1","unstructured":"Categories for the Working Mathematician. Springer.  Categories for the Working Mathematician. Springer."},{"volume-title":"EDBT\/ICDT","year":"2014","author":"Macedo Nuno","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Christian Nentwich Wolfgang Emmerich and Anthony Finkelsteiin. 2003. Consistency Management with Repair Actions. In ICSE \u201903. 455\u2013464.   Christian Nentwich Wolfgang Emmerich and Anthony Finkelsteiin. 2003. Consistency Management with Repair Actions. In ICSE \u201903. 455\u2013464.","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"e_1_3_2_1_31_1","unstructured":"Fazle Rabbi Yngve Lamo Ingrid Chieh Yu and Lars Kristensen. 2015.  Fazle Rabbi Yngve Lamo Ingrid Chieh Yu and Lars Kristensen. 2015."},{"key":"e_1_3_2_1_32_1","unstructured":"A Diagrammatic Approach to Model Completion. In AMT@MODELS \u201915. 56\u201365.  A Diagrammatic Approach to Model Completion. In AMT@MODELS \u201915. 56\u201365."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100057"},{"key":"e_1_3_2_1_34_1","unstructured":"Adrian Rutle. 2010.  Adrian Rutle. 2010."},{"key":"e_1_3_2_1_35_1","unstructured":"Diagram Predicate Framework: A Formal Approach to MDE. Ph.D. Dissertation. University of Bergen.  Diagram Predicate Framework: A Formal Approach to MDE. Ph.D. Dissertation. University of Bergen."},{"key":"e_1_3_2_1_36_1","first-page":"422","article-title":"A formal approach to the specification and transformation of constraints in MDE","volume":"81","author":"Rutle Adrian","year":"2012","journal-title":"JLAMP"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Andy Sch\u00fcrr. 1995. Specification of Graph Translators with Triple Graph Grammars. In WG \u201994. 151\u2013163.  Andy Sch\u00fcrr. 1995. Specification of Graph Translators with Triple Graph Grammars. In WG \u201994. 151\u2013163.","DOI":"10.1007\/3-540-59071-4_45"},{"volume-title":"Bidirectional Transformations In The Large. In MODELS","year":"2017","author":"Stevens Perdita","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/7474.7475"},{"key":"e_1_3_2_1_40_1","unstructured":"Frank Trollmann and Sahin Albayrak. 2015. Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models. In ICMT \u201915. 214\u2013229. 10.1007\/978-3-319-21155-8_16   Frank Trollmann and Sahin Albayrak. 2015. Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models. In ICMT \u201915. 214\u2013229. 10.1007\/978-3-319-21155-8_16"},{"key":"e_1_3_2_1_41_1","unstructured":"Janis Voigtl\u00e4nder Zhenjiang Hu Kazutaka Matsuda and Meng Wang. 2010.  Janis Voigtl\u00e4nder Zhenjiang Hu Kazutaka Matsuda and Meng Wang. 2010."},{"key":"e_1_3_2_1_42_1","unstructured":"Combining syntactic and semantic bidirectionalization. In ICFP \u201910. ACM 181\u2013 192.  Combining syntactic and semantic bidirectionalization. In ICFP \u201910. ACM 181\u2013 192."}],"event":{"name":"<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Nice France","acronym":"<Programming> 2018"},"container-title":["Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191715","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3191697.3191715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:31Z","timestamp":1750212691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":42,"alternative-id":["10.1145\/3191697.3191715","10.1145\/3191697"],"URL":"https:\/\/doi.org\/10.1145\/3191697.3191715","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]}}}