{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:52Z","timestamp":1740099112257,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319933160"},{"type":"electronic","value":"9783319933177"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93317-7_8","type":"book-chapter","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T03:41:53Z","timestamp":1527738113000},"page":"157-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Framework for Prototyping Executable Semantics in ATL"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2024-1736","authenticated-orcid":false,"given":"Artur","family":"Boronat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,1]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16145-2_9"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-61473-1_1","volume-title":"Theory and Practice of Model Transformation","author":"A Boronat","year":"2017","unstructured":"Boronat, A.: Experimentation with a big-step semantics for ATL model transformations. In: Guerra, E., van den Brand, M. (eds.) ICMT 2017. LNCS, vol. 10374, pp. 3\u201318. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-61473-1_1"},{"key":"8_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Uncovering errors in ATL model transformations using static analysis and constraint solving. In: ISSRE, pp. 34\u201344. IEEE Computer Society (2014)","DOI":"10.1109\/ISSRE.2014.10"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-662-49665-7_18","volume-title":"Fundamental Approaches to Software Engineering","author":"F Dur\u00e1n","year":"2016","unstructured":"Dur\u00e1n, F., Moreno-Delgado, A., \u00c1lvarez-Palomo, J.M.: Statistical model checking of e-motions domain-specific modeling languages. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 305\u2013322. Springer, Heidelberg (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-49665-7_18"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/S1571-0661(05)82534-4","volume":"71","author":"S Eker","year":"2002","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker. Electr. Notes Theor. Comput. Sci. 71, 162\u2013187 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"AH Ghamarian","year":"2012","unstructured":"Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. STTT 14(1), 15\u201340 (2012)","journal-title":"STTT"},{"key":"8_CR8","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: The mOdCL evaluator: Maude + OCL (2013). \nhttp:\/\/maude.lcc.uma.es\/mOdCL\/\n\n. Accessed 3 Mar 2016"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-30203-2_17","volume-title":"Graph Transformations","author":"A Rensink","year":"2004","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model checking graph transformations: a comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 226\u2013241. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30203-2_17"},{"key":"8_CR10","unstructured":"Tisi, M., Mart\u00ednez, S., Jouault, F., Cabot, J.: Refining Models with Rule-based Model Transformations. Research Report RR-7582, March 2011"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Troya, J., Rivera, J.E., Vallecillo, A.: Simulating domain specific visual models by observation. In: SpringSim, p. 128. SCS\/ACM (2010)","DOI":"10.1145\/1878537.1878671"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/978-3-642-24485-8_46","volume-title":"Model Driven Engineering Languages and Systems","author":"D Wagelaar","year":"2011","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., Jouault, F.: Towards a general composition semantics for rule-based model transformation. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 623\u2013637. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-24485-8_46"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93317-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T03:45:47Z","timestamp":1527738347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93317-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319933160","9783319933177"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93317-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}