{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:30:09Z","timestamp":1760783409442},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_4","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:57:17Z","timestamp":1307717837000},"page":"35-51","source":"Crossref","is-referenced-by-count":11,"title":["A Generic Tool for Tracing Executions Back to a DSML\u2019s Operational Semantics"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Combemale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Gonnord","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vlad","family":"Rusu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"14th APSEC","author":"R. Bendraou","year":"2007","unstructured":"Bendraou, R., Combemale, B., Cr\u00e9gut, X., Gervais, M.-P.: Definition of an eXecutable SPEM2.0. In: 14th APSEC. IEEE, Los Alamitos (2007)"},{"issue":"14","key":"4_CR2","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B. Berthomieu","year":"2004","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2013 construction of abstract state spaces for Petri nets and time Petri nets. Int. Journal of Production Research\u00a042(14), 2741\u20132756 (2004)","journal-title":"Int. Journal of Production Research"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-3-540-75596-8_37","volume-title":"Automated Technology for Verification and Analysis","author":"B. Berthomieu","year":"2007","unstructured":"Berthomieu, B., Peres, F., Vernadat, F.: Model checking bounded prioritized time petri nets. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 523\u2013532. Springer, Heidelberg (2007)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000)"},{"issue":"9","key":"4_CR5","doi-asserted-by":"publisher","first-page":"943","DOI":"10.4304\/jsw.4.9.943-958","volume":"4","author":"B. Combemale","year":"2009","unstructured":"Combemale, B., Cr\u00e9gut, X., Garoche, P.-L., Thirioux, X.: Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification. Journal of Software\u00a04(9), 943\u2013958 (2009)","journal-title":"Journal of Software"},{"key":"4_CR6","first-page":"267","volume-title":"17th ASE","author":"G. Csert\u00e1n","year":"2002","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA - visual automated transformations for formal verification and validation of UML models. In: 17th ASE, pp. 267\u2013270. IEEE, Los Alamitos (2002)"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1016\/j.infsof.2008.09.005","volume":"51","author":"E. Guerra","year":"2009","unstructured":"Guerra, E., de Lara, J., Malizia, A., Daz, P.: Supporting user-oriented analysis for multi view domain specific visual languages. Information & Software Technology\u00a051(4), 769\u2013784 (2009)","journal-title":"Information & Software Technology"},{"doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, A., Bergmann, G., R\u00e1th, I., Varr\u00f3, D.: Back-annotation of simulation traces with change-driven model transformations. In: SEFM 2010 (September 2010)","key":"4_CR8","DOI":"10.1109\/SEFM.2010.28"},{"unstructured":"Merlin, P.M.: A Study of the Recoverability of Computing Systems. Irvine: Univ. California, PhD Thesis (1974)","key":"4_CR9"},{"key":"4_CR10","volume-title":"Proceedings of the 9th International Workshop on Program Comprehension IWPC 2001","author":"J. Moe","year":"2001","unstructured":"Moe, J., Carr, D.A.: Understanding distributed systems via execution trace data. In: Proceedings of the 9th International Workshop on Program Comprehension IWPC 2001. IEEE Computer Society, Los Alamitos (2001)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"unstructured":"Object Management Group. Meta Object Facility 2.0 (2006)","key":"4_CR12"},{"unstructured":"Object Management Group. Object Constraint Language 2.0 (2006)","key":"4_CR13"},{"unstructured":"Object Management Group. Software Process Engineering Metamodel 2.0 (2007)","key":"4_CR14"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-48092-7_11","volume-title":"Correct System Design","author":"A. Pnueli","year":"1999","unstructured":"Pnueli, A., Shtrichman, O., Siegel, M.D.: Translation validation: From SIGNAL to C. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 231\u2013255. Springer, Heidelberg (1999)"},{"unstructured":"Rivera, J.E., Vicente-Chicote, C., Vallecillo, A.: Extending visual modeling languages with timed behavior specifications. In: CIbSE, pp. 87\u2013100 (2009)","key":"4_CR16"},{"unstructured":"Rusu, V.: Embedding domain-specific modelling languages into Maude specifications, http:\/\/researchers.lille.inria.fr\/~rusu\/SoSym","key":"4_CR17"},{"unstructured":"Rusu, V., Gonnord, L., Combemale, B.: Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language\u2019s Operational Semantics. Technical Report RR-7423, INRIA (October 2010)","key":"4_CR18"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T16:33:57Z","timestamp":1560270837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}