{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:42:20Z","timestamp":1730320940836,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,24]]},"DOI":"10.1145\/3276604.3276616","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"70-82","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Continuous model validation using reference attribute grammars"],"prefix":"10.1145","author":[{"given":"Johannes","family":"Mey","sequence":"first","affiliation":[{"name":"TU Dresden, Germany"}]},{"given":"Ren\u00e9","family":"Sch\u00f6ne","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}]},{"given":"G\u00f6rel","family":"Hedin","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Emma","family":"S\u00f6derberg","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Thomas","family":"K\u00fchn","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}]},{"given":"Niklas","family":"Fors","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Jesper","family":"\u00d6qvist","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"565","article-title":"A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language","volume":"91","author":"Albano Antonio","year":"1991","unstructured":"Antonio Albano , Giorgio Ghelli , and Renzo Orsini . 1991 . A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language .. In VLDB , Vol. 91. 565 \u2013 575 . Antonio Albano, Giorgio Ghelli, and Renzo Orsini. 1991. A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.. In VLDB, Vol. 91. 565\u2013575.","journal-title":"VLDB"},{"volume-title":"Verifying Multi-object Invariants with Relationships. In ECOOP 2011 \u2013 Object-Oriented Programming, Mira Mezini (Ed.). Springer","author":"Balzer Stephanie","key":"e_1_3_2_1_2_1","unstructured":"Stephanie Balzer and Thomas R. Gross . 2011 . Verifying Multi-object Invariants with Relationships. In ECOOP 2011 \u2013 Object-Oriented Programming, Mira Mezini (Ed.). Springer , Berlin, Heidelberg, 358\u2013382. Stephanie Balzer and Thomas R. Gross. 2011. Verifying Multi-object Invariants with Relationships. In ECOOP 2011 \u2013 Object-Oriented Programming, Mira Mezini (Ed.). Springer, Berlin, Heidelberg, 358\u2013382."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_12"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814257"},{"volume-title":"Software Language Engineering, Brian Malloy, Steffen Staab, and Mark van den Brand (Eds.)","author":"B\u00fcrger Christoff","key":"e_1_3_2_1_6_1","unstructured":"Christoff B\u00fcrger , Sven Karol , Christian Wende , and Uwe A\u00dfmann . 2011. Reference Attribute Grammars for Metamodel Semantics . In Software Language Engineering, Brian Malloy, Steffen Staab, and Mark van den Brand (Eds.) . Springer , Berlin, Heidelberg , 22\u201341. Christoff B\u00fcrger, Sven Karol, Christian Wende, and Uwe A\u00dfmann. 2011. Reference Attribute Grammars for Metamodel Semantics. In Software Language Engineering, Brian Malloy, Steffen Staab, and Mark van den Brand (Eds.). Springer, Berlin, Heidelberg, 22\u201341."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2724525.2724572"},{"key":"e_1_3_2_1_8_1","unstructured":"The Apache Software Foundation. 2018. Apache TinkerPop. http: \/\/tinkerpop.apache.org\/ The Apache Software Foundation. 2018. Apache TinkerPop. http: \/\/tinkerpop.apache.org\/"},{"key":"e_1_3_2_1_9_1","volume-title":"Scholl","author":"Gluche Dieter","year":"1997","unstructured":"Dieter Gluche , Torsten Grust , Christof Mainberger , and Marc H . Scholl . 1997 . Incremental updates for materialized OQL views. In Deductive and Object-Oriented Databases, Fran\u00e7ois Bry, Raghu Ramakrishnan, and Kotagiri Ramamohanarao (Eds.). Springer , Berlin, Heidelberg, 52\u2013 66. Dieter Gluche, Torsten Grust, Christof Mainberger, and Marc H. Scholl. 1997. Incremental updates for materialized OQL views. In Deductive and Object-Oriented Databases, Fran\u00e7ois Bry, Raghu Ramakrishnan, and Kotagiri Ramamohanarao (Eds.). Springer, Berlin, Heidelberg, 52\u2013 66."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594324"},{"volume-title":"Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation","author":"Harkes Daco","key":"e_1_3_2_1_11_1","unstructured":"Daco Harkes and Eelco Visser . 2014. Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation . In Software Language Engineering, Beno\u00eet Combemale, David J. Pearce, Olivier Barais, and Jurgen J. Vinju (Eds.). Springer , Cham , 241\u2013260. Daco Harkes and Eelco Visser. 2014. Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation. In Software Language Engineering, Beno\u00eet Combemale, David J. Pearce, Olivier Barais, and Jurgen J. Vinju (Eds.). Springer, Cham, 241\u2013260."},{"key":"e_1_3_2_1_12_1","volume-title":"31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter M\u00fcller (Ed.)","volume":"74","author":"Daco","unstructured":"Daco C. Harkes and Eelco Visser. 2017. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition . In 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter M\u00fcller (Ed.) , Vol. 74 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 14:1\u201314:29. Daco C. Harkes and Eelco Visser. 2017. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. In 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter M\u00fcller (Ed.), Vol. 74. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 14:1\u201314:29."},{"key":"e_1_3_2_1_13_1","first-page":"301","article-title":"Reference attributed grammars","volume":"24","author":"Hedin G\u00f6rel","year":"2000","unstructured":"G\u00f6rel Hedin . 2000 . Reference attributed grammars . Informatica (Slovenia) 24 , 3 (2000), 301 \u2013 317 . G\u00f6rel Hedin. 2000. Reference attributed grammars. Informatica (Slovenia) 24, 3 (2000), 301\u2013317.","journal-title":"Informatica (Slovenia)"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00109-0"},{"key":"e_1_3_2_1_15_1","volume-title":"NMF: A Multi-platform Modeling Framework. In Theory and Practice of Model Transformation (Lecture Notes in Computer Science)","author":"Hinkel Georg","year":"2018","unstructured":"Georg Hinkel . 2018 . NMF: A Multi-platform Modeling Framework. In Theory and Practice of Model Transformation (Lecture Notes in Computer Science) . Springer , Cham , 184\u2013194. Georg Hinkel. 2018. NMF: A Multi-platform Modeling Framework. In Theory and Practice of Model Transformation (Lecture Notes in Computer Science). Springer, Cham, 184\u2013194."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/68012.68013"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DBKDA.2009.11"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_19_1","unstructured":"Tobias J\u00e4kel Thomas K\u00fchn Stefan Hinkel Hannes Voigt and Wolfgang Lehner. 2015. Relationships for Dynamic Data Types in RSQL. In Datenbanksysteme f\u00fcr Business Technologie und Web (BTW). 157\u2013176. Tobias J\u00e4kel Thomas K\u00fchn Stefan Hinkel Hannes Voigt and Wolfgang Lehner. 2015. Relationships for Dynamic Data Types in RSQL. In Datenbanksysteme f\u00fcr Business Technologie und Web (BTW). 157\u2013176."},{"key":"e_1_3_2_1_20_1","unstructured":"Fr\u00e9d\u00e9ric Jouault and Olivier Beaudoux. 2016. Efficient OCL-based Incremental Transformations.. In OCL@ MoDELS. 121\u2013136. Fr\u00e9d\u00e9ric Jouault and Olivier Beaudoux. 2016. Efficient OCL-based Incremental Transformations.. In OCL@ MoDELS. 121\u2013136."},{"key":"e_1_3_2_1_21_1","volume-title":"Survey and classification of model transformation tools. Software &","author":"Kahani Nafiseh","year":"2018","unstructured":"Nafiseh Kahani , Mojtaba Bagherzadeh , James R. Cordy , Juergen Dingel , and Daniel Varr\u00f3 . 2018. Survey and classification of model transformation tools. Software & ; Systems Modeling ( 12 March 2018 ). matical systems theory 2, 2 (1968), 127\u2013145. Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, and Daniel Varr\u00f3. 2018. Survey and classification of model transformation tools. Software & Systems Modeling (12 March 2018). matical systems theory 2, 2 (1968), 127\u2013145."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814255"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","volume-title":"Software Language Engineering","author":"K\u00fchn Thomas","unstructured":"Thomas K\u00fchn , Max Leuth\u00e4user , Sebastian G\u00f6tz , Christoph Seidl , and Uwe A\u00dfmann . 2014. A Metamodel Family for Role-Based Modeling and Programming Languages . In Software Language Engineering . Lecture Notes in Computer Science , Vol. 8706 . Springer , 141\u2013160. Thomas K\u00fchn, Max Leuth\u00e4user, Sebastian G\u00f6tz, Christoph Seidl, and Uwe A\u00dfmann. 2014. A Metamodel Family for Role-Based Modeling and Programming Languages. In Software Language Engineering. Lecture Notes in Computer Science, Vol. 8706. Springer, 141\u2013160."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-009-0046-z"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.06.005"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00287-008-0290-9"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 6 th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL","author":"Nelson Stephen","year":"2008","unstructured":"Stephen Nelson , David J. Pearce , and James Noble . 2008 . First Class Relationships for OO Languages . In Proceedings of the 6 th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008). http:\/\/hdl.handle.net\/2142\/11788 Stephen Nelson, David J. Pearce, and James Noble. 2008. First Class Relationships for OO Languages. In Proceedings of the 6 th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008). http:\/\/hdl.handle.net\/2142\/11788"},{"issue":"5","key":"e_1_3_2_1_28_1","first-page":"1","article-title":"Meta-Object Facility (MOF) Specification","volume":"2","author":"Object Management Group (OMG).","year":"2016","unstructured":"Object Management Group (OMG). 2016 . Meta-Object Facility (MOF) Specification , Version 2 . 5 . 1 . OMG Document Number formal\/2016-11. http:\/\/www.omg.org\/spec\/MOF\/2.5.1 Object Management Group (OMG). 2016. Meta-Object Facility (MOF) Specification, Version 2.5.1. OMG Document Number formal\/2016-11. http:\/\/www.omg.org\/spec\/MOF\/2.5.1","journal-title":"Version"},{"volume-title":"Proceedings of the 1994 International Symposium on Logic Programming (ILPS \u201994)","author":"Ramakrishnan Raghu","key":"e_1_3_2_1_29_1","unstructured":"Raghu Ramakrishnan , Kenneth A. Ross , Divesh Srivastava , and S. Sudarshan . 1994. Efficient Incremental Evaluation of Queries with Aggregation . In Proceedings of the 1994 International Symposium on Logic Programming (ILPS \u201994) . MIT Press, Cambridge, MA, USA, 204\u2013 218. Raghu Ramakrishnan, Kenneth A. Ross, Divesh Srivastava, and S. Sudarshan. 1994. Efficient Incremental Evaluation of Queries with Aggregation. In Proceedings of the 1994 International Symposium on Logic Programming (ILPS \u201994). MIT Press, Cambridge, MA, USA, 204\u2013 218."},{"volume-title":"The nature of modeling","author":"Rothenberg Jeff","key":"e_1_3_2_1_30_1","unstructured":"Jeff Rothenberg , Lawrence E Widman , Kenneth A Loparo , and Norman R Nielsen . 1989. The nature of modeling . Vol. 3027 . RAND Corporation , Santa Monica, CA . https:\/\/www.rand.org\/pubs\/notes\/N3027.html Jeff Rothenberg, Lawrence E Widman, Kenneth A Loparo, and Norman R Nielsen. 1989. The nature of modeling. Vol. 3027. RAND Corporation, Santa Monica, CA. https:\/\/www.rand.org\/pubs\/notes\/N3027.html"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38850"},{"key":"e_1_3_2_1_32_1","volume-title":"Scholl and Hans-J\u00f6rg Schek","author":"Marc","year":"1990","unstructured":"Marc H. Scholl and Hans-J\u00f6rg Schek . 1990 . A relational object model. In ICDT \u201990, Serge Abiteboul and Paris C. Kanellakis (Eds.). Springer , Berlin, Heidelberg, 89\u2013105. Marc H. Scholl and Hans-J\u00f6rg Schek. 1990. A relational object model. In ICDT \u201990, Serge Abiteboul and Paris C. Kanellakis (Eds.). Springer, Berlin, Heidelberg, 89\u2013105."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(00)00023-9"},{"key":"e_1_3_2_1_35_1","volume-title":"Merks, and Marcelo Paternostro","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Ed Merks, and Marcelo Paternostro . 2008 . EMF : Eclipse Modeling Framework. Pearson Education . Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. 2008. EMF: Eclipse Modeling Framework. Pearson Education."},{"key":"e_1_3_2_1_36_1","volume-title":"The Train Benchmark: cross-technology performance evaluation of continuous model queries. Software &","author":"Sz\u00e1rnyas G\u00e1bor","year":"2017","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. Software & ; Systems Modeling (Jan . 2017 ), 1\u201329. 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. Software & Systems Modeling (Jan. 2017), 1\u201329."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2012.17"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74830"}],"event":{"name":"SLE '18: 11th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"SLE '18"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276604.3276616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T17:52:12Z","timestamp":1673459532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276604.3276616"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":38,"alternative-id":["10.1145\/3276604.3276616","10.1145\/3276604"],"URL":"https:\/\/doi.org\/10.1145\/3276604.3276616","relation":{},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}