{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:35:43Z","timestamp":1771515343617,"version":"3.50.1"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T00:00:00Z","timestamp":1494892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR INS Project GEMOC (ANR-12-INSE-0011)"],"award-info":[{"award-number":["ANR INS Project GEMOC (ANR-12-INSE-0011)"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006012","name":"Christian Doppler Forschungsgesellschaft","doi-asserted-by":"publisher","award":["CDL-Flex"],"award-info":[{"award-number":["CDL-Flex"]}],"id":[{"id":"10.13039\/501100006012","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["COST Action MPM4CPS (IC1404)"],"award-info":[{"award-number":["COST Action MPM4CPS (IC1404)"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003413","name":"Bundesministerium f\u00fcr Wissenschaft, Forschung und Wirtschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003413","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10270-017-0598-5","type":"journal-article","created":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T01:12:43Z","timestamp":1494897163000},"page":"385-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Advanced and efficient execution trace management for executable domain-specific modeling languages"],"prefix":"10.1007","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0000-9219","authenticated-orcid":false,"given":"Erwan","family":"Bousse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6205-0992","authenticated-orcid":false,"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":[[2017,5,16]]},"reference":[{"key":"598_CR1","doi-asserted-by":"publisher","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Proceedings of the 6th International Conference on the Unified Modeling Language (UML\u201903), LNCS, vol. 2863, pp. 2\u201317. Springer (2003). doi:\n                    10.1007\/978-3-540-45221-8_2","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"598_CR2","doi-asserted-by":"publisher","unstructured":"Alawneh, L., Hamou-Lhadj, A.: MTF: a scalable exchange format for traces of high performance computing systems. In: Proceedings of the 19th International Conference on Program Comprehension (ICPC\u201911), pp. 181\u2013184. IEEE (2011). doi:\n                    10.1109\/ICPC.2011.15","DOI":"10.1109\/ICPC.2011.15"},{"key":"598_CR3","unstructured":"Aydt, R.: The Pablo Self-Defining Data Format. Technical Report, Department of Computer Science at the University of Illinois at Urbana-Champaign (1992)"},{"key":"598_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"598_CR5","doi-asserted-by":"publisher","unstructured":"Bandener, N., Soltenborn, C., Engels, G.: Extending DMM behavior specifications for visual execution and debugging. In: Proceedings of the Third International Conference on Software Language Engineering (SLE\u201910), vol. 6563 LNCS, pp. 357\u2013376. Springer, Berlin (2010). doi:\n                    10.1007\/978-3-642-19440-5_24","DOI":"10.1007\/978-3-642-19440-5_24"},{"key":"598_CR6","doi-asserted-by":"publisher","unstructured":"Bendraou, R., Combemale, B., Cr\u00e9gut, X., Gervais, M.P.: Definition of an executable SPEM 2.0. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC\u201907), pp. 390\u2013397. IEEE (2007). doi:\n                    10.1109\/APSEC.2007.38","DOI":"10.1109\/APSEC.2007.38"},{"key":"598_CR7","doi-asserted-by":"publisher","unstructured":"Bousse, E., Combemale, B., Baudry, B.: Scalable armies of model clones through data sharing. In: Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201914), LNCS, vol. 8767, pp. 86\u2013301. Springer (2014). doi:\n                    10.1007\/978-3-319-11653-2_18","DOI":"10.1007\/978-3-319-11653-2_18"},{"key":"598_CR8","unstructured":"Bousse, E., Combemale, B., Baudry, B.: Towards scalable multidimensional execution traces for xDSMLs. In: Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa\u201914), CEUR-WS, vol. 1235, pp. 13\u201318. CEUR (2014). \n                    http:\/\/ceur-ws.org\/Vol-1235\/paper-03.pdf"},{"key":"598_CR9","doi-asserted-by":"publisher","unstructured":"Bousse, E., Corley, J., Combemale, B., Gray, J., Baudry, B.: Supporting efficient and advanced omniscient debugging for xDSMLs. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE\u201915), pp. 137\u2013148. ACM (2015). doi:\n                    10.1145\/2814251.2814262","DOI":"10.1145\/2814251.2814262"},{"key":"598_CR10","doi-asserted-by":"publisher","unstructured":"Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: A generative approach to define rich domain-specific trace metamodels. In: Proceedings of the 11th European Conference on Modelling Foundations and Applications (ECMFA\u201915), LNCS, vol. 9153, pp. 45\u201361. Springer (2015). doi:\n                    10.1007\/978-3-319-21151-0_4","DOI":"10.1007\/978-3-319-21151-0_4"},{"issue":"5","key":"598_CR11","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1109\/TSE.2014.2375201","volume":"41","author":"L Burgue\u00f1o","year":"2015","unstructured":"Burgue\u00f1o, L., Troya, J., Wimmer, M., Vallecillo, A.: Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41(5), 490\u2013506 (2015). doi:\n                    10.1109\/TSE.2014.2375201","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"598_CR12","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\u2014an instrumented approach for model verification. J. Softw. 4(9), 943\u2013958 (2009). doi:\n                    10.4304\/jsw.4.9.943-958","journal-title":"J. Softw."},{"key":"598_CR13","unstructured":"Combemale, B., Cr\u00e9gut, X., Giacometti, J.P., Michel, P., Pantel, M.: Introducing simulation and model animation in the MDE topcased toolkit. In: Proceedings of the 4th European Congress on Embedded Real Time Software and Systems (ERTS\u201908) (2008)"},{"key":"598_CR14","doi-asserted-by":"publisher","unstructured":"Combemale, B., Cr\u00e9gut, X., Pantel, M.: A design pattern to build executable DSMLs and associated V&V tools. In: Proceedings of the 19th Asia-Pacific Software Engineering Conference, pp. 282\u2013287. IEEE (2012). doi:\n                    10.1109\/APSEC.2012.79","DOI":"10.1109\/APSEC.2012.79"},{"key":"598_CR15","doi-asserted-by":"publisher","unstructured":"Combemale, B., Deantoni, J., Larsen, M.V., Mallet, F., Barais, O., Baudry, B., France, R.: Reifying concurrency for executable metamodeling. In: Proceedings of the 6th International Conference on Software Language Engineering (SLE\u201913), LNCS, vol. 8225, pp. 365\u2013384. Springer (2013). doi:\n                    10.1007\/978-3-319-02654-1_20","DOI":"10.1007\/978-3-319-02654-1_20"},{"key":"598_CR16","doi-asserted-by":"publisher","unstructured":"Corley, J., Eddy, B.P., Gray, J.: Towards efficient and scalabale omniscient debugging for model transformations. In: Proceedings of the 14th Workshop on Domain-Specific Modeling (DSM\u201914), pp. 13\u201318. ACM (2014). doi:\n                    10.1145\/2688447.2688450","DOI":"10.1145\/2688447.2688450"},{"key":"598_CR17","doi-asserted-by":"publisher","unstructured":"Cr\u00e9gut, X., Combemale, B., Pantel, M., Faudoux, R., Pavei, J.: Generative technologies for model animation in the TopCased platform. In: Proceedings of the 6th European Conference on Modeling Foundations and Applications (ECMFA\u201910), LNCS, vol. 6138, pp. 90\u2013103. Springer, Berlin (2010). doi:\n                    10.1007\/978-3-642-13595-8_9","DOI":"10.1007\/978-3-642-13595-8_9"},{"key":"598_CR18","doi-asserted-by":"publisher","unstructured":"Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D.: VIATRA-visual automated transformations for formal verification and validation of UML models. In: Proceedings of the 17th International Conference on Automated Software Engineering (ASE\u201902), pp. 267\u2013270. IEEE (2002). doi:\n                    10.1109\/ASE.2002.1115027","DOI":"10.1109\/ASE.2002.1115027"},{"key":"598_CR19","doi-asserted-by":"publisher","unstructured":"DeAntoni, J., Mallet, F., Thomas, F., Reydet, G., Babau, J.P., Mraidha, C., Gauthier, L., Rioux, L., Sordon, N.: RT-simex: retro-analysis of execution traces. In: Proceedings of the 18th International Symposium on the Foundations of Software Engineering (FSE\u201910), pp. 377\u2013378. ACM (2010). doi:\n                    10.1145\/1882291.1882357","DOI":"10.1145\/1882291.1882357"},{"key":"598_CR20","unstructured":"Desnoyers, M.: Common Trace Format (CTF) Specification (v1.8.2) (2013). \n                    http:\/\/git.efficios.com\/?p=ctf.git;a=blob_plain;f=common-trace-format-specification.md;hb=master"},{"key":"598_CR21","unstructured":"Eichler, H., Soden, M.: An Approach to Behaviour Comparison Using Execution Traces. Technical Report, Department of Computer Science, Humboldt University Berlin (2009)"},{"key":"598_CR22","doi-asserted-by":"publisher","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: Proceedings of the Third International Conference on the Unified Modeling Language (UML\u201900), LNCS, vol. 1939, pp. 323\u2013337. Springer, Berlin (2000). doi:\n                    10.1007\/3-540-40011-7_23","DOI":"10.1007\/3-540-40011-7_23"},{"key":"598_CR23","doi-asserted-by":"publisher","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: Proceedings of the 14th International Conference on Parallel Computing, Advances in Parallel Computing, vol. 22, pp. 481\u2013490. IOS Press (2011). doi:\n                    10.3233\/978-1-61499-041-3-481","DOI":"10.3233\/978-1-61499-041-3-481"},{"key":"598_CR24","doi-asserted-by":"publisher","unstructured":"Esmaeilsabzali, S., Day, N.A.: Prescriptive semantics for big-step modeling languages. In: Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE\u201910), LNCS, vol. 6013, pp. 158\u2013172. Springer, Berlin (2010). doi:\n                    10.1007\/978-3-642-12029-9_12","DOI":"10.1007\/978-3-642-12029-9_12"},{"key":"598_CR25","doi-asserted-by":"publisher","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language and java. In: Proceedings of the 6th International Workshop Theory and Application of Graph Transformations (TAGT\u201998), vol. 1764, pp. 157\u2013167 (2000). doi:\n                    10.1007\/978-3-540-46464-8_21","DOI":"10.1007\/978-3-540-46464-8_21"},{"issue":"6","key":"598_CR26","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1002\/cpe.1556","volume":"22","author":"M Geimer","year":"2010","unstructured":"Geimer, M., Wolf, F., Wylie, B.J.N., \u00c1brah\u00e1m, E., Becker, D., Mohr, B.: The Scalasca performance toolset architecture. Concurr. Comput. Pract. Exp. 22(6), 702\u2013719 (2010). doi:\n                    10.1002\/cpe.1556","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"598_CR27","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)"},{"key":"598_CR28","doi-asserted-by":"publisher","unstructured":"Guy, C., Combemale, B., Derrien, S.: On Model Subtyping. In: Proceedings of the 8th European Conference on Modeling Foundations and Applications (ECMFA\u201912), LNCS, vol. 7349, pp. 400\u2013415. Springer (2012). doi:\n                    10.1007\/978-3-642-31491-9_30","DOI":"10.1007\/978-3-642-31491-9_30"},{"issue":"4","key":"598_CR29","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/289.291","volume":"15","author":"T Haerder","year":"1983","unstructured":"Haerder, T., Reuter, A.: Principles of transaction-oriented database recovery. ACM Comput. Surv. 15(4), 287\u2013317 (1983). doi:\n                    10.1145\/289.291","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"598_CR30","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. Softw. Syst. Model. 11(1), 77\u201398 (2010). doi:\n                    10.1007\/s10270-010-0180-x","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"598_CR31","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnuelli, A., Politi, M., Sherman, R., Shtull-trauring, A., Trakhtenbrot, M.: Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403\u2013414 (1990). doi:\n                    10.1109\/ICCSSE.1988.72235","journal-title":"IEEE Trans. Softw. Eng."},{"key":"598_CR32","doi-asserted-by":"publisher","unstructured":"Hartmann, T., Fouquet, F., Nain, G., Morin, B., Klein, J., Barais, O., Traon, Y.L.: A native versioning concept to support historized models at runtime. In: Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201914), LNCS, vol. 8767, pp. 252\u2013268. Springer (2014). doi:\n                    10.1007\/978-3-319-11653-2_16","DOI":"10.1007\/978-3-319-11653-2_16"},{"key":"598_CR33","doi-asserted-by":"publisher","unstructured":"Heged\u00fcs, \u00c1., Bergmann, G., R\u00e1th, I., Varr\u00f3, D.: Back-annotation of simulation traces with change-driven model transformations. In: Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFM\u201910), pp. 145\u2013155. IEEE (2010). doi:\n                    10.1109\/SEFM.2010.28","DOI":"10.1109\/SEFM.20"},{"key":"598_CR34","unstructured":"Heged\u00fcs, \u00c1., R\u00e1th, I., Varr\u00f3, D.: Back-Annotation Framework for Simulation Traces of Discrete Event-based Languages. Technical Report, BME (2010). \n                    https:\/\/inf.mit.bme.hu\/sites\/default\/files\/publications\/Hegedus_TechRep_201004.pdf"},{"issue":"3","key":"598_CR35","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. Period. Polytech. Electr. Eng. 56(3), 71\u201382 (2012)","journal-title":"Period. Polytech. Electr. Eng."},{"key":"598_CR36","doi-asserted-by":"publisher","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE\u201911), pp. 471\u2013480. ACM (2011). doi:\n                    10.1145\/1985793.1985858","DOI":"10.1145\/1985793.1985858"},{"key":"598_CR37","doi-asserted-by":"publisher","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE\u201911), pp. 601\u2013610. ACM (2011). doi:\n                    10.1145\/1985793.1985875","DOI":"10.1145\/1985793.1985875"},{"key":"598_CR38","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Footprinting Operations Written in Kermeta. Technical Report IFI-2011.0002, University of Zurich, Department of Informatics (IFI) (2011). \n                    https:\/\/www.merlin.uzh.ch\/contributionDocument\/download\/2130"},{"key":"598_CR39","doi-asserted-by":"publisher","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Proceedings of the Workshop on Model Transformations in Practice (MTiP\u201905), LNCS, vol. 3844, pp. 128\u2013138. Springer, Berlin (2006). doi:\n                    10.1007\/11663430_14","DOI":"10.1007\/11663430_14"},{"key":"598_CR40","doi-asserted-by":"publisher","unstructured":"J\u00e9z\u00e9quel J.M., Combemale B., Barais O., Monperrus M., Fouquet F. (2013) Mashup of metalanguages and its implementation in the Kermeta language workbench. Softw. Syst Model. doi:\n                    10.1007\/s10270-013-0354-4","DOI":"10.1007\/s10270-013-0354-4"},{"issue":"4","key":"598_CR41","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MS.2009.109","volume":"26","author":"S Kelly","year":"2009","unstructured":"Kelly, S., Pohjonen, R.: Worst practices for domain-specific modeling. IEEE Softw. 26(4), 22\u201329 (2009). doi:\n                    10.1109\/MS.2009.109","journal-title":"IEEE Softw."},{"key":"598_CR42","unstructured":"Kolovos, D., Rose, L., Garc\u00eda-Dom\u00ednguez, A., Paige, R.: The epsilon book (2016). \n                    https:\/\/www.eclipse.org\/epsilon\/doc\/book"},{"key":"598_CR43","doi-asserted-by":"crossref","unstructured":"Langer, P., Mayerhofer, T., Kappel, G.: Semantic model differencing utilizing behavioral semantics specifications. In: Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201914), LNCS, vol. 8767, pp. 116\u2013132. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_8"},{"issue":"5","key":"598_CR44","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. J. Log. Algebr. Program. 78(5), 293\u2013303 (2009). doi:\n                    10.1016\/j.jlap.2008.08.004","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"598_CR45","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1057\/palgrave.ejis.3000685","volume":"16","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Gray, J., Jouault, F.: DSMDiff: a differentiation tool for domain-specific models. Eur. J. Inf. Syst. 16(4), 349\u2013361 (2007)","journal-title":"Eur. J. Inf. Syst."},{"key":"598_CR46","doi-asserted-by":"publisher","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: A manifesto for semantic model differencing. In: Models in Software Engineering: Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers, LNCS, vol. 6627, pp. 194\u2013203. Springer (2011). doi:\n                    10.1007\/978-3-642-21210-9_19","DOI":"10.1007\/978-3-642-21210-9_19"},{"key":"598_CR47","doi-asserted-by":"publisher","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: Semantic differencing for activity diagrams. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 179\u2013189. ACM (2011). doi:\n                    10.1145\/2025113.2025140","DOI":"10.1145\/2025113.2025140"},{"key":"598_CR48","doi-asserted-by":"publisher","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A runtime model for fUML. In: Proceedings of the 7th Workshop on Models@run.time (MRT\u201912), pp. 53\u201358. ACM (2012). doi:\n                    10.1145\/2422518.2422527","DOI":"10.1145\/2422518.2422527"},{"key":"598_CR49","doi-asserted-by":"publisher","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M., Kappel, G.: xMOF: executable DSMLs based on fUML. In: Proceedings of the 6th International Conference on Software Language Engineering (SLE\u201913), LNCS, vol. 8225, pp. 56\u201375. Springer (2013). doi:\n                    10.1007\/978-3-319-02654-1_4","DOI":"10.1007\/978-3-319-02654-1_4"},{"key":"598_CR50","unstructured":"Mayerhofer, T., Wimmer, M.: The TTC 2015 model execution case. In: Proceedings of the 8th Transformation Tool Contest (TTC\u201915), CEUR Workshop Proceedings, vol. 1524, pp. 2\u201318. CEUR-WS.org (2015). \n                    http:\/\/ceur-ws.org\/Vol-1524"},{"key":"598_CR51","doi-asserted-by":"publisher","unstructured":"Meyers, B., Deshayes, R., Lucio, L., Syriani, E., Vangheluwe, H., Wimmer, M.: ProMoBox: a framework for generating domain-specific property languages. In: Proceedings of the 7th International Conference on Software Language Engineering (SLE\u201914), LNCS, vol. 8706, pp. 1\u201320. Springer (2014). doi:\n                    10.1007\/978-3-319-11245-9_1","DOI":"10.1007\/978-3-319-11245-9_1"},{"key":"598_CR52","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0 (2007). \n                    https:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"598_CR53","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML), V 2.5 (2013). \n                    http:\/\/www.omg.org\/spec\/UML\/2.5"},{"key":"598_CR54","unstructured":"Object Management Group: UML Testing Profile (UTP), V 1.2 (2013). \n                    http:\/\/www.omg.org\/spec\/UTP\/1.2\/"},{"key":"598_CR55","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML), V 1.2.1 (2015). \n                    http:\/\/www.omg.org\/spec\/FUML\/1.2.1"},{"key":"598_CR56","unstructured":"Object Management Group: Meta Object Facility (MOF) Core Specification, V 2.5 (2016). \n                    http:\/\/www.omg.org\/spec\/MOF\/2.5"},{"key":"598_CR57","doi-asserted-by":"publisher","unstructured":"Pagano, G., Dosimont, D., Huard, G., Marangozova-Martin, V., Vincent, J.M.: Trace management and analysis for embedded systems. In: Proceedings of the 7th International Symposium on Embedded Multicore Socs (MCSoC\u201913), pp. 119\u2013122. IEEE (2013). doi:\n                    10.1109\/MCSoC.2013.28","DOI":"10.1109\/MCSoC.2013.28"},{"key":"598_CR58","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS\u201977), pp. 46\u201357. (1977). doi:\n                    10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"598_CR59","doi-asserted-by":"publisher","unstructured":"S\u00e1nchez\u00a0Cuadrado, J., Guerra, E., de\u00a0Lara, J.: Reverse engineering of model transformations for reusability. In: Proceedings of the 7th International Conference on the Theory and Practice of Model Transformations (ICMT\u201914), LNCS, vol. 8568, pp. 186\u2013201. Springer (2014). doi:\n                    10.1007\/978-3-319-08789-4_14","DOI":"10.1007\/978-3-319-08789-4_14"},{"key":"598_CR60","unstructured":"Schnorr, L.M., Stein, O., Chassin, J.: Paje trace file format, V 1.2.5 (2013). \n                    http:\/\/paje.sourceforge.net\/download\/publication\/lang-paje.pdf"},{"key":"598_CR61","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG\u201994), pp. 151\u2013163. Springer (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"598_CR62","doi-asserted-by":"publisher","unstructured":"Seidewitz, E., Cuccuru, A.: Agile programming with executable models: an open-source, standards-based eclipse environment. In: Proceedings of the 2014 Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH\u201914), Companion Volume, pp. 39\u201340. ACM (2014). doi:\n                    10.1145\/2660252.2664664","DOI":"10.1145\/2660252.2664664"},{"key":"598_CR63","doi-asserted-by":"publisher","unstructured":"Soden, M., Eichler, H.: Towards a model execution framework for Eclipse. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture (BD-MDA\u201909). ACM (2009). doi:\n                    10.1145\/1555852.1555856","DOI":"10.1145\/1555852.1555856"},{"key":"598_CR64","unstructured":"STMicroelectronics: KPTrace Specification (2012). \n                    http:\/\/www.stlinux.com\/stworkbench\/interactive_analysis\/stlinux.trace\/kptrace_traceFormat.html"},{"key":"598_CR65","doi-asserted-by":"publisher","unstructured":"Tatibou\u00ebt, J., Cuccuru, A., G\u00e9rard, S., Terrier, F.: Formalizing execution semantics of UML profiles with fUML models. In: Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201914), LNCS, vol. 8767, pp. 133\u2013148. Springer (2014). doi:\n                    10.1007\/978-3-319-11653-2_9","DOI":"10.1007\/978-3-319-11653-2_9"},{"issue":"3","key":"598_CR66","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Softw. 31(3), 79\u201385 (2014). doi:\n                    10.1109\/MS.2013.65","journal-title":"IEEE Softw."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0598-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0598-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0598-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T02:26:36Z","timestamp":1550888796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0598-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,16]]},"references-count":66,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["598"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0598-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,16]]},"assertion":[{"value":"24 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 December 2016","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 April 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 May 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}