{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:55Z","timestamp":1740099055794,"version":"3.37.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_19","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T12:13:16Z","timestamp":1527509596000},"page":"293-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Trace Comprehension Operators for\u00a0Executable DSLs"],"prefix":"10.1007","author":[{"given":"Dorian","family":"Leroy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0000-9219","authenticated-orcid":false,"given":"Erwan","family":"Bousse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana\u00ebl","family":"Megna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7104-7848","authenticated-orcid":false,"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1124-7098","authenticated-orcid":false,"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"19_CR1","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models, V 1.1, August 2013"},{"key":"19_CR2","doi-asserted-by":"crossref","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 2007), pp. 390\u2013397. IEEE (2007)","DOI":"10.1109\/ASPEC.2007.60"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T Fischer","year":"2000","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: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296\u2013309. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-540-46464-8_21"},{"issue":"4","key":"19_CR4","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)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR5","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0 (2007)"},{"key":"19_CR6","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: Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pp. 282\u2013287 (2012)","DOI":"10.1109\/APSEC.2012.79"},{"key":"19_CR7","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, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-02654-1_4"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 \u2014 The Unified Modeling Language","author":"G Engels","year":"2000","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: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323\u2013337. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-40011-7_23"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-19440-5_24","volume-title":"Software Language Engineering","author":"N Bandener","year":"2011","unstructured":"Bandener, N., Soltenborn, C., Engels, G.: Extending DMM behavior specifications for visual execution and debugging. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 357\u2013376. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19440-5_24"},{"key":"19_CR10","doi-asserted-by":"crossref","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 2010), pp. 145\u2013155. IEEE (2010)","DOI":"10.1109\/SEFM.2010.28"},{"key":"19_CR11","doi-asserted-by":"crossref","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 2009). ACM (2009)","DOI":"10.1145\/1555852.1555856"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11653-2_9"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: Advanced and efficient execution trace management for executable domain-specific modeling languages. Softw. Syst. Model., 1\u201337 (2017)","DOI":"10.1007\/s10270-017-0598-5"},{"key":"19_CR14","unstructured":"Object Management Group: Meta Object Facility (MOF) Core Specification, V 2.5, June 2016. http:\/\/www.omg.org\/spec\/MOF\/2.5"},{"key":"19_CR15","series-title":"Eclipse Series","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Eclipse Series, 2nd edn. Addison-Wesley Professional, Boston (2008)","edition":"2"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Bousse, E., Corley, J., Combemale, B., Gray, J., Baudry, B.: Supporting efficient and advanced omniscient debugging for xDSMLs. In: Proceedings of the International Conference on Software Language Engineering (SLE 2015). ACM (2015)","DOI":"10.1145\/2814251.2814262"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/BFb0032063","volume-title":"Automata, Languages and Programming","author":"JF Groote","year":"1990","unstructured":"Groote, J.F., Vaandrager, F.: An efficient algorithm for branching bisimulation and stuttering equivalence. In: Paterson, M.S. (ed.) ICALP 1990. LNCS, vol. 443, pp. 626\u2013638. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/BFb0032063"},{"key":"19_CR18","first-page":"707","volume":"10","author":"VI Levenshtein","year":"1966","unstructured":"Levenshtein, V.I.: Binary codes capable of correcting deletions, insertions, and reversals. Sov. Phys. Dokl. 10, 707\u2013710 (1966)","journal-title":"Sov. Phys. Dokl."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: Proceedings of the 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 163\u2013172 (2011)","DOI":"10.1109\/ASE.2011.6100050"},{"key":"19_CR20","first-page":"230","volume-title":"Lecture Notes in Computer Science","author":"Shahar Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Cddiff: Semantic differencing for class diagrams. In: Proceedings of the 25th European Conference on Object-Oriented Programming (ECOOP 2011), pp. 230\u2013254 (2011)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDIFF: semantic differencing for activity diagrams. In: Proceedings of the SIGSOFT\/FSE 2011 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC 2011: 13th European Software Engineering Conference (ESEC-13), pp. 179\u2013189 (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"19_CR22","first-page":"116","volume-title":"Lecture Notes in Computer Science","author":"Philip Langer","year":"2014","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 2014), pp. 116\u2013132 (2014)"},{"key":"19_CR23","unstructured":"Addazi, L., Cicchetti, A., Rocco, J.D., Ruscio, D.D., Iovino, L., Pierantonio, A.: Semantic-based model matching with emfcompare. In: Proceedings of the 10th Workshop on Models and Evolution (ME 2016), pp. 40\u201349 (2016)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Alimadadi, S., Mesbah, A., Pattabiraman, K.: Inferring hierarchical motifs from execution traces. (2018)","DOI":"10.1145\/3180155.3180216"},{"issue":"2","key":"19_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/2207243.2207251","volume":"13","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process mining: making knowledge discovery process centric. SIGKDD Explor. 13(2), 45\u201349 (2011)","journal-title":"SIGKDD Explor."},{"key":"19_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. Springer Publishing Company, Heidelberg (2011). Incorporated","edition":"1"},{"key":"19_CR27","doi-asserted-by":"publisher","DOI":"10.1002\/0471741442","volume-title":"Process-Aware Information Systems: Bridging People and Software Through Process Technology","author":"M Dumas","year":"2005","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley, Hoboken (2005)"},{"issue":"2","key":"19_CR28","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.is.2011.08.003","volume":"37","author":"RPJC Bose","year":"2012","unstructured":"Bose, R.P.J.C., van der Aalst, W.M.P.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117\u2013141 (2012)","journal-title":"Inf. Syst."}],"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-319-92997-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T10:57:06Z","timestamp":1661338626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}