{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:15Z","timestamp":1761597135271},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005923"},{"type":"electronic","value":"9783642005930"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00593-0_2","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T06:26:08Z","timestamp":1238135168000},"page":"18-33","source":"Crossref","is-referenced-by-count":35,"title":["Rewriting Logic Semantics and Verification of Model Transformations"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1142\/4180","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Montanari, U., Kreowski, H.J., Rozenberg, G., Kreowski, H.J.: Handbook of Graph Grammars and Computing by Graph Transformations, vol.\u00a03. World Scientific Publishing Company, Singapore (1999)"},{"key":"2_CR3","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification (ptc\/06-01-01) (2006)"},{"key":"2_CR4","unstructured":"ATLAS Group: ATL web site (2008), http:\/\/www.eclipse.org\/m2m\/atl\/"},{"key":"2_CR5","unstructured":"OMG: MOF 2.0 QVT final adopted specification (ptc\/07-07-07) (2007)"},{"key":"2_CR6","doi-asserted-by":"publisher","DOI":"10.1142\/4180","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J.: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02. World Scientific Publishing Company, Singapore (1999)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_4","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2008","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301. Springer, Heidelberg (2008)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci.\u00a0152, 125\u2013142 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR9","unstructured":"Boronat, A.: MOMENT: a formal framework for MOdel manageMENT. PhD in Computer Science, Universitat Polit\u00e8nica de Val\u00e8ncia (UPV), Spain (2007), http:\/\/www.cs.le.ac.uk\/~aboronat\/papers\/2007_thesis_ArturBoronat.pdf"},{"key":"2_CR10","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)"},{"issue":"1","key":"2_CR11","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":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Astesiano, E. (ed.) ETAPS 1998. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"2_CR14","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":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-61604-7_64","volume-title":"CONCUR \u201996: Concurrency Theory","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J.: Rewriting logic as a semantic framework for concurrency: a progress report. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 331\u2013372. Springer, Heidelberg (1996)"},{"key":"2_CR16","unstructured":"Boronat, A., Meseguer, J.: Algebraic Semantics of OCL-constrained Metamodel Specifications. Technical Report UIUCDCS-R-2008-2995, UIUC (2008), http:\/\/www.cs.uiuc.edu\/research\/techreports.php?report=UIUCDCS-R-2008-2995"},{"key":"2_CR17","unstructured":"Eclipse Organization: The Eclipse Modeling Framework (2007), http:\/\/www.eclipse.org\/emf\/"},{"key":"2_CR18","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for MOF. Technical Report CS-08-005, University of Leicester (2008), http:\/\/www.cs.le.ac.uk\/people\/aboronat\/papers\/boMe-mof-apps.pdf"},{"key":"2_CR19","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting Logic Semantics and Verification of Model Transformations. Technical Report CS-08-004, University of Leicester (2008), http:\/\/www.cs.le.ac.uk\/people\/aboronat\/papers\/boHeMe-rl-mt.pdf"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"Bauderon, M., Courcelle, B.: Graph expressions and graph rewriting. Math. Systems Theory\u00a020, 83\u2013127 (1987)","journal-title":"Math. Systems Theory"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/BFb0013469","volume-title":"Category Theory and Computer Science","author":"A. Corradini","year":"1991","unstructured":"Corradini, A., Montanari, U.: An algebra of graphs and graph rewriting. In: Curien, P.-L., Pitt, D.H., Pitts, A.M., Poign\u00e9, A., Rydeheard, D.E., Abramsky, S. (eds.) CTCS 1991. LNCS, vol.\u00a0530, pp. 236\u2013260. Springer, Heidelberg (1991)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/3-540-57787-4_20","volume-title":"Graph Transformations in Computer Science","author":"J.C. Raoult","year":"1994","unstructured":"Raoult, J.C., Voisin, F.: Set-theoretic graph rewriting. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol.\u00a0776, pp. 312\u2013325. Springer, Heidelberg (1994)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"2_CR24","series-title":"ENTCS","first-page":"201","volume-title":"Augur\u00a02\u2014a new version of a tool for the analysis of graph transformation systems","author":"B. K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur\u00a02\u2014a new version of a tool for the analysis of graph transformation systems. ENTCS, vol.\u00a0211, pp. 201\u2013210. Elsevier, Amsterdam (2008)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-45221-8_8","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"\u00c1. Schmidt","year":"2003","unstructured":"Schmidt, \u00c1., Varr\u00f3, D.: CheckVML: A Tool for Model Checking Visual Modeling Languages. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 92\u201395. Springer, Heidelberg (2003)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with maude. In: SLE (2008)","DOI":"10.1007\/978-3-642-00434-6_5"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s10270-003-0047-5","volume":"3","author":"J. Lara de","year":"2004","unstructured":"de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in AToM $^{\\mbox{3}}$ . Software and System Modeling\u00a03(3), 194\u2013209 (2004)","journal-title":"Software and System Modeling"},{"key":"2_CR28","unstructured":"AGG Homepage (2008), http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Models in Software Engineering","author":"K. Anastasakis","year":"2008","unstructured":"Anastasakis, K., Bordbar, B., K\u00fcster, J.M.: Analysis of Model Transformations via Alloy. In: Giese, H. (ed.) MODELS 2008. LNCS, vol.\u00a05002. Springer, Heidelberg (2008)"},{"key":"2_CR30","unstructured":"MOMENT2 (2008), http:\/\/www.cs.le.ac.uk\/people\/aboronat\/tools\/moment2"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-78743-3_14","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Orejas","year":"2008","unstructured":"Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 179\u2013198. Springer, Heidelberg (2008)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00593-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:19:40Z","timestamp":1558225180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00593-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005923","9783642005930"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00593-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}