{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T15:43:15Z","timestamp":1785512595435,"version":"3.56.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,3,4]],"date-time":"2011-03-04T00:00:00Z","timestamp":1299196800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10009-011-0186-x","type":"journal-article","created":{"date-parts":[[2011,3,4]],"date-time":"2011-03-04T03:25:31Z","timestamp":1299209131000},"page":"15-40","source":"Crossref","is-referenced-by-count":125,"title":["Modelling and analysis using GROOVE"],"prefix":"10.1007","volume":"14","author":[{"given":"Amir Hossein","family":"Ghamarian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maarten","family":"de Mol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eduardo","family":"Zambon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Zimakova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,3,4]]},"reference":[{"key":"186_CR1","doi-asserted-by":"crossref","unstructured":"Aksit, M., Rensink, A., Staijen, T.: A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In: AOSD \u201909, Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, pp 39\u201350. ACM, New York, NY, USA (2009)","DOI":"10.1145\/1509239.1509247"},{"issue":"03","key":"186_CR2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab F.: Reo: A channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(03), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"186_CR3","unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: great. In: Proceedings of the Third International Workshop on Graph Based Tools (GraBaTs 2006). ECEASST., vol. 1. EASST (2006)"},{"key":"186_CR4","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G., (eds.) International Conference on Graph Transformations (ICGT). LNCS., vol. 5214. pp 396\u2013410. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87405-8_27"},{"issue":"5","key":"186_CR5","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/359104.359108","volume":"22","author":"E. Chang","year":"1979","unstructured":"Chang E., Roberts R.: An improved algorithm for decentralized extrema-finding in circular configurations of processes. Comm. ACM 22(5), 281\u2013283 (1979)","journal-title":"Comm. ACM"},{"key":"186_CR6","doi-asserted-by":"crossref","unstructured":"Ciraci, S., van den Broek, P., Aksit, M.: Framework for computer-aided evolution of object-oriented designs. In: 32nd Annual IEEE International Computer Software and Applications. COMPSAC \u201908, pp 757\u2013764 (2008)","DOI":"10.1109\/COMPSAC.2008.46"},{"issue":"3","key":"186_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1481506.1481510","volume":"36","author":"P. Crouzen","year":"2008","unstructured":"Crouzen P., van de Pol J.C., Rensink A.: Applying formal methods to gossiping networks with mCRL and groove. ACM SIGMETRICS Perform. Eval. Rev. 36(3), 7\u201316 (2008)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"186_CR8","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: atom3 : a tool for multi-formalism and meta-modeling. In: Fundamental Approaches to Software Engineering (FASE). LNCS., vol. 2306, pp 174\u2013188 (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"key":"186_CR9","unstructured":"de Mol, M.J., Zimakova, M.V.: A groove solution for the bpmn to bpel model transformation. Technical Report TR-CTIT-09-31, Centre for Telematics and Information Technology, University of Twente, Enschede (2009)"},{"key":"186_CR10","unstructured":"Dikmans, L.: Transforming bpmn into bpel: Why and How. Oracle Technology Network (2008). http:\/\/www.oracle.com\/technology\/pub\/articles\/dikmans-bpm.html"},{"key":"186_CR11","unstructured":"Dimkov, T.: Portunes security framework. http:\/\/sourceforge.net\/projects\/portunes\/"},{"key":"186_CR12","doi-asserted-by":"crossref","unstructured":"Dimkov, T., Pieters, W. P. H.: Portunes: representing attack scenarios spanning through the physical, digital and social domain. In: ARSPA-WITS, Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16074-5_9"},{"key":"186_CR13","doi-asserted-by":"crossref","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. B.S., ed.: Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), pp 323\u2013337. Springer, Berlin (2000)","DOI":"10.1007\/3-540-40011-7_23"},{"key":"186_CR14","unstructured":"The FUJABA Toolsuite. (2006). http:\/\/www.fujaba.de"},{"key":"186_CR15","doi-asserted-by":"crossref","unstructured":"Geiger, L., Z\u00fcndorf, A.: FUJABA case studies for GraBaTs 2008\u2014lessons learned. Software Tools for Technology Transfer. STTT 12(3\u20134), pp 287\u2013304 (2010)","DOI":"10.1007\/s10009-010-0152-z"},{"key":"186_CR16","doi-asserted-by":"crossref","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) International Conference on Graph Transformations (ICGT). LNCS, vol. 4178, pp 383\u2013397. Springer, Berlin (2006)","DOI":"10.1007\/11841883_27"},{"key":"186_CR17","unstructured":"5th International Workshop on Graph-Based Tools (the contest). (2009). http:\/\/is.ieis.tue.nl\/staff\/pvgorp\/events\/grabats2009\/ ."},{"key":"186_CR18","unstructured":"Hausmann, J.H.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, University of Paderborn, Germany (2005)"},{"issue":"1","key":"186_CR19","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.entcs.2005.12.018","volume":"148","author":"R. Heckel","year":"2006","unstructured":"Heckel R.: Graph transformation in a nutshell. Electr. Notes Theor. Comput. Sci. 148(1), 187\u2013198 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"186_CR20","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, \u00c1., Bergmann, G., R\u00e1th, I., Varr\u00f3, D.: Experimental assessment of combining pattern matching strategies with VIATRA. Software Tools for Technology Transfer. STTT 12(3\u20134), pp 211\u2013230 (2010)","DOI":"10.1007\/s10009-010-0149-7"},{"key":"186_CR21","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, G., Varr\u00f3, D.: Generic search plans for matching advanced graph patterns. In: Ehrig, K., Giese, H. (eds) Graph Transformation and Visual Modelling Techniques (GT-VMT). Electronic Communications of the EASST, vol. 6 (2007)"},{"key":"186_CR22","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Kleppe, A., Rensink, A.: Defining object-oriented execution semantics using graph transformations. In: Gorrieri R., Wehrheim H. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS). LNCS, vol. 4037, pp. 186\u2013201. Springer, Berlin (2006)","DOI":"10.1007\/11768869_15"},{"key":"186_CR23","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, B., Kozioura, V. (2008) augur\u2014a new version of a tool for the analysis of graph transformation systems. ENTCS 211 201\u2013210","DOI":"10.1016\/j.entcs.2008.04.042"},{"issue":"1","key":"186_CR24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.scico.2009.10.006","volume":"76","author":"C. Krause","year":"2011","unstructured":"Krause C., Maraikar Z., Lazovik A., Arbab F.: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1), 23\u201336 (2011)","journal-title":"Sci. Comput. Program."},{"key":"186_CR25","doi-asserted-by":"crossref","unstructured":"M\u00e9sz\u00e1ros, T., Mezei, G., Levendovszky, T., Asztalos, M.: Manual and automated performance optimization of model transformation systems. Software Tools for Technology Transfer. STTT 12(3\u20134), pp 231\u2013243 (2010)","DOI":"10.1007\/s10009-010-0151-0"},{"key":"186_CR26","unstructured":"Object Management Group: Business Process Model and Notation, V1.2 (2009). http:\/\/www.omg.org\/spec\/BPMN\/1.2\/"},{"key":"186_CR27","unstructured":"Organization for the Advancement of Structured Information Standards: Web Services Business Process Execution Language, V2.0 (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-2.0.pdf"},{"key":"186_CR28","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A., van der Aalst, W.: Pattern-based translation of bpmn process models to bpel web services. Int. J Web Serv. Res. (JWSR) 5(1), (2008)","DOI":"10.4018\/jwsr.2008010103"},{"key":"186_CR29","unstructured":"Ouyang, C., van der Aalst, W., Dumas, M., ter Hofstede, A.: Translating bpmn to bpel. Quensland University of Technology, Brisbase, Australia. E-Print, revised version (2006). http:\/\/eprints.qut.edu.au\/5266\/"},{"key":"186_CR30","unstructured":"Rensink, A.: The groove simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B., (eds.) Applications of Graph Transformations with Industrial Relevance, (AGTIVE). LNCS, vol. 3062, pp. 479\u2013485, Springer, Berlin (2004). http:\/\/sourceforge.net\/projects\/groove ."},{"key":"186_CR31","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H.,Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) International Conference on Graph Transformations (ICGT). LNCS, vol. 3256, pp. 319\u2013335. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30203-2_23"},{"key":"186_CR32","doi-asserted-by":"crossref","unstructured":"Rensink, A., Distefano, D.S.: Abstract graph transformation. In: Mukhopadhyay, S., Roychoudhury, A., Yang, Z. (eds.) Software Verification and Validation, Manchester. Electronic Notes in Theoretical Computer Science, vol. 157, pp. 39\u201359. Elsevier (2006)","DOI":"10.1016\/j.entcs.2006.01.022"},{"key":"186_CR33","unstructured":"Rensink, A., Kuperus, J.H.: Repotting the geraniums: on nested graph transformation rules. In: Boronat, A., Heckel, R. (eds.) Graph transformation and visual modelling techniques (GT-VMT). Electronic Communications of the EASST., EASST, vol. 18 (2009)"},{"issue":"3\u20134","key":"186_CR34","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10009-010-0157-7","volume":"12","author":"A. Rensink","year":"2010","unstructured":"Rensink A., Van Gorp P.: Graph transformation tool contest 2008. Software Tools for Technology Transfer. STTT 12(3\u20134), 171\u2013181 (2010)","journal-title":"Software Tools for Technology Transfer. STTT"},{"key":"186_CR35","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: The PROGRES approach: language and environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of graph grammars and computing by graph transformation: applications, languages, and tools. vol. 2, pp. 487\u2013550. World Scientific Publishing Co., Inc., (1999)"},{"key":"186_CR36","doi-asserted-by":"crossref","unstructured":"Smelik, R., Rensink, A., Kastenberg, H.: Specification and construction of control flow semantics. In: Grundy, J., Howse, J., eds.: Visual Languages and Human-Centric Computing (VL\/HCC), pp. 65\u201372. IEEE Computer Society Press, Brighton, UK, Los Alamitos (2006)","DOI":"10.1109\/VLHCC.2006.45"},{"key":"186_CR37","unstructured":"Soltenborn, C.: Analysis of uml Workflow diagrams with dynamic Meta Modeling Techniques. Master\u2019s thesis, University of Paderborn, Germany (2006)"},{"key":"186_CR38","unstructured":"Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Applications of Graph Transformations with Industrial Relevance, (AGTIVE). LNCS, vol. 3062, Springer (2004) 446\u2013453"},{"key":"186_CR39","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Progr. 68(3), 187\u2013207 (2007). http:\/\/www.eclipse.org\/gmt\/VIATRA2\/ ."},{"issue":"2","key":"186_CR40","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser W., Havelund K., Brat G.P., Park S.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"186_CR41","unstructured":"Visual Modeling and Transformation System (2008). http:\/\/www.aut.bme.hu\/Portal\/Vmts.aspx?lang=en ."},{"key":"186_CR42","unstructured":"W3C: XSL Transformations (XSLT), V1.0, Recommendation. (1999). See http:\/\/www.w3.org\/TR\/xslt ."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0186-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-011-0186-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0186-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T20:20:27Z","timestamp":1560025227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-011-0186-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,4]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["186"],"URL":"https:\/\/doi.org\/10.1007\/s10009-011-0186-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,4]]}}}