{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:52:24Z","timestamp":1725537144376},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041631"},{"type":"electronic","value":"9783642041648"}],"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-04164-8_8","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T16:10:48Z","timestamp":1252944648000},"page":"140-161","source":"Crossref","is-referenced-by-count":11,"title":["On the Specification and Verification of Model Transformations"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"FASE 2009","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":"8_CR2","doi-asserted-by":"crossref","unstructured":"Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a multi-modelling language? In: WADT 2008 (2008)","DOI":"10.1007\/978-3-642-03429-9_6"},{"key":"8_CR3","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-2","key":"8_CR4","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. Theor. Comput. Sci.\u00a0236(1-2), 35\u2013132 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-540-87405-8_29","volume-title":"Graph Transformations","author":"J. Lara de","year":"2008","unstructured":"de Lara, J., Guerra, E.: Pattern-based model-to-model transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 426\u2013441. Springer, Heidelberg (2008)"},{"key":"8_CR7","first-page":"129","volume":"44","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Baldamus, M., Orejas, F.: Amalgamation and extension in the framework of specification logics and generalized morphisms. Bulletin of the EATCS\u00a044, 129\u2013143 (1991)","journal-title":"Bulletin of the EATCS"},{"key":"8_CR8","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":"8_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-95486-3_7","volume-title":"The Book of L","author":"H. Ehrig","year":"1986","unstructured":"Ehrig, H., Habel, A.: Graph grammars with application conditions. In: Rozenberg, G., Salomaa, A. (eds.) The Book of L, pp. 87\u2013100. Springer, Heidelberg (1986)"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BFb0015747","volume-title":"Automata, Languages and Programming","author":"J.A. Goguen","year":"1985","unstructured":"Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Operational semantics for order-sorted algebra. In: Brauer, W. (ed.) ICALP 1985. LNCS, vol.\u00a0194, pp. 221\u2013231. Springer, Heidelberg (1985)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-05118-0","volume-title":"ICMT 2009","author":"E. Guerra","year":"2009","unstructured":"Guerra, E., de Lara, J., Orejas, F.: Pattern-based model-to-model transformation: Handling attribute conditions. In: ICMT 2009. LNCS. Springer, Heidelberg (accepted, 2009)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informatica 287\u2013313 (1996)","DOI":"10.3233\/FI-1996-263404"},{"key":"8_CR14","unstructured":"Habel, A., Pennemann, K.-H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. in Comp. Sc. (to appear)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. ENTCS, 2 (1995)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: Graph-based specification of access control policies. J. Comput. Syst. Sci, 1\u201333 (2005)","DOI":"10.1016\/j.jcss.2004.11.002"},{"key":"8_CR17","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":"8_CR18","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Unified algebras. In: ADT (1988)","DOI":"10.7146\/dpb.v17i266.7620"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Unified algebras and institutions. In: LICS 1989, pp. 304\u2013312 (1989)","DOI":"10.1109\/LICS.1989.39185"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Unified algebras and modules. In: Sixteenth Annual ACM Symposium on Principles of Programming Languages, POPL 1989, pp. 329\u2013343 (1989)","DOI":"10.1145\/75277.75306"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-87405-8_19","volume-title":"Graph Transformations","author":"F. Orejas","year":"2008","unstructured":"Orejas, F.: Attributed graph constraints. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 274\u2013288. Springer, Heidelberg (2008)"},{"key":"8_CR22","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":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/978-3-642-03741-2_26","volume-title":"CALCO 2009","author":"F. Orejas","year":"2009","unstructured":"Orejas, F., Guerra, E., de Lara, J., Ehrig, H.: Correctness, completeness and termination of pattern-based model-to-model transformation. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 383\u2013397. Springer, Heidelberg (2009)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-87405-8_20","volume-title":"Graph Transformations","author":"K.-H. Pennemann","year":"2008","unstructured":"Pennemann, K.-H.: Resolution-like theorem proving for high-level condition. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 289\u2013304. Springer, Heidelberg (2008)"},{"key":"8_CR25","unstructured":"QVT (2005), http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-87405-8_17","volume-title":"Graph Transformations","author":"G. Rangel","year":"2008","unstructured":"Rangel, G., Lambers, L., K\u00f6nig, B., Ehrig, H., Baldan, P.: Behavior preservation in model refactoring using DPO transformations with borrowed contexts. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 242\u2013256. Springer, Heidelberg (2008)"},{"key":"8_CR27","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","Semantics and Algebraic Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04164-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T05:10:11Z","timestamp":1590124211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04164-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041631","9783642041648"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04164-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}