{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:57Z","timestamp":1762459557427,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319753959"},{"type":"electronic","value":"9783319753966"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75396-6_9","type":"book-chapter","created":{"date-parts":[[2018,2,5]],"date-time":"2018-02-05T21:33:53Z","timestamp":1517866433000},"page":"160-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The Verigraph System for Graph Transformation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3740-7002","authenticated-orcid":false,"given":"Guilherme Grochau","family":"Azzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8089-3691","authenticated-orcid":false,"given":"Jonas Santos","family":"Bezerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5894-9070","authenticated-orcid":false,"given":"Leonardo Marques","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,7]]},"reference":[{"key":"9_CR1","first-page":"281","volume":"192","author":"A Anjorin","year":"2011","unstructured":"Anjorin, A., Lauder, M., Patzina, S., Sch\u00fcrr, A.: eMoflon: leveraging EMF and professional CASE tools. Informatik 192, 281 (2011)","journal-title":"Informatik"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for In-Place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_9"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.entcs.2016.09.005","volume":"324","author":"JS Bezerra","year":"2016","unstructured":"Bezerra, J.S., Costa, A., Ribeiro, L., Cota, \u00c9.F.: Formal verification of health assessment tools: a case study. Electron. Notes Theor. Comput. Sci. 324, 31\u201350 (2016)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-15928-2_16","volume-title":"Graph Transformations","author":"B Braatz","year":"2010","unstructured":"Braatz, B., Ehrig, H., Gabriel, K., Golas, U.: Finitary M-adhesive categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 234\u2013249. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15928-2_16"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-21145-9_3","volume-title":"Graph Transformation","author":"A Corradini","year":"2015","unstructured":"Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L.: AGREE \u2013 algebraic graph rewriting with controlled embedding. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 35\u201351. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21145-9_3"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30\u201345. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11841883_4"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-319-49815-7_5","volume-title":"Formal Methods: Foundations and Applications","author":"A Costa","year":"2016","unstructured":"Costa, A., Bezerra, J., Azzi, G., Rodrigues, L., Becker, T.R., Herdt, R.G., Machado, R.: Verigraph: a system for specification and analysis of graph grammars. In: Ribeiro, L., Lecomte, T. (eds.) SBMF 2016. LNCS, vol. 10090, pp. 78\u201394. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49815-7_5"},{"key":"9_CR8","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","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. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: Switching and Automata Theory, pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"9_CR10","first-page":"111","volume":"102","author":"H Ehrig","year":"2010","unstructured":"Ehrig, H., Golas, U., Hermann, F., et al.: Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Bull. EATCS 102, 111\u2013121 (2010)","journal-title":"Bull. EATCS"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 144\u2013160. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_12"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11841883_27","volume-title":"Graph Transformations","author":"R Gei\u00df","year":"2006","unstructured":"Gei\u00df, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GrGen: a fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 383\u2013397. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11841883_27"},{"key":"9_CR13","first-page":"1","volume":"54","author":"L Klassen","year":"2012","unstructured":"Klassen, L., Wagner, R.: EMorF - a tool for model transformations. Electron. Commun. EASST 54, 1\u20136 (2012)","journal-title":"Electron. Commun. EASST"},{"issue":"3","key":"9_CR14","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. RAIRO - Theor. Inf. Appl. 39(3), 511\u2013545 (2005)","journal-title":"RAIRO - Theor. Inf. Appl."},{"key":"9_CR15","unstructured":"Lambers, L.: Certifying rule-based models using graph transformation. Ph.D. thesis, Elektrotechnik und Informatik der Technischen Universit\u00e4t Berlin (2010)"},{"key":"9_CR16","unstructured":"Machado, R.: Higher-order graph rewriting systems. Ph.D. thesis, Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul (2012)"},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2015.01.034","volume":"594","author":"R Machado","year":"2015","unstructured":"Machado, R., Ribeiro, L., Heckel, R.: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Theor. Comput. Sci. 594, 1\u201323 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.elecom.2007.10.004","volume":"10","author":"G Manning","year":"2008","unstructured":"Manning, G., Plump, D.: The GP programming system. Electron. Commun. EASST 10, 1\u201313 (2008)","journal-title":"Electron. Commun. EASST"},{"key":"9_CR19","unstructured":"Marlow, S.: Haskell 2010 language report (2010). https:\/\/www.haskell.org\/onlinereport\/haskell2010\/"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519\u2013522. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71209-1_40"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Poskitt, C.M.: Verification of graph programs. Ph.D. thesis, University of York (2013)","DOI":"10.1007\/978-3-642-33654-6_30"},{"key":"9_CR22","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\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479\u2013485. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_40"},{"key":"9_CR23","unstructured":"Ribeiro, L.: Parallel composition and unfolding semantics of graph grammars. Ph.D. thesis, Technical University of Berlin (1996)"},{"key":"9_CR24","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Volume 1, Foundations","author":"G Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation: Volume 1, Foundations. World Scientific Publishing Co., Inc., River Edge (1997)"},{"key":"9_CR25","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. 903, pp. 151\u2013163. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59071-4_45"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45104-8_41","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2000","unstructured":"Taentzer, G.: AGG: a tool environment for algebraic graph transformation. In: Nagl, M., Sch\u00fcrr, A., M\u00fcnch, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 481\u2013488. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45104-8_41"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation, Specifications, and Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75396-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T05:18:04Z","timestamp":1570684684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75396-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319753959","9783319753966"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75396-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}