{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:09:52Z","timestamp":1725901792488},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614724"},{"type":"electronic","value":"9783319614731"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61473-1_1","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:10:41Z","timestamp":1497870641000},"page":"3-18","source":"Crossref","is-referenced-by-count":2,"title":["Experimentation with a Big-Step Semantics for ATL Model Transformations"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","volume":"14","author":"A Ab. Rahim","year":"2015","unstructured":"Ab. Rahim, A., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2015)","journal-title":"Softw. Syst. Model."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Amrani, M., Combemale, B., Lucio, L., Selim, G.M.K., Dingel, J., Traon, Y.L., Vangheluwe, H., Cordy, J.R.: Formal verification techniques for model transformations: a tridimensional classification. JOT 14(3), 1:1\u201343 (2015)","DOI":"10.5381\/jot.2015.14.3.a1"},{"key":"1_CR3","unstructured":"Boronat, A.: Well-Behaved Model Transformations with Model Subtyping. CoRR abs\/1703.08113 (2017)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 18\u201333. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00593-0_2"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers (2012)","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-34281-3_16","volume-title":"Formal Methods and Software Engineering","author":"F B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 198\u2013213. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34281-3_16"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"1_CR8","volume-title":"Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs","author":"D Ruscio Di","year":"2006","unstructured":"Di Ruscio, D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Laboratoire d\u2019Informatique de Nantes-Atlantique, LINA (2006)"},{"issue":"1\u20132","key":"1_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"1_CR10","unstructured":"Lawlew, M., Duddy, K., Gerber, A., Raymond, K.: Language Features for Re-Use and Maintainability of MDA Transformations. In: OOPSLA & GPCE Workshop (2004). adapted in. https:\/\/www.eclipse.org\/atl\/atlTransformations\/#Class2Relational"},{"key":"1_CR11","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: The mOdCL evaluator: Maude + OCL (2013). http:\/\/maude.lcc.uma.es\/mOdCL\/ . Accessed 3 Mar 2016"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Oakes, B.J., Troya, J., Lucio, L., Wimmer, M.: Fully verifying transformation contracts for declarative ATL. In: ACM\/IEEE MoDELS 2015, pp. 256\u2013265 (2015)","DOI":"10.1109\/MODELS.2015.7338256"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-13688-7_16","volume-title":"Theory and Practice of Model Transformations","author":"J Troya","year":"2010","unstructured":"Troya, J., Vallecillo, A.: Towards a rewriting logic semantics for ATL. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 230\u2013244. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-13688-7_16"},{"issue":"5","key":"1_CR14","first-page":"1","volume":"10","author":"J Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. J. Object Technol. 10(5), 1\u201329 (2011)","journal-title":"J. Object Technol."}],"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-61473-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T04:34:20Z","timestamp":1569472460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}