{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:14:17Z","timestamp":1762460057234,"version":"3.37.3"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T00:00:00Z","timestamp":1637625600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T00:00:00Z","timestamp":1637625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s10270-021-00947-1","type":"journal-article","created":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T07:06:59Z","timestamp":1637651219000},"page":"561-586","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Simulation and analysis of MultEcore multilevel models based on rewriting logic"],"prefix":"10.1007","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9605-9546","authenticated-orcid":false,"given":"Alejandro","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,23]]},"reference":[{"key":"947_CR1","doi-asserted-by":"publisher","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), pp. 121\u2013135 (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_9","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"947_CR2","unstructured":"Atkinson, C., Gerbig, R.: Flexible deep modeling with Melanee. In: Betz, S., Reimer, U. (eds.) Modellierung 2016, LNI, vol. 255, Gesellschaft f\u00fcr Informatik, Bonn, pp. 117\u2013122 (2016)"},{"key":"947_CR3","unstructured":"Atkinson, C., Gerbig, R., Metzger, N.: On the execution of deep models. In: 1st International Workshop on Executable Modeling co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), pp. 28\u201333 (2015)"},{"issue":"06","key":"947_CR4","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1142\/S0218194001000724","volume":"11","author":"C Atkinson","year":"2001","unstructured":"Atkinson, C., K\u00fchne, T.: Processes and products in a multi-level metamodeling architecture. Int. J. Software Eng. Knowl. Eng. 11(06), 761\u2013783 (2001)","journal-title":"Int. J. Software Eng. Knowl. Eng."},{"key":"947_CR5","doi-asserted-by":"publisher","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodeling. In: UML 2001\u2014The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp. 19\u201333 (2001). https:\/\/doi.org\/10.1007\/3-540-45441-1_3","DOI":"10.1007\/3-540-45441-1_3"},{"issue":"3","key":"947_CR6","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C Atkinson","year":"2008","unstructured":"Atkinson, C., K\u00fchne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345\u2013359 (2008)","journal-title":"Softw. Syst. Model."},{"key":"947_CR7","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.infsof.2015.03.010","volume":"64","author":"C Atkinson","year":"2015","unstructured":"Atkinson, C., K\u00fchne, T.: In defence of deep modelling. Inf. Softw. Technol. 64, 36\u201351 (2015). https:\/\/doi.org\/10.1016\/j.infsof.2015.03.010","journal-title":"Inf. Softw. Technol."},{"key":"947_CR8","unstructured":"Atkinson, C., K\u00fchne, T.: On evaluating multi-level modeling. In: Proceedings of MULTI @ MODELS, pp. 274\u2013277 (2017)"},{"key":"947_CR9","doi-asserted-by":"publisher","unstructured":"Bernardinello, L., de\u00a0Cindio, F.: A survey of basic net models and modular net classes. In: Advances in Petri Nets 1992, The DEMON Project, Springer, pp. 304\u2013351 (1992). https:\/\/doi.org\/10.1007\/3-540-55610-9_177","DOI":"10.1007\/3-540-55610-9_177"},{"key":"947_CR10","doi-asserted-by":"publisher","unstructured":"Bousse, E., Wimmer, M.: Domain-level observation and control for compiled executable dsls. In: Kessentini, M., Yue, T., Pretschner, A., Voss, S., Burgue\u00f1o L. (eds.), 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15\u201320, 2019, IEEE, pp. 150\u2013160 (2019). https:\/\/doi.org\/10.1109\/MODELS.2019.000-6","DOI":"10.1109\/MODELS.2019.000-6"},{"key":"947_CR11","doi-asserted-by":"publisher","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering. Morgan & Claypool Publishers (2012). https:\/\/doi.org\/10.2200\/S00441ED1V01Y201208SWE001","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"947_CR12","doi-asserted-by":"publisher","unstructured":"Cabot, J., Gogolla, M.: Object constraint language (OCL): a definitive guide. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.), Formal Methods for Model-Driven Engineering\u201412th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18\u201323, 2012. Advanced Lectures, Lecture Notes in Computer Science, vol. 7320, Springer, pp. 58\u201390 (2012). https:\/\/doi.org\/10.1007\/978-3-642-30982-3_3","DOI":"10.1007\/978-3-642-30982-3_3"},{"key":"947_CR13","doi-asserted-by":"crossref","unstructured":"Clark, T., Warmer, J.: Object Modeling With the OCL: The Rationale Behind the Object Constraint Language, vol. 2263, Springer (2003)","DOI":"10.1007\/3-540-45669-4"},{"issue":"2","key":"947_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u0131-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoret. Comput. Sci. 285(2), 187\u2013243 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"947_CR15","doi-asserted-by":"publisher","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L. (eds.) All About Maude\u2014A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science, vol. 4350, Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1","DOI":"10.1007\/978-3-540-71999-1"},{"key":"947_CR16","doi-asserted-by":"publisher","unstructured":"Combemale, B., Barais, O., Wortmann, A.: Language engineering with the GEMOC studio. In: 2017 IEEE International Conference on Software Architecture Workshops, ICSA Workshops 2017, Gothenburg, Sweden, April 5\u20137, 2017, IEEE Computer Society, pp. 189\u2013191 (2017). https:\/\/doi.org\/10.1109\/ICSAW.2017.61","DOI":"10.1109\/ICSAW.2017.61"},{"key":"947_CR17","doi-asserted-by":"publisher","unstructured":"de\u00a0Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: Objects, Models, Components, Patterns, lncs, vol. 6141, Springer, pp. 1\u201320 (2010). https:\/\/doi.org\/10.1007\/978-3-642-13953-6_1","DOI":"10.1007\/978-3-642-13953-6_1"},{"key":"947_CR18","doi-asserted-by":"publisher","unstructured":"de\u00a0Lara, J., Guerra, E.: Generic meta-modelling with concepts, templates and Mixin layers. In: Model Driven Engineering Languages and Systems\u201413th International Conference, MODELS, pp. 16\u201330 (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_2","DOI":"10.1007\/978-3-642-16145-2_2"},{"issue":"2","key":"947_CR19","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/2685615","volume":"24","author":"J de Lara","year":"2014","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. (TOSEM) 24(2), 12 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"947_CR20","doi-asserted-by":"crossref","unstructured":"de\u00a0Lara, J., Vangheluwe, H.: AToM 3: a tool for multi-formalism and meta-modelling. In: International Conference on Fundamental Approaches to Software Engineering, Springer, pp. 174\u2013188 (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"key":"947_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100497","author":"F Dur\u00e1n","year":"2020","unstructured":"Dur\u00e1n, F., Eker, S., Escobar, S., Mart\u00ed-Oliet, N., Meseguer, J., Rubio, R., Talcott, C.L.: Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. (2020). https:\/\/doi.org\/10.1016\/j.jlamp.2019.100497","journal-title":"J. Log. Algebraic Methods Program."},{"key":"947_CR22","doi-asserted-by":"publisher","unstructured":"Dur\u00e1n, F., Garavel, H.: The rewrite engines competitions: a rectrospective. In: Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.) Tools and Algorithms for the Construction and Analysis of Systems\u201425 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Lecture Notes in Computer Science, vol. 11429, Springer, pp. 93\u2013100 (2019). https:\/\/doi.org\/10.1007\/978-3-030-17502-3_6","DOI":"10.1007\/978-3-030-17502-3_6"},{"key":"947_CR23","doi-asserted-by":"publisher","unstructured":"Dur\u00e1n, F., Rocha, C., \u00c1lvarez, J.M.: Tool interoperability in the maude formal environment. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) Algebra and Coalgebra in Computer Science\u20144th International Conference, CALCO 2011, Winchester, UK, August 30\u2013September 2, 2011. Proceedings, Lecture Notes in Computer Science, vol. 6859, Springer, pp. 400\u2013406 (2011). https:\/\/doi.org\/10.1007\/978-3-642-22944-2_30","DOI":"10.1007\/978-3-642-22944-2_30"},{"key":"947_CR24","unstructured":"Dur\u00e1n, F., Rold\u00e1n, M.: Validating OCL constraints on Maude prototypes of UML models. Universidad de M\u00e1laga, Technical Report (2012)"},{"key":"947_CR25","unstructured":"The Epsilon Object Language (EOL). https:\/\/www.eclipse.org\/epsilon\/doc\/eol\/"},{"key":"947_CR26","doi-asserted-by":"publisher","unstructured":"Garavel, H., Tabikh, M., Arrada, I.: Benchmarking implementations of term rewriting and pattern matching in algebraic, functional, and object-oriented languages\u2014the 4th rewrite engines competition. In: Rusu, V. (ed.) Rewriting Logic and Its Applications\u201412th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Proceedings, Lecture Notes in Computer Science, vol. 11152, Springer, pp. 1\u201325 (2018). https:\/\/doi.org\/10.1007\/978-3-319-99840-4_1","DOI":"10.1007\/978-3-319-99840-4_1"},{"issue":"1","key":"947_CR27","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"AH Ghamarian","year":"2012","unstructured":"Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. 14(1), 15\u201340 (2012). https:\/\/doi.org\/10.1007\/s10009-011-0186-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"947_CR28","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10270-011-0190-3","volume":"12","author":"R Gr\u00f8nmo","year":"2013","unstructured":"Gr\u00f8nmo, R., Krogdahl, S., M\u00f8ller-Pedersen, B.: A collection operator for graph transformation. Softw. Syst. Model. 12(1), 121\u2013144 (2013). https:\/\/doi.org\/10.1007\/s10270-011-0190-3","journal-title":"Softw. Syst. Model."},{"key":"947_CR29","doi-asserted-by":"publisher","unstructured":"Guerra, E., de\u00a0Lara, J.: Adding recursion to graph transformation. ECEASST (2007). https:\/\/doi.org\/10.14279\/tuj.eceasst.6.56","DOI":"10.14279\/tuj.eceasst.6.56"},{"key":"947_CR30","unstructured":"Halder, A., Venkateswarlu, A.: A study of petri nets modeling analysis and simulation. Department of Aerospace Engineering Indian Institute of Technology Kharagpur, India (2006)"},{"key":"947_CR31","unstructured":"Hee, van, K., Leurs, M., Post, R.: Yasper : Yet another smart process editor (poster). In: 2005 Symposium on Verification and validation of software systems (VVSS 2005) (2005)"},{"issue":"3","key":"947_CR32","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3), 213\u2013254 (2007). https:\/\/doi.org\/10.1007\/s10009-007-0038-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"947_CR33","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, New York (2008)"},{"key":"947_CR34","doi-asserted-by":"publisher","unstructured":"K\u00fchne, T.: Exploring potency. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS, pp. 2\u201312 (2018). https:\/\/doi.org\/10.1145\/3239372.3239411","DOI":"10.1145\/3239372.3239411"},{"key":"947_CR35","unstructured":"K\u00fchne, T.: A story of levels. In: Proceedings of MULTI @ MODELS, pp. 673\u2013682 (2018)"},{"key":"947_CR36","unstructured":"Lange, A.: dACL: the deep constraint and action language for static and dynamic semantic definition in Melanee (2016). https:\/\/madoc.bib.uni-mannheim.de\/43490\/. Unpublished"},{"key":"947_CR37","doi-asserted-by":"publisher","unstructured":"Lindqvist, J., Lundkvist, T., Porres, I.: A query language with the star operator. ECEASST (2007). https:\/\/doi.org\/10.14279\/tuj.eceasst.6.55","DOI":"10.14279\/tuj.eceasst.6.55"},{"key":"947_CR38","unstructured":"Mac\u00edas, F.: Multilevel modelling and domain-specific languages. PhD Thesis, Western Norway University of Applied Sciences and University of Oslo (2019)"},{"key":"947_CR39","unstructured":"Mac\u00edas, F., Rutle, A., Stolz, V.: Multilevel modelling with MultEcore: a contribution to the MULTI 2017 challenge. In: Proceedings of MULTI @ MODELS, pp. 269\u2013273 (2017)"},{"key":"947_CR40","doi-asserted-by":"publisher","unstructured":"Mac\u00edas, F., Rutle, A., Stolz, V., Rodr\u00edguez-Echeverr\u00eda, R., Wolter, U.: An approach to flexible multilevel modelling. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13, 10:1\u201310:35 (2018). https:\/\/doi.org\/10.18417\/emisa.13.10","DOI":"10.18417\/emisa.13.10"},{"key":"947_CR41","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.jlamp.2018.12.005","volume":"106","author":"F Mac\u00edas","year":"2019","unstructured":"Mac\u00edas, F., Wolter, U., Rutle, A., Dur\u00e1n, F., Rodriguez-Echeverria, R.: Multilevel coupled model transformations for precise and reusable definition of model behaviour. J. Log. Algebraic Methods Program. 106, 167\u2013195 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2018.12.005","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"1","key":"947_CR42","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992). https:\/\/doi.org\/10.1016\/0304-3975(92)90182-F","journal-title":"Theor. Comput. Sci."},{"issue":"7\u20138","key":"947_CR43","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/j.jlap.2012.06.003","volume":"81","author":"J Meseguer","year":"2012","unstructured":"Meseguer, J.: Twenty years of rewriting logic. J. Log. Algebr. Program. 81(7\u20138), 721\u2013781 (2012). https:\/\/doi.org\/10.1016\/j.jlap.2012.06.003","journal-title":"J. Log. Algebr. Program."},{"issue":"2\u20133","key":"947_CR44","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2008.04.040","volume":"403","author":"J Meseguer","year":"2008","unstructured":"Meseguer, J., Palomino, M., Mart\u00ed-Oliet, N.: Equational abstractions. Theor. Comput. Sci. 403(2\u20133), 239\u2013264 (2008). https:\/\/doi.org\/10.1016\/j.tcs.2008.04.040","journal-title":"Theor. Comput. Sci."},{"key":"947_CR45","unstructured":"Meta Object Facility (MOF) specification 2.5.1. https:\/\/www.omg.org\/spec\/MOF"},{"issue":"3","key":"947_CR46","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/s10270-011-0219-7","volume":"12","author":"P Mohagheghi","year":"2013","unstructured":"Mohagheghi, P., Gilani, W., Stefanescu, A., Fern\u00e1ndez, M.A., Nordmoen, B., Fritzsche, M.: Where does model-driven engineering help? Experiences from three industrial cases. Softw. Syst. Model. 12(3), 619\u2013639 (2013)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"947_CR47","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"947_CR48","doi-asserted-by":"publisher","unstructured":"Reisig, W.: Understanding Petri Nets\u2014Modeling Techniques, Analysis Methods. Case Studies, Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-33278-4","DOI":"10.1007\/978-3-642-33278-4"},{"key":"947_CR49","doi-asserted-by":"publisher","unstructured":"Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Pfaltz, J.L., Nagl, M., \u00f6hlen, B.B. (eds.) Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27\u2013October 1, 2003, Lecture Notes in Computer Science, vol. 3062, Springer, pp. 479\u2013485 (2003). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_40","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"947_CR50","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The GROOVE simulator: a tool for state space generation. In: International Workshop on Applications of Graph Transformations with Industrial Relevance, Springer, pp. 479\u2013485 (2003)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"947_CR51","doi-asserted-by":"publisher","unstructured":"Rensink, A., Kuperus, J.: Repotting the geraniums: on nested graph transformation rules. In: Electronic Communication of the European Association of Software Science and Technology, vol. 18 (2009). https:\/\/doi.org\/10.14279\/tuj.eceasst.18.260","DOI":"10.14279\/tuj.eceasst.18.260"},{"key":"947_CR52","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Visual Languages and Human-Centric Computing, 2009. VL\/HCC 2009. IEEE Symposium on, IEEE, pp. 51\u201355 (2009)","DOI":"10.1109\/VLHCC.2009.5295300"},{"issue":"11\u201312","key":"947_CR53","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"JE Rivera","year":"2009","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: Formal specification and analysis of domain specific models using Maude. Simulation 85(11\u201312), 778\u2013792 (2009). https:\/\/doi.org\/10.1177\/0037549709341635","journal-title":"Simulation"},{"key":"947_CR54","unstructured":"Rodr\u00edguez, A., Dur\u00e1n, F., Kristensen, L.M.: MultEcore webpage (2021). https:\/\/ict.hvl.no\/multecore\/"},{"key":"947_CR55","unstructured":"Rodr\u00edguez, A., Dur\u00e1n, F., Kristensen, L.M.: Petri nets experiment resources: MultEcore and Maude files (2021). https:\/\/bitbucket.org\/phdalejandro\/no.hvl.multecore.examples.sosym.petrinets"},{"issue":"2","key":"947_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2019.18.2.a4","volume":"18","author":"A Rodr\u00edguez","year":"2019","unstructured":"Rodr\u00edguez, A., Dur\u00e1n, F., Rutle, A., Kristensen, L.M.: Executing multilevel domain-specific models in maude. J. Object Technol. 18(2), 1\u201321 (2019). https:\/\/doi.org\/10.5381\/jot.2019.18.2.a4","journal-title":"J. Object Technol."},{"key":"947_CR57","doi-asserted-by":"publisher","unstructured":"Rodr\u00edguez, A., Mac\u00edas, F.: Multilevel modelling with MultEcore: a contribution to the MULTI process challenge. In: Proceedings of MULTI @ MODELS, pp. 152\u2013163 (2019). https:\/\/doi.org\/10.1109\/MODELS-C.2019.00026","DOI":"10.1109\/MODELS-C.2019.00026"},{"key":"947_CR58","doi-asserted-by":"publisher","unstructured":"Rodr\u00edguez, A., Rutle, A., Kristensen, L.M., Dur\u00e1n, F.: A foundation for the composition of multilevel domain-specific languages. In: MULTI@ MoDELS, pp. 88\u201397 (2019). https:\/\/doi.org\/10.1109\/MODELS-C.2019.00018","DOI":"10.1109\/MODELS-C.2019.00018"},{"key":"947_CR59","doi-asserted-by":"publisher","unstructured":"Rold\u00e1n, M., Dur\u00e1n, F.: Dynamic validation of OCL constraints with mOdCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011). https:\/\/doi.org\/10.14279\/tuj.eceasst.44.625","DOI":"10.14279\/tuj.eceasst.44.625"},{"key":"947_CR60","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework, Pearson Education (2008)"},{"key":"947_CR61","doi-asserted-by":"publisher","unstructured":"Str\u00fcber, D., Born, K., Gill, K.D., Groner, R., Kehrer, T., Ohrndorf, M., Tichy, M.: Henshin: A usability-focused framework for EMF model transformation development. In: 10th International Conference, ICGT 2017, pp. 196\u2013208 (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_12","DOI":"10.1007\/978-3-319-61470-0_12"},{"key":"947_CR62","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van\u00a0Mierlo, S., Ergin, H.: AToMPM: a web-based modeling environment. In: MODELS-JP 2013, CEUR Workshop Proceedings, vol. 1115, pp. 21\u201325 (2013)"},{"key":"947_CR63","unstructured":"Ullman, J.D.: Elements of ML Programming, Prentice-Hall, Inc. (1994)"},{"key":"947_CR64","unstructured":"The Unified Modelling Language (UML) specification 2.5.1. https:\/\/www.omg.org\/spec\/UML"},{"key":"947_CR65","unstructured":"Van\u00a0Mierlo, S., Barroca, B., Vangheluwe, H., Syriani, E., K\u00fchne, T.: Multi-level modelling in the Modelverse. In: MULTI@ MoDELS, CEUR Workshop Proceedings, vol. 1286, pp. 83\u201392 (2014)"},{"issue":"2","key":"947_CR66","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.jcss.2009.06.003","volume":"76","author":"HMW Verbeek","year":"2010","unstructured":"Verbeek, H.M.W., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Reduction rules for reset\/inhibitor nets. J. Comput. Syst. Sci. 76(2), 125\u2013143 (2010). https:\/\/doi.org\/10.1016\/j.jcss.2009.06.003","journal-title":"J. Comput. Syst. Sci."},{"key":"947_CR67","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language Second Edition: Getting Your Models Ready for MDA, Addison-Wesley Educational Publishers (2003)"},{"key":"947_CR68","unstructured":"Wolter, U., Mac\u00edas, F., Rutle, A.: The Category of Typing Chains as a Foundation of Multilevel Typed Model Transformations. Technical Report 2019-417, University of Bergen, Department of Informatics (2019)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00947-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00947-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00947-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T05:07:16Z","timestamp":1649308036000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00947-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,23]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["947"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00947-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2021,11,23]]},"assertion":[{"value":"27 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 October 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 October 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 November 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}