{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:51:52Z","timestamp":1725558712758},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136870"},{"type":"electronic","value":"9783642136887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13688-7_16","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:49:39Z","timestamp":1277812179000},"page":"230-244","source":"Crossref","is-referenced-by-count":15,"title":["Towards a Rewriting Logic Semantics for ATL"],"prefix":"10.1007","author":[{"given":"Javier","family":"Troya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"The AtlanMod Team: ATL (2010), \n                    \n                      http:\/\/www.eclipse.org\/m2m\/atl\/doc\/"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","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.\u00a04350. Springer, Heidelberg (2007)"},{"key":"16_CR4","unstructured":"Eclipse (ATL), \n                    \n                      http:\/\/www.eclipse.org\/m2m\/atl\/atlTransformations\/"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11768869_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: A DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 171\u2013185. Springer, Heidelberg (2006)"},{"key":"16_CR6","unstructured":"Troya, J., Vallecillo, A.: Formal Semantics of ATL Using Rewriting Logic (Extended Version). Universidad de M\u00e1laga (2010), \n                    \n                      http:\/\/atenea.lcc.uma.es\/Descargas\/ATLinMaude.pdf"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"Bouhoula, A., Jouannaud, J.P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236(1), 35\u2013132 (2000)","journal-title":"Theoretical Computer Science"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 1\u201315. Springer, Heidelberg (2007)"},{"issue":"11\/12","key":"16_CR9","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Vallecillo, A., Dur\u00e1n, F.: Formal specification and analysis of domain specific languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International\u00a085(11\/12), 778\u2013792 (2009)","journal-title":"Simulation: Transactions of the Society for Modeling and Simulation International"},{"key":"16_CR10","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Representing UML models in mOdCL. Manuscript (2008), \n                    \n                      http:\/\/maude.lcc.uma.es\/mOdCL"},{"key":"16_CR11","unstructured":"di Ruscio, D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report 06.02, Laboratoire d\u2019Informatique de Nantes-Atlantique, Nantes, France (2006)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11841883_22","volume-title":"Graph Transformations","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Spoletini, P.: On the use of Alloy to analyze graph transformation systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"16_CR13","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of Model Transformations via Alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering, Verification and Validation, pp. 47\u201356 (2007)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-69927-9_15","volume-title":"Theory and Practice of Model Transformations","author":"I. Poernomo","year":"2008","unstructured":"Poernomo, I.: Proofs-as-model-transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 214\u2013228. Springer, Heidelberg (2008)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Handbook of graph grammars and computing by graph transformation, foundations, vol.\u00a0I, pp. 313\u2013400 (1997)","DOI":"10.1142\/9789812384720_0005"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: The PROGRES approach: language and environment. In: Handbook of graph grammars and computing by graph transformation: applications, languages, and tools, vol.\u00a02, pp. 487\u2013550 (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"16_CR17","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.\u00a05503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"key":"16_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-71070-7_27","volume-title":"Automated Reasoning","author":"F. Dur\u00e1n","year":"2008","unstructured":"Dur\u00e1n, F., Lucas, S., Meseguer, J.: MTT: The Maude Termination Tool (System Description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 313\u2013319. Springer, Heidelberg (2008)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of WRLA 2010","author":"F. Dur\u00e1n","year":"2010","unstructured":"Dur\u00e1n, F., Meseguer, J.: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. In: Proc. of WRLA 2010. LNCS, Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13688-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:10:50Z","timestamp":1619784650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13688-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136870","9783642136887"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13688-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}