{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:36Z","timestamp":1725551196955},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122606"},{"type":"electronic","value":"9783642122613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12261-3_2","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T10:28:06Z","timestamp":1270636086000},"page":"5-20","source":"Crossref","is-referenced-by-count":11,"title":["Catch Me If You Can \u2013 Debugging Support for Model Transformations"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Schoenboeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerti","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelika","family":"Kusel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Retschitzegger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wieland","family":"Schwinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: Proc. of SAC 2006 (2006)","DOI":"10.1145\/1141277.1141575"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Rumpe, B., Sch\u00fcrr, A., Tratt, L.: Model Transformations in Practice Workshop of MoDELS 2005, Montego Bay, Jamaica (2005)","DOI":"10.1007\/11663430_13"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-87875-9_4","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2008","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 53\u201367. Springer, Heidelberg (2008)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF00120882","volume":"20","author":"P. Brna","year":"1991","unstructured":"Brna, P., Brayshaw, M., Esom-Cook, M., Fung, P., Bundy, A., Dodd, T.: An Overview of Prolog Debugging Tools. Instructional Science\u00a020(2), 193\u2013214 (1991)","journal-title":"Instructional Science"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based Survey of Model Transformation Approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: Translating Model Simulators to Analysis Models. In: Proc. of 11th Int. Conf. on Fundamental Approaches to Software Engineering, Budapest, Hungary, April 2008, pp. 77\u201392 (2008)","DOI":"10.1007\/978-3-540-78743-3_6"},{"key":"2_CR7","unstructured":"Geiger, L.: Model Level Debugging with Fujaba. In: Proc. of 6th Int. Fujaba Days, Dresden, Germany, September 2008, pp. 23\u201328 (2008)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/978-3-540-75209-7_40","volume-title":"Model Driven Engineering Languages and Systems","author":"M.T. Hibberd","year":"2007","unstructured":"Hibberd, M.T., Lawley, M.J., Raymond, K.: Forensic Debugging of Model Transformations. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 589\u2013604. Springer, Heidelberg (2007)"},{"key":"2_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets - Modeling and Validation of Concurrent Systems","author":"K. Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modeling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"2_CR12","unstructured":"Koenigs, A.: Model Transformation with TGGs. In: Proc. of Model Transformations in Practice Workshop of MoDELS 2005, Montego Bay, Jamaica (2005)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-69108-1_7","volume-title":"Application and Theory of Petri Nets 1998","author":"L. Kristensen","year":"1998","unstructured":"Kristensen, L., Valmari, A.: Finding Stubborn Sets of Coloured Petri Nets without Unfolding. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 104\u2013123. Springer, Heidelberg (1998)"},{"key":"2_CR14","unstructured":"Kusel, A.: TROPIC - A Framework for Building Reusable Transformation Components. In: Proc. of the Doctoral Symposium at MoDELS, Technical Report 2009-566, School of Computing, Queen\u2019s University, Kingston, Canada (2009)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11663430_15","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Lawley","year":"2006","unstructured":"Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 139\u2013150. Springer, Heidelberg (2006)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE\u00a077(4) (1989)","DOI":"10.1109\/5.24143"},{"key":"2_CR17","unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (2007), http:\/\/www.omg.org\/docs\/ptc\/07-07-07.pdf"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-00434-6_15","volume-title":"Software Language Engineering","author":"B. Sch\u00e4tz","year":"2009","unstructured":"Sch\u00e4tz, B.: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 227\u2013244. Springer, Heidelberg (2009)"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2003","unstructured":"Varr\u00f3, D.: Automated Formal Verification of Visual Modeling Languages by Model Checking. Journal of Software and Systems Modelling\u00a03(2), 85\u2013113 (2003)","journal-title":"Journal of Software and Systems Modelling"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination Analysis of Model Transformation by Petri Nets. In: Proc. of Int. Conf. on Graph Transformation, Natal, Brazil, pp. 260\u2013274 (2006)","DOI":"10.1007\/11841883_19"},{"key":"2_CR21","unstructured":"Wagner, R.: Developing Model Transformations with Fujaba. In: Proc. of the 4th Int. Fujaba Days 2006, Bayreuth, Germany, pp. 79\u201382 (2006)"},{"key":"2_CR22","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Right or Wrong? - Verification of Model Transformations using Colored Petri Nets. In: Proc. of 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, USA (2009)"},{"key":"2_CR23","doi-asserted-by":"crossref","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: Proc. of the 24th Int. Conf. on ASE 2009, pp. 1\u201312 (2009)","DOI":"10.1109\/ASE.2009.99"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kusel, A., Reiter, T., Retschitzegger, W., Schwinger, W., Kappel, G.: Lost in Translation? Transformation Nets to the Rescue! In: Proc. of 3rd Int. United Information Systems Conf., Sydney, Australia, pp. 315\u2013327 (2009)","DOI":"10.1007\/978-3-642-01112-2_33"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12261-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:52:04Z","timestamp":1606186324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12261-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122606","9783642122613"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12261-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}