{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T23:40:01Z","timestamp":1745192401137,"version":"3.40.4"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,11,16]],"date-time":"2012-11-16T00:00:00Z","timestamp":1353024000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10270-012-0292-6","type":"journal-article","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T16:01:39Z","timestamp":1352995299000},"page":"1447-1472","source":"Crossref","is-referenced-by-count":5,"title":["Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets"],"prefix":"10.1007","volume":"13","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,11,16]]},"reference":[{"key":"292_CR1","doi-asserted-by":"crossref","unstructured":"Barkaoui, K., Dutheillet, C., Haddad, S.: An efficient algorithm for finding structural deadlocks in colored Petri nets. In: APN\u201993, pp. 69\u201388 (1993)","DOI":"10.1007\/3-540-56863-8_41"},{"key":"292_CR2","unstructured":"Boronat, A.: MOMENT: A formal framework for MOdel managemMENT. PhD thesis, Universitat Polit\u00e9cnica de Valencia (2007). http:\/\/moment.dsic.upv.es\/content\/view\/34\/75\/ . Accessed Nov 2010"},{"key":"292_CR3","doi-asserted-by":"crossref","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Algebraic specification of a model transformation engine. In: FASE\u201906. LNCS, vol. 3922, pp. 262\u2013277. Springer, Berlin (2006)","DOI":"10.1007\/11693017_20"},{"key":"292_CR4","doi-asserted-by":"crossref","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: FASE\u201909. LNCS, vol. 5503, pp. 18\u201333. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00593-0_2"},{"issue":"2","key":"292_CR5","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"292_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured Petri nets exploiting strongly connected components. In: WODES\u201996, pp. 169\u2013177 (1996)","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"292_CR7","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"292_CR8","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L. (eds.): All About Maude\u2014A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Berlin (2007)"},{"key":"292_CR9","unstructured":"Colouring. http:\/\/astreo.ii.uam.es\/~eguerra\/tools\/colouring\/main.htm . Accessed July 2011"},{"key":"292_CR10","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Formal support for QVT-Relations with coloured Petri nets. In: MoDELS\u201909. LNCS, vol. 5795, pp. 256\u2013270. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_19"},{"key":"292_CR11","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, Berlin (2006)"},{"key":"292_CR12","doi-asserted-by":"crossref","unstructured":"Evangelista, S., Haddad, S., Pradat, J.-F.: Syntactical colored Petri nets reductions. In: ATVA\u201905. LNCS, vol. 3707, pp. 202\u2013216. Springer, Berlin (2005)","DOI":"10.1007\/11562948_17"},{"key":"292_CR13","unstructured":"Fujaba. http:\/\/www.fujaba.de\/ . Accessed Nov 2010"},{"key":"292_CR14","unstructured":"Garc\u00eda, M.: Formalization of QVT-Relations: OCL-based static semantics and alloy-based validation. In: MDSD Today, pp. 21\u201330. Shaker Verlag (2008)"},{"key":"292_CR15","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing Query\/View\/Transformation with triple graph grammars. Softw. Syst. Model. 9(1), 21\u201346 (2010)","DOI":"10.1007\/s10270-009-0121-8"},{"key":"292_CR16","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Orejas, F.: Inter-modelling with patterns. Softw. Syst. Model (2011, in press)","DOI":"10.1007\/s10270-011-0192-1"},{"key":"292_CR17","doi-asserted-by":"crossref","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: ICGT. LNCS, vol. 2505, pp. 161\u2013176. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45832-8_14"},{"key":"292_CR18","volume-title":"Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science","author":"K Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. Springer, Berlin (1997)"},{"key":"292_CR19","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. STTT 9(3\u20134):213\u2013254 (2007). http:\/\/cpntools.org . Accessed July 2011"},{"key":"292_CR20","unstructured":"JET. http:\/\/www.eclipse.org\/modeling\/m2t\/?project=jet . Access- ed Accessed Nov 2010"},{"key":"292_CR21","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008). http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Main_Page . Accessed Nov 2010"},{"key":"292_CR22","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: OOPSLA\u201906, pp. 719\u2013720. ACM, New York (2006)","DOI":"10.1145\/1176617.1176691"},{"key":"292_CR23","unstructured":"Jouault, F., Kurtev, I.: On the architectural alignment of ATL and QVT. In: SAC\u201906, pp. 1188\u20131195 (2006). http:\/\/www.eclipse.org\/m2m\/atl\/usecases\/QVT2ATLVM\/"},{"key":"292_CR24","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S.: Establishing correspondences between models with the Epsilon Comparison Language. In: ECMDA-FA\u201909. LNCS, vol. 5562, pp. 146\u2013157. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_11"},{"key":"292_CR25","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: Merging models with the Epsilon Merging Language (EML). In: MoDELS\u201906. LNCS, vol. 4199, pp. 215\u2013229. Springer, Berlin (2006)","DOI":"10.1007\/11880240_16"},{"key":"292_CR26","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Transformation Language. In: ICMT\u201908. LNCS, vol. 5063, pp. 46\u201360. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"292_CR27","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Ruscio, D.D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: CVSM\u201909, pp. 1\u20136. IEEE CS (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"issue":"1","key":"292_CR28","first-page":"113","volume":"148","author":"A K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars: a survey. ENTCS 148(1), 113\u2013150 (2006)","journal-title":"ENTCS"},{"issue":"3","key":"292_CR29","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"LH Landweber","year":"1978","unstructured":"Landweber, L.H., Robertson, E.L.: Properties of conflict-free and persistent Petri nets. J. ACM 25(3), 352\u2013364 (1978)","journal-title":"J. ACM"},{"key":"292_CR30","unstructured":"Lucas, F.J., \u00c1lvarez, J.A.T.: Model transformations powered by rewriting logic. In: CAiSE Forum. CEUR Proceedings, vol. 344, pp. 41\u201344 (2008)"},{"key":"292_CR31","unstructured":"MediniQVT. http:\/\/projects.ikv.de\/qvt\/ . Accessed Nov 2010"},{"key":"292_CR32","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled. Addison-Wesley Object Technology Series (2004)"},{"key":"292_CR33","unstructured":"ModelMorf. http:\/\/www.tcs-trddc.com\/trddc_website\/scripts\/project_detail.php?lab=SWRD&project_id=44 . Accessed Nov 2010"},{"key":"292_CR34","unstructured":"MOFLON. http:\/\/www.moflon.org\/ . Accessed: Nov 2010"},{"key":"292_CR35","doi-asserted-by":"crossref","unstructured":"Ohta, A., Tsuji, K.: On some analysis properties of colored Petri net using underlying net. In: MWSCAS\u201904, vol. 3, pp. 395\u2013398. IEEE CS (2004)","DOI":"10.1109\/MWSCAS.2004.1354378"},{"key":"292_CR36","doi-asserted-by":"crossref","unstructured":"Petter, A., Behring, A., M\u00fchlh\u00e4user, M.: Solving constraints in model transformations. In: ICMT\u201909. LNCS, vol. 5563, pp. 132\u2013147. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02408-5_10"},{"key":"292_CR37","unstructured":"QVT1.1. http:\/\/www.omg.org\/spec\/QVT\/ . Accessed May 2012, 2011"},{"key":"292_CR38","doi-asserted-by":"crossref","unstructured":"Romeikat, R., Roser, S., M\u00fcllender, P., Bauer, B.: Translation of QVT relations into QVT operational mappings. In: ICMT\u201908. LNCS, vol. 5063, pp. 137\u2013151. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_10"},{"key":"292_CR39","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: WG\u201994. LNCS, vol. 903, pp. 151\u2013163. Springer, Berlin (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"292_CR40","unstructured":"SmartQVT. http:\/\/sourceforge.net\/projects\/smartqvt\/ . Accessed June 2010"},{"key":"292_CR41","unstructured":"Stahl, T., Volter, M.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, New York (2006)"},{"key":"292_CR42","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional (2008). http:\/\/www.eclipse.org\/modeling\/emf\/ . Accessed: Nov 2010"},{"key":"292_CR43","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT relations. Softw. Syst. Model (2012, in press)","DOI":"10.1007\/s10270-011-0198-8"},{"key":"292_CR44","doi-asserted-by":"crossref","unstructured":"van Amstel, M., Bosems, S., Kurtev, I., Pires, L.F.: Performance in model transformations: experiments with ATL and QVT. In: ICMT\u201911. LNCS, vol. 6707, pp. 198\u2013212. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21732-6_14"},{"key":"292_CR45","unstructured":"Wimmer, M., Kappel, G., Sch\u00f6nb\u00f6ck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A Petri net based debugging environment for QVT relations. In: ASE\u201909, pp. 3\u201314. IEEE CS (2009). http:\/\/www.modeltransformation.net\/ . Accessed Nov 2010"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0292-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0292-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0292-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T23:11:25Z","timestamp":1745190685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0292-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,16]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["292"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0292-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,11,16]]}}}