{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:32:47Z","timestamp":1743107567827,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211503"},{"type":"electronic","value":"9783319211510"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-21151-0_4","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T03:07:07Z","timestamp":1437016027000},"page":"45-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["A Generative Approach to Define Rich Domain-Specific Trace Metamodels"],"prefix":"10.1007","author":[{"given":"Erwan","family":"Bousse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanja","family":"Mayerhofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"4_CR1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-10619-4_31","volume-title":"Advances in Software Engineering","author":"L Alawneh","year":"2009","unstructured":"Alawneh, L., Hamou-Lhadj, A.: Execution traces: a new domain that requires the creation of a standard metamodel. In: \u015alezak, D., Kim, T., Kiumi, A., Jiang, T., Verner, J., Abrah\u00e3o, S. (eds.) ASEA 2009. CCIS, vol. 59, pp. 253\u2013263. Springer, Heidelberg (2009)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/978-3-319-11653-2_18","volume-title":"Model-Driven Engineering Languages and Systems","author":"E Bousse","year":"2014","unstructured":"Bousse, E., Combemale, B., Baudry, B.: Scalable armies of model clones through data sharing. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 286\u2013301. Springer, Heidelberg (2014)"},{"key":"4_CR3","unstructured":"Bousse, E., Combemale, B., Baudry, B.: Towards scalable multidimensional execution traces for xDSMLs. In: 11th Workshop on Model Design, Verification and Validation. CEUR-WS, vol. 1235, pp. 13\u201318. CEUR (2014)"},{"issue":"9","key":"4_CR4","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 4(9), 943\u2013958 (2009)","journal-title":"Journal of Software"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Pantel, M.: A design pattern to build executable DSMLs and associated V&V tools. In: 19th Asia-Pacific Software Engineering Conference, pp. 282\u2013287. IEEE (2012)","DOI":"10.1109\/APSEC.2012.79"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Corley, J., Eddy, B.P., Gray, J.: Towards efficient and scalabale omniscient debugging for model transformations. In: 14th Workshop on Domain-Specific Modeling, pp. 13\u201318. ACM (2014)","DOI":"10.1145\/2688447.2688450"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J DeAntoni","year":"2012","unstructured":"DeAntoni, J., Mallet, F.: Timesquare: treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 34\u201341. Springer, Heidelberg (2012)"},{"key":"4_CR8","unstructured":"Eschweiler, D., Wagner, M., Geimer, M., Kn\u00fcpfer, A., Nagel, W.E., Wolf, F.: Open trace format 2: the next generation of scalable trace formats and support libraries. In: 14th Int. Conf. on Parallel Computing. Advances in Parallel Computing, vol. 22, pp. 481\u2013490. IOS Press (2011)"},{"key":"4_CR9","unstructured":"Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Modellierung 2014. LNI, vol. 225, pp. 273\u2013288. GI (2014)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10270-010-0180-x","volume":"11","author":"A Hamou-Lhadj","year":"2010","unstructured":"Hamou-Lhadj, A., Lethbridge, T.C.: A metamodel for the compact but lossless exchange of execution traces. Software & Systems Modeling 11(1), 77\u201398 (2010)","journal-title":"Software & Systems Modeling"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3311\/PPee.7078","volume":"56","author":"A Heged\u00fcs","year":"2012","unstructured":"Heged\u00fcs, A., R\u00e1th, I., Varr\u00f3, D.: Replaying Execution Trace Models for Dynamic Modeling Languages. Periodica Polytechnica - Electrical Engineering 56(3), 71\u201382 (2012)","journal-title":"Periodica Polytechnica - Electrical Engineering"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: 33rd Int. Conf. on Software Engineering (ICSE), pp. 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, J.M., Combemale, B., Barais, O., Monperrus, M., Fouquet, F.: Mashup of metalanguages and its implementation in the Kermeta language workbench. Software & Systems Modeling, 1\u201316 (2013)","DOI":"10.1007\/s10270-013-0354-4"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: 2009 ICSE Workshop on Comparison and Versioning of Software Models, pp. 1\u20136. IEEE (2009)","DOI":"10.1109\/CVSM.2009.5071714"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/978-3-319-11653-2_8","volume-title":"Model-Driven Engineering Languages and Systems","author":"P Langer","year":"2014","unstructured":"Langer, P., Mayerhofer, T., Kappel, G.: Semantic model differencing utilizing behavioral semantics specifications. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 116\u2013132. Springer, Heidelberg (2014)"},{"issue":"5","key":"4_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. The Journal of Logic and Algebraic Programming 78(5), 293\u2013303 (2009)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: semantic differencing for activity diagrams. In: 19th ACM SIGSOFT Symposium and 13th Europ. Conf. on Foundations of Software Engineering, pp. 179\u2013189. ACM (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A runtime model for fUML. In: 7th Workshop on Models@run.time, pp. 53\u201358. ACM (2012)","DOI":"10.1145\/2422518.2422527"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-319-02654-1_4","volume-title":"Software Language Engineering","author":"T Mayerhofer","year":"2013","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M., Kappel, G.: xMOF: executable DSMLs based on fUML. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 56\u201375. Springer, Heidelberg (2013)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Software Language Engineering","author":"B Meyers","year":"2014","unstructured":"Meyers, B., Deshayes, R., Lucio, L., Syriani, E., Vangheluwe, H., Wimmer, M.: ProMoBox: a framework for generating domain-specific property languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 1\u201320. Springer, Heidelberg (2014)"},{"key":"4_CR21","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML), V 1.1, August 2013. http:\/\/www.omg.org\/spec\/FUML\/1.1"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-319-11653-2_9","volume-title":"Model-Driven Engineering Languages and Systems","author":"J Tatibou\u00ebt","year":"2014","unstructured":"Tatibou\u00ebt, J., Cuccuru, A., G\u00e9rard, S., Terrier, F.: Formalizing execution semantics of UML profiles with fUML models. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 133\u2013148. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21151-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T20:13:03Z","timestamp":1674245583000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21151-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211503","9783319211510"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21151-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}