{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:51:45Z","timestamp":1725529905611},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004339"},{"type":"electronic","value":"9783642004346"}],"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-00434-6_5","type":"book-chapter","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T08:02:29Z","timestamp":1237795349000},"page":"54-73","source":"Crossref","is-referenced-by-count":20,"title":["Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Eduardo","family":"Rivera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_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":"5_CR2","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"issue":"3\u20134","key":"5_CR3","first-page":"309","volume":"15","author":"J. Lara de","year":"2006","unstructured":"de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. Journal of Visual Languages and Computing\u00a015(3\u20134), 309\u2013330 (2006)","journal-title":"Journal of Visual Languages and Computing"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"unstructured":"Vallecillo, A.: A journey through the secret life of models. In: Model Engineering of Complex Systems (MECS). Number 08331 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany (2008), \n                      \n                        http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2008\/1601","key":"5_CR5"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"},{"key":"5_CR7","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":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-69927-9_16","volume-title":"Theory and Practice of Model Transformations","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Analysing graph transformation rules through OCL. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 229\u2013244. Springer, Heidelberg (2008)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78743-3_6","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2008","unstructured":"de Lara, J., Vangheluwe, H.: Translating model simulators to analysis models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 77\u201392. Springer, Heidelberg (2008)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Software and System Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Software and System Modeling"},{"key":"5_CR11","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":"5_CR12","first-page":"169","volume-title":"Proc. of EDOC 2007","author":"J.E. Rivera","year":"2007","unstructured":"Rivera, J.E., Vallecillo, A.: Adding behavioral semantics to models. In: Proc. of EDOC 2007, pp. 169\u2013180. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"9","key":"5_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.5381\/jot.2007.6.9.a10","volume":"6","author":"J.R. Romero","year":"2007","unstructured":"Romero, J.R., Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology\u00a06(9), 187\u2013207 (2007)","journal-title":"Journal of Object Technology"},{"key":"5_CR14","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":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/11841883_30","volume-title":"Graph Transformations","author":"A. Habel","year":"2006","unstructured":"Habel, A., Pennemann, K.: Satisfiability of high-level conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 430\u2013444. Springer, Heidelberg (2006)"},{"issue":"3","key":"5_CR16","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J. Lara de","year":"2007","unstructured":"de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theoretical Computer Science\u00a0376(3), 139\u2013163 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoretical Computer Science\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"unstructured":"Rivera, J.E., Vallecillo, A., Dur\u00e1n, F.: Formal specification and analysis of Domain Specific Languages using Maude. Technical report, Universidad de M\u00e1laga (2008), \n                      \n                        http:\/\/atenea.lcc.uma.es\/images\/e\/eb\/AnalysingModels.pdf","key":"5_CR18"},{"key":"5_CR19","series-title":"ENTCS","first-page":"115","volume-title":"Proc. WRLA 2002","author":"S. Eker","year":"2002","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Proc. WRLA 2002, Pisa, Italy. ENTCS, vol.\u00a071, pp. 115\u2013142. Elsevier, Amsterdam (2002)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45085-6_2","volume-title":"Automated Deduction \u2013 CADE-19","author":"J. Meseguer","year":"2003","unstructured":"Meseguer, J., Palomino, M., Mart\u00ed-Oliet, N.: Equational abstractions. In: Baader, F. (ed.) CADE 2003. LNCS, vol.\u00a02741, pp. 2\u201316. Springer, Heidelberg (2003)"},{"issue":"10","key":"5_CR21","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: What\u2019s the semantics of \u201csemantics\u201d? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-68679-8_8","volume-title":"Concurrency, Graphs and Models","author":"A. Rensink","year":"2008","unstructured":"Rensink, A.: Explicit state model checking for graph grammars. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 114\u2013132. Springer, Heidelberg (2008)"},{"unstructured":"S\u00e1ez, J., Toval, A., Fern\u00e1ndez Alem\u00e1n, J.L.: Tool support for transforming UML models to a formal language. In: Proc. of WTUML 2001, pp. 111\u2013115 (2001)","key":"5_CR24"},{"unstructured":"The MOVA Group: The MOVA tool: a validation tool for UML (2006), \n                      \n                        http:\/\/maude.sip.ucm.es\/mova\/","key":"5_CR25"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/11581741_23","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"A. Boronat","year":"2005","unstructured":"Boronat, A., Cars\u00ed, J.\u00c1., Ramos, I.: Automatic support for traceability in a generic model management framework. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 316\u2013330. Springer, Heidelberg (2005)"},{"unstructured":"The ISSI Research Group: MOMENT (2008), \n                      \n                        http:\/\/moment.dsic.upv.es","key":"5_CR27"},{"unstructured":"Ruscio, D.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 (LINA), Nantes, France (2006)","key":"5_CR28"},{"key":"5_CR29","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":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-540-73859-6_12","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Hendrix, J., Lucas, S., Meseguer, J., \u00d6lveczky, P.C.: The maude formal tool environment. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 173\u2013178. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00434-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T00:23:40Z","timestamp":1551918220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00434-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004339","9783642004346"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00434-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}