{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:20Z","timestamp":1750306760572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,18]]},"DOI":"10.1145\/2491411.2492404","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"735-738","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A framework for defining the dynamic semantics of DSLs"],"prefix":"10.1145","author":[{"given":"Ulyana","family":"Tikhonova","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"volume-title":"Cambridge Univ Pr","year":"2010","author":"Abrial J.-R.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2366448.2366450"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"I. Ait-Sadoune and Y. Ait-Ameur. Stepwise Design of BPEL Web Services Compositions: An Event-B 8 wiki.event-b.org\/index.php\/EMF_framework_for_ Event-B Refinement Based Approach. In R. Lee O. Ormandjieva A. Abran and C. Constantinides editors Software Engineering Research Management and Applications 2010 pages 51\u201368. Springer Berlin \/ Heidelberg 2010.  I. Ait-Sadoune and Y. Ait-Ameur. Stepwise Design of BPEL Web Services Compositions: An Event-B 8 wiki.event-b.org\/index.php\/EMF_framework_for_ Event-B Refinement Based Approach. In R. Lee O. Ormandjieva A. Abran and C. Constantinides editors Software Engineering Research Management and Applications 2010 pages 51\u201368. Springer Berlin \/ Heidelberg 2010.","DOI":"10.1007\/978-3-642-13273-5_4"},{"volume-title":"Workshop on the experience of and advances in developing dependable systems in Event-B, CoRR","year":"2012","author":"Basin D. A.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1142\/S1793351X09000628"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_10"},{"key":"e_1_3_2_1_8_1","first-page":"26","volume-title":"Formal Aspects of Computing","author":"Hoang T.","year":"2012"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"P.\n       \n      Mosses\n    .\n      \n  \n   \n  Theory and practice of action semantics. In W. Penczek and A. Szalas editors Mathematical Foundations of Computer Science\n   \n  1996 volume \n  1113\n   of \n  Lecture Notes in Computer Science pages 37\u2013\n  61\n  . Springer Berlin \/ Heidelberg 1996.   P. Mosses. Theory and practice of action semantics. In W. Penczek and A. Szalas editors Mathematical Foundations of Computer Science 1996 volume 1113 of Lecture Notes in Computer Science pages 37\u201361. Springer Berlin \/ Heidelberg 1996.","DOI":"10.1007\/3-540-61550-4_139"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.009"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_24"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_7"},{"key":"e_1_3_2_1_13_1","unstructured":"U. Tikhonova M. Manders M. G. J. van den Brand S. Andova and T. Verhoeff. Applying Model Transformation and Event-B for Specifying an Industrial DSL. 2013.  U. Tikhonova M. Manders M. G. J. van den Brand S. Andova and T. Verhoeff. Applying Model Transformation and Event-B for Specifying an Industrial DSL. 2013."}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13"},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2492404","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2492404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:42Z","timestamp":1750231722000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2492404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":13,"alternative-id":["10.1145\/2491411.2492404","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2492404","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}