{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:52:47Z","timestamp":1764053567244,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007626","name":"Magyar Tudom\u00e1nyos Akad\u00e9mia","doi-asserted-by":"publisher","award":["LP2015-12"],"award-info":[{"award-number":["LP2015-12"]}],"id":[{"id":"10.13039\/100007626","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239412","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"323-333","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Incremental View Model Synchronization Using Partial Models"],"prefix":"10.1145","author":[{"given":"Krist\u00f3f","family":"Marussy","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Measurement and Information Systems, Hungary and MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary"}]},{"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Measurement and Information Systems, Hungary and MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Department of Measurement and Information Systems, Hungary, MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and McGill University, School of Electrical and Computer Engineering, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. ViewModel project repository. https:\/\/github.com\/ftsrg\/viewmodel  2018. ViewModel project repository. https:\/\/github.com\/ftsrg\/viewmodel"},{"volume-title":"ViewModel Tool and Benchmark Results for \"Incremental View Model Synchronization Using Partial Models\". Approved by the MODELS '18 Artifact Evaluation Committee","key":"e_1_3_2_1_2_1","unstructured":"2018. ViewModel Tool and Benchmark Results for \"Incremental View Model Synchronization Using Partial Models\". Approved by the MODELS '18 Artifact Evaluation Committee . 2018. ViewModel Tool and Benchmark Results for \"Incremental View Model Synchronization Using Partial Models\". Approved by the MODELS '18 Artifact Evaluation Committee."},{"volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"Marsan Marco Ajmone","key":"e_1_3_2_1_3_1","unstructured":"Marco Ajmone Marsan , Gianfranco Balbo , Gianni Conte , Susanna Donatelli , and Giuliana Franceschinis . 1994. Modelling with Generalized Stochastic Petri Nets . John Wiley & Sons . Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, and Giuliana Franceschinis. 1994. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons."},{"volume-title":"BX@ETAPS 2017 (CEUR Workshop Proceedings)","author":"Anjorin Anthony","key":"e_1_3_2_1_4_1","unstructured":"Anthony Anjorin , Zinovy Diskin , Fr\u00e9d\u00e9ric Jouault , Hsiang-Shang Ko , Erhan Leblebici , and Bernhard Westfechtel . 2017. BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations . In BX@ETAPS 2017 (CEUR Workshop Proceedings) , Vol. 1827 . CEUR-WS. org, 15--30. Anthony Anjorin, Zinovy Diskin, Fr\u00e9d\u00e9ric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel. 2017. BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. In BX@ETAPS 2017 (CEUR Workshop Proceedings), Vol. 1827. CEUR-WS.org, 15--30."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09195-2_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In MODELS","author":"Arendt Thorsten","year":"2010","unstructured":"Thorsten Arendt , Enrico Biermann , Stefan Jurack , Christian Krause , and Gabriele Taentzer . 2010 . Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In MODELS 2010. Springer , 121--135. Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, and Gabriele Taentzer. 2010. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In MODELS 2010. Springer, 121--135."},{"key":"e_1_3_2_1_7_1","volume-title":"MODELS","author":"Beaudoux Olivier","year":"2010","unstructured":"Olivier Beaudoux , Arnaud Blouin , Olivier Barais , and Jean-Marc J\u00e9z\u00e9quel . 2010. Active Operations on Collections . In MODELS 2010 . Springer . Olivier Beaudoux, Arnaud Blouin, Olivier Barais, and Jean-Marc J\u00e9z\u00e9quel. 2010. Active Operations on Collections. In MODELS 2010. Springer."},{"volume-title":"Modern Uses of Multiple-Valued Logic","author":"Belnap Nuel D.","key":"e_1_3_2_1_8_1","unstructured":"Nuel D. Belnap . 1977. A Useful Four-Valued Logic . In Modern Uses of Multiple-Valued Logic . Springer , 5--37. Nuel D. Belnap. 1977. A Useful Four-Valued Logic. In Modern Uses of Multiple-Valued Logic. Springer, 5--37."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33654-6_26"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0197-9"},{"key":"e_1_3_2_1_12_1","volume-title":"Automatic Dependability Analysis for Supporting Design Decisions in UML. In HASE '99","author":"Bondavalli Andrea","year":"1999","unstructured":"Andrea Bondavalli , Ivan Mura , and Istv\u00e1n Majzik . 1999 . Automatic Dependability Analysis for Supporting Design Decisions in UML. In HASE '99 . IEEE, 64--74. Andrea Bondavalli, Ivan Mura, and Istv\u00e1n Majzik. 1999. Automatic Dependability Analysis for Supporting Design Decisions in UML. In HASE '99. IEEE, 64--74."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Hugo Bruneliere Erik Burger Jordi Cabot and Manuel Wimmer. 2017. A feature-based survey of model view approaches. Softw. Syst. Model. (2017).  Hugo Bruneliere Erik Burger Jordi Cabot and Manuel Wimmer. 2017. A feature-based survey of model view approaches. Softw. Syst. Model. (2017).","DOI":"10.1145\/3239372.3242895"},{"key":"e_1_3_2_1_14_1","volume-title":"Manuel Wimmer, and Jordi Cabot.","author":"Bruneli\u00e8re Hugo","year":"2015","unstructured":"Hugo Bruneli\u00e8re , Jokin Garcia Perez , Manuel Wimmer, and Jordi Cabot. 2015 . EMF Views: A View Mechanism for Integrating Heterogeneous Models. In ER 2015. Springer , 317--325. Hugo Bruneli\u00e8re, Jokin Garcia Perez, Manuel Wimmer, and Jordi Cabot. 2015. EMF Views: A View Mechanism for Integrating Heterogeneous Models. In ER 2015. Springer, 317--325."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050084"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0155-2"},{"key":"e_1_3_2_1_17_1","volume-title":"Romina Eramo, and Alfonso Pierantonio.","author":"Cicchetti Antonio","year":"2010","unstructured":"Antonio Cicchetti , Davide Di Ruscio , Romina Eramo, and Alfonso Pierantonio. 2010 . JTL : A Bidirectional and Change Propagating Transformation Language. In SLE 2010. Springer , 183--202. Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2010. JTL: A Bidirectional and Change Propagating Transformation Language. In SLE 2010. Springer, 183--202."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2631675.2631677"},{"key":"e_1_3_2_1_19_1","volume-title":"MODELS","author":"Diskin Zinovy","year":"2010","unstructured":"Zinovy Diskin , Yingfei Xiong , and Krzysztof Czarnecki . 2011. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking . In MODELS 2010 . Springer , 165--179. Zinovy Diskin, Yingfei Xiong, and Krzysztof Czarnecki. 2011. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In MODELS 2010. Springer, 165--179."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"H. Ehrig G. Engels H.-J. Kreowski and G. Rozenberg (Eds.). 1999. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1. World Scientific Publishing Co. Inc. River Edge NJ USA. 163--246 pages.  H. Ehrig G. Engels H.-J. Kreowski and G. Rozenberg (Eds.). 1999. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1. World Scientific Publishing Co. Inc. River Edge NJ USA. 163--246 pages.","DOI":"10.1142\/4180"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194097000266"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337290"},{"key":"e_1_3_2_1_23_1","volume-title":"Workshop on Analysis of Model Transformations (CEUR Workshop Proceedings)","volume":"1277","author":"Gholizadeh Hamid","year":"2014","unstructured":"Hamid Gholizadeh , Zinovy Diskin , and Tom Maibaum . 2014 . A Query Structured Approach for Model Transformation . In Workshop on Analysis of Model Transformations (CEUR Workshop Proceedings) , Vol. 1277 . CEUR-WS.org, 54--63. Hamid Gholizadeh, Zinovy Diskin, and Tom Maibaum. 2014. A Query Structured Approach for Model Transformation. In Workshop on Analysis of Model Transformations (CEUR Workshop Proceedings), Vol. 1277. CEUR-WS.org, 54--63."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0247-y"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0155-y"},{"key":"e_1_3_2_1_26_1","unstructured":"Joel Greenyer. 2006. A study of technologies for model transformation: Reconciling TGGs with QVT. Diplomarbeit. Universit\u00e4t Paderborn.  Joel Greenyer. 2006. A study of technologies for model transformation: Reconciling TGGs with QVT. Diplomarbeit. Universit\u00e4t Paderborn."},{"key":"e_1_3_2_1_27_1","volume-title":"MODELS","author":"Greenyer Joel","year":"2007","unstructured":"Joel Greenyer and Ekkart Kindler . 2007. Reconciling TGGs with QVT . In MODELS 2007 . Springer , 16--30. Joel Greenyer and Ekkart Kindler. 2007. Reconciling TGGs with QVT. In MODELS 2007. Springer, 16--30."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_23"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0436-y"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100104"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_23"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_34_1","volume-title":"ICMT","author":"Jouault Fr\u00e9d\u00e9ric","year":"2010","unstructured":"Fr\u00e9d\u00e9ric Jouault and Massimo Tisi . 2010. Towards Incremental Execution of ATL Transformations . In ICMT 2010 . Springer , 123--137. Fr\u00e9d\u00e9ric Jouault and Massimo Tisi. 2010. Towards Incremental Execution of ATL Transformations. In ICMT 2010. Springer, 123--137."},{"key":"e_1_3_2_1_35_1","volume-title":"LORI","author":"Kamide Norihiro","year":"2017","unstructured":"Norihiro Kamide and Hitoshi Omori . 2017. An Extended First-Order Belnap-Dunn Logic with Classical Negation . In LORI 2017 . Springer , 79--93. Norihiro Kamide and Hitoshi Omori. 2017. An Extended First-Order Belnap-Dunn Logic with Classical Negation. In LORI 2017. Springer, 79--93."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847544"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_16"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12261-3_23"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_22"},{"key":"e_1_3_2_1_41_1","volume-title":"ICGT","author":"Leblebici Erhan","year":"2017","unstructured":"Erhan Leblebici , Anthony Anjorin , Lars Fritsche , Gergely Varr\u00f3 , and Andy Sch\u00fcrr . 2017. Leveraging Incremental Pattern Matching Techniques for Model Synchronisation . In ICGT 2017 . Springer , 179--195. Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varr\u00f3, and Andy Sch\u00fcrr. 2017. Leveraging Incremental Pattern Matching Techniques for Model Synchronisation. In ICGT 2017. Springer, 179--195."},{"volume-title":"Architecting Dependable Systems","author":"Majzik Istv\u00e1n","key":"e_1_3_2_1_42_1","unstructured":"Istv\u00e1n Majzik , Andr\u00e1s Pataricza , and Andrea Bondavalli . 2002. Stochastic Dependability Analysis of System Architecture Based on UML Models . In Architecting Dependable Systems . Springer , 219--244. Istv\u00e1n Majzik, Andr\u00e1s Pataricza, and Andrea Bondavalli. 2002. Stochastic Dependability Analysis of System Architecture Based on UML Models. In Architecting Dependable Systems. Springer, 219--244."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.08.006"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066177"},{"key":"e_1_3_2_1_45_1","unstructured":"Bart Meyers. 2016. A Multi-Paradigm Modelling Approach to Design and Evolution of Domain-Specific Modelling Languages.  Bart Meyers. 2016. A Multi-Paradigm Modelling Approach to Design and Evolution of Domain-Specific Modelling Languages."},{"key":"e_1_3_2_1_46_1","unstructured":"Object Management Group. 2016. MOF Query\/View\/Transformation Specification. http:\/\/www.omg.org\/spec\/QVT\/1.3\/Version1.3.  Object Management Group. 2016. MOF Query\/View\/Transformation Specification. http:\/\/www.omg.org\/spec\/QVT\/1.3\/Version1.3."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0032-y"},{"key":"e_1_3_2_1_48_1","volume-title":"WG","author":"Sch\u00fcrr Andy","year":"1994","unstructured":"Andy Sch\u00fcrr . 1995. Specification of Graph Translators with Triple Graph Grammars . In WG 1994 . Springer , 151--163. Andy Sch\u00fcrr. 1995. Specification of Graph Translators with Triple Graph Grammars. In WG 1994. Springer, 151--163."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"e_1_3_2_1_50_1","volume-title":"MODELS","author":"Song Hui","year":"2011","unstructured":"Hui Song , Gang Huang , Franck Chauvel , Wei Zhang , Yanchun Sun , Weizhong Shao , and Hong Mei . 2011. Instant and Incremental QVT Transformation for Runtime Models . In MODELS 2011 . Springer , 273--288. Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, and Hong Mei. 2011. Instant and Incremental QVT Transformation for Runtime Models. In MODELS 2011. Springer, 273--288."},{"key":"e_1_3_2_1_51_1","volume-title":"Merks","author":"Steinberg David","year":"2009","unstructured":"David Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2009 . EMF : Eclipse Modeling Framework 2.0 ( 2 nd ed.). Addison-Wesley Professional . David Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2009. EMF: Eclipse Modeling Framework 2.0 (2nd ed.). Addison-Wesley Professional.","edition":"2"},{"key":"e_1_3_2_1_52_1","volume-title":"Bidirectional model transformations in QVT: semantic issues and open questions. Soft. Syst. Model. 9, 7","author":"Stevens Perdita","year":"2010","unstructured":"Perdita Stevens . 2010. Bidirectional model transformations in QVT: semantic issues and open questions. Soft. Syst. Model. 9, 7 ( 2010 ). Perdita Stevens. 2010. Bidirectional model transformations in QVT: semantic issues and open questions. Soft. Syst. Model. 9, 7 (2010)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_3"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"G\u00e1bor Sz\u00e1rnyas Benedek Izs\u00f3 Istv\u00e1n R\u00e1th and D\u00e1niel Varr\u00f3. 2017. The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. (2017).  G\u00e1bor Sz\u00e1rnyas Benedek Izs\u00f3 Istv\u00e1n R\u00e1th and D\u00e1niel Varr\u00f3. 2017. The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. (2017).","DOI":"10.1007\/s10270-016-0571-8"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"volume-title":"Diverse, Scalable and Realistic Graph Models. In Graph Transformation, Specifications, and Nets","author":"Varr\u00f3 D\u00e1niel","key":"e_1_3_2_1_57_1","unstructured":"D\u00e1niel Varr\u00f3 , Oszk\u00e1r Semer\u00e1th , G\u00e1bor Sz\u00e1rnyas , and \u00c1kos Horv\u00e1th . 2018. Towards the Automated Generation of Consistent , Diverse, Scalable and Realistic Graph Models. In Graph Transformation, Specifications, and Nets . Springer , 285--312. D\u00e1niel Varr\u00f3, Oszk\u00e1r Semer\u00e1th, G\u00e1bor Sz\u00e1rnyas, and \u00c1kos Horv\u00e1th. 2018. Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. In Graph Transformation, Specifications, and Nets. Springer, 285--312."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_4"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Copenhagen Denmark","acronym":"MODELS '18"},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239412","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:19Z","timestamp":1750208899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239412"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":57,"alternative-id":["10.1145\/3239372.3239412","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239412","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}