{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:28Z","timestamp":1750221148368,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"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\/501100008812","name":"Defence Science and Technology Group","doi-asserted-by":"publisher","award":["Research Agreement #6748"],"award-info":[{"award-number":["Research Agreement #6748"]}],"id":[{"id":"10.13039\/501100008812","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.3239399","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"415-425","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Integration of Visual Contracts and Model Transformation for Enhanced MDE Development"],"prefix":"10.1145","author":[{"given":"Matt","family":"Selway","sequence":"first","affiliation":[{"name":"University of South Australia Adelaide, SA, Australia"}]},{"given":"Georg","family":"Grossman","sequence":"additional","affiliation":[{"name":"University of South Australia Adelaide, SA, Australia"}]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[{"name":"University of South Australia Adelaide, SA, Australia"}]},{"given":"Kerryn R.","family":"Owen","sequence":"additional","affiliation":[{"name":"Land Simulation, Experimentation, and Wargaming, Land Capability Analysis, Joint and Operations Analysis Division, Defence Science and Technology Group Edinburgh, SA, Australia"}]},{"given":"Richard M.","family":"Dexter","sequence":"additional","affiliation":[{"name":"Land Simulation, Experimentation, and Wargaming, Land Capability Analysis, Joint and Operations Analysis Division, Defence Science and Technology Group Edinburgh, SA, Australia"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0546-9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00023-9"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. Software Language Engineering","author":"Barroca Bruno","year":"2010","unstructured":"Bruno Barroca , Levi L\u00facio , Vasco Amaral , Roberto F\u00e9lix , and Vasco Sousa . 2011. DSLTrans: A Turing Incomplete Transformation Language . In Proc. Software Language Engineering 2010 . Springer , 296--305. Bruno Barroca, Levi L\u00facio, Vasco Amaral, Roberto F\u00e9lix, and Vasco Sousa. 2011. DSLTrans: A Turing Incomplete Transformation Language. In Proc. Software Language Engineering 2010. Springer, 296--305."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929101.1929118"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80615-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2846696.2846704"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"C. Ermel M. Rudolf and G. Taentzer. 1999. The AGG Approach: Language And Environment. In Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific 551--603.   C. Ermel M. Rudolf and G. Taentzer. 1999. The AGG Approach: Language And Environment. In Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific 551--603.","DOI":"10.1142\/9789812815149_0014"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2005.03.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0247-y"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0102-y"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0074-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_13_1","volume-title":"Survey and classification of model transformation tools. SoSyM","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. SoSyM ( 2018 ), 1--37. online first. Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, and Daniel Varr\u00f3. 2018. Survey and classification of model transformation tools. SoSyM (2018), 1--37. online first."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263756"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. MoDELS 2015 Demo and Poster Session. 24--27","author":"L\u00facio Levi","year":"2015","unstructured":"Levi L\u00facio , Bentley James Oakes , Cl\u00e1udio Gomes , Gehan M. K. Selim , Juergen Dingel , James R. Cordy , and Hans Vangheluwe . 2015 . SyVOLT: Full Model Transformation Verification Using Contracts . In Proc. MoDELS 2015 Demo and Poster Session. 24--27 . http:\/\/ceur-ws.org\/Vol-1554\/PD_MoDELS_2015_paper_8.pdf Levi L\u00facio, Bentley James Oakes, Cl\u00e1udio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, and Hans Vangheluwe. 2015. SyVOLT: Full Model Transformation Verification Using Contracts. In Proc. MoDELS 2015 Demo and Poster Session. 24--27. http:\/\/ceur-ws.org\/Vol-1554\/PD_MoDELS_2015_paper_8.pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_18_1","unstructured":"OMG. 2014. Object Constraint Language (v2.4). standard formal\/2014-02-03. http:\/\/www.omg.org\/spec\/OCL\/2.4  OMG. 2014. Object Constraint Language (v2.4). standard formal\/2014-02-03. http:\/\/www.omg.org\/spec\/OCL\/2.4"},{"volume-title":"Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (v1.3)","author":"OMG.","key":"e_1_3_2_1_19_1","unstructured":"OMG. 2016. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (v1.3) . Object Management Group . http:\/\/www.omg.org\/spec\/QVT\/1.0\/PDF\/formal\/16-06-03. OMG. 2016. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (v1.3). Object Management Group. http:\/\/www.omg.org\/spec\/QVT\/1.0\/PDF\/formal\/16-06-03."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. 2nd International Workshop AGTIVE","author":"Rensink Arend","year":"2004","unstructured":"Arend Rensink . 2004 . The GROOVE Simulator: A\u0102\u0103Tool for State Space Generation . In Proc. 2nd International Workshop AGTIVE 2003. Springer, 479--485. Arend Rensink. 2004. The GROOVE Simulator: A\u0102\u0103Tool for State Space Generation. In Proc. 2nd International Workshop AGTIVE 2003. Springer, 479--485."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59071-4_45"},{"key":"e_1_3_2_1_22_1","volume-title":"Data and Decision Sciences in Action: Proc","author":"Selway Matt","year":"2016","unstructured":"Matt Selway , Kerryn R. Owen , Richard M. Dexter , Georg Grossmann , Wolfgang Mayer , and Markus Stumptner . 2018. Automated Techniques for Generating Behavioural Models for Constructive Combat Simulations . In Data and Decision Sciences in Action: Proc . Australian Society for Operations Research Conference 2016 (LNMIE). Springer , 103--115. Matt Selway, Kerryn R. Owen, Richard M. Dexter, Georg Grossmann, Wolfgang Mayer, and Markus Stumptner. 2018. Automated Techniques for Generating Behavioural Models for Constructive Combat Simulations. In Data and Decision Sciences in Action: Proc. Australian Society for Operations Research Conference 2016 (LNMIE). Springer, 103--115."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2011.6070399"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1290549.1298774"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1875847.1875867"}],"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.3239399","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239399","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.3239399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":24,"alternative-id":["10.1145\/3239372.3239399","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239399","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"}}]}}