{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,27]],"date-time":"2025-07-27T07:31:05Z","timestamp":1753601465146,"version":"3.37.3"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T00:00:00Z","timestamp":1665014400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T00:00:00Z","timestamp":1665014400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003065","name":"University of Vienna","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003065","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Models have evolved from mere pictures supporting human understanding and communication to sophisticated knowledge structures processable by machines and establish value through their processing capabilities. This entails an inevitable need for computer-understandable modeling languages and causes formalization to be a crucial part in the lifecycle of engineering a modeling method. An appropriate formalism must be a means for providing a structural definition to enable a theoretical investigation of conceptual modeling languages and a unique, unambiguous way of specifying the syntax and semantics of an arbitrary modeling language. For this purpose, it must be generic and open to capturing any domain and any functionality. This paper provides a pervasive description of the formalism <jats:sc>MetaMorph<\/jats:sc> based on logic and model theory\u2014an approach fulfilling the requirements above for modeling method engineering. The evaluation of the formalism is presented following three streams of work: First, two evaluative case studies illustrate the applicability of <jats:sc>MetaMorph<\/jats:sc> formalism concept by concept on the modeling language <jats:sc>ProVis<\/jats:sc> from the domain of stochastic education and the well-known Entity-Relationship language. <jats:sc>ProVis<\/jats:sc> as well as ER comprise only a few objects and relation types but with high interconnection and expressive power and are therefore considered interesting specimens for formalization. Second, a comprehensive juxtaposition of <jats:sc>MetaMorph<\/jats:sc> to three other formalization approaches based on different foundational theories is outlined concept by concept to underpin the formalism design. Third, an empirical evaluation has been performed, assessing the usability and adequacy of the formalism within a classroom assessment. The results allow for conclusions on the completeness, intuitiveness, and complexity as well as on interdependencies with engineers\u2019 skills.<\/jats:p>","DOI":"10.1007\/s10270-022-01047-4","type":"journal-article","created":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T07:02:47Z","timestamp":1665039767000},"page":"75-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["MetaMorph: formalization of domain-specific conceptual modeling methods\u2014an evaluative case study, juxtaposition and empirical assessment"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5770-635X","authenticated-orcid":false,"given":"Victoria","family":"D\u00f6ller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Karagiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilfrid","family":"Utz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,6]]},"reference":[{"unstructured":"ADOxx.org: ADOxx Metamodelling Platform, https:\/\/www.adoxx.org\/live\/home","key":"1047_CR1"},{"key":"1047_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2007). https:\/\/doi.org\/10.1017\/CBO9780511711787"},{"issue":"1","key":"1047_CR3","doi-asserted-by":"publisher","first-page":"673","DOI":"10.17705\/1CAIS.04432","volume":"44","author":"D Bork","year":"2019","unstructured":"Bork, D., Buchmann, R.A., Karagiannis, D., Lee, M., Miron, E.T.: An open platform for modeling method conceptualization: the OMiLAB digital ecosystem. Commun. Assoc. Inf. Syst. 44(1), 673\u2013679 (2019). https:\/\/doi.org\/10.17705\/1CAIS.04432","journal-title":"Commun. Assoc. Inf. Syst."},{"doi-asserted-by":"publisher","unstructured":"Bork, D., Fill, H.G.: Formal aspects of enterprise modeling methods: a comparison framework. In: 47th Hawaii International Conference on System Sciences. pp. 3400\u20133409 (Jan 2014). https:\/\/doi.org\/10.1109\/HICSS.2014.422","key":"1047_CR4","DOI":"10.1109\/HICSS.2014.422"},{"key":"1047_CR5","first-page":"207","volume-title":"Readings in Artificial Intelligence and Databases","author":"RJ Brachman","year":"1989","unstructured":"Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. In: Mylopolous, J., Brodie, M. (eds.) Readings in Artificial Intelligence and Databases, pp. 207\u2013230. Morgan Kaufmann, San Francisco (1989)"},{"key":"1047_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.7250\/csimq.2019-21.02","volume":"21","author":"RA Buchmann","year":"2019","unstructured":"Buchmann, R.A., Ghiran, A.M., D\u00f6ller, V., Karagiannis, D.: Conceptual modeling education as a design problem. Complex Syst. Inform. Model. Q. 21, 21\u201333 (2019). https:\/\/doi.org\/10.7250\/csimq.2019-21.02","journal-title":"Complex Syst. Inform. Model. Q."},{"key":"1047_CR7","doi-asserted-by":"publisher","DOI":"10.5445\/KSP\/1000043437","volume-title":"Flexible Views for View-Based Model-Driven Development","author":"E Burger","year":"2014","unstructured":"Burger, E.: Flexible Views for View-Based Model-Driven Development. KIT Scientific Publishing, Karlsruhe (2014). https:\/\/doi.org\/10.5445\/KSP\/1000043437"},{"issue":"1","key":"1047_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10270-016-0538-9","volume":"17","author":"VA Carvalho","year":"2018","unstructured":"Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 17(1), 205\u2013231 (2018). https:\/\/doi.org\/10.1007\/s10270-016-0538-9","journal-title":"Softw. Syst. Model."},{"unstructured":"Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. North-Holland, Amsterdam (1990)","key":"1047_CR9"},{"issue":"1","key":"1047_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P Chen","year":"1976","unstructured":"Chen, P.: The entity-relationship model\u2014toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9\u201336 (1976). https:\/\/doi.org\/10.1145\/320434.320440","journal-title":"ACM Trans. Database Syst. (TODS)"},{"doi-asserted-by":"publisher","unstructured":"Choe, Y., Lee, M.: Algebraic method to model secure IoT. In: Domain-Specific Conceptual Modeling: Concepts, Methods and Tools pp. 335\u2013355 (Jul 2016). https:\/\/doi.org\/10.1007\/978-3-319-39417-6_15","key":"1047_CR11","DOI":"10.1007\/978-3-319-39417-6_15"},{"doi-asserted-by":"publisher","unstructured":"Clyde, S.W., Embley, D.W., Liddle, S.W., Woodfield, S.N.: OSM-Logic: a fact-oriented, time-dependent formalization of object-oriented systems modeling. In: Conceptual Modelling and its Theoretical Foundations, pp. 151\u2013172. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28279-9_12","key":"1047_CR12","DOI":"10.1007\/978-3-642-28279-9_12"},{"doi-asserted-by":"publisher","unstructured":"Delcambre, L.M.L., Liddle, S.W., Pastor, O., Storey, V.C.: A reference framework for conceptual modeling. In: Trujillo, J.C., Davis, K.C., Du, X., Li, Z., Ling, T.W., Li, G., Lee, M.L. (eds.) Conceptual Modeling. ER 2018. Lecture Notes in Computer Science. vol. 11157 LNCS, pp. 27\u201342. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00847-5_4","key":"1047_CR13","DOI":"10.1007\/978-3-030-00847-5_4"},{"key":"1047_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-33246-4_3","volume-title":"On the Move to Meaningful Internet Systems: OTM 2019 Conferences","author":"LML Delcambre","year":"2019","unstructured":"Delcambre, L.M.L., Liddle, S.W., Pastor, O., Storey, V.C.: Characterizing conceptual modeling research. In: Panetto, H., Debruyne, C., Hepp, M., Lewis, D., Ardagna, C.A., Meersman, R. (eds.) On the Move to Meaningful Internet Systems: OTM 2019 Conferences, pp. 40\u201357. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-33246-4_3"},{"key":"1047_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63479-7_8","volume-title":"The Practice of Enterprise Modeling. PoEM 2020","author":"V D\u00f6ller","year":"2020","unstructured":"D\u00f6ller, V.: M2FOL: a formal modeling language for metamodels. In: Bork, D., Grabis, J. (eds.) The Practice of Enterprise Modeling. PoEM 2020. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63479-7_8"},{"issue":"4","key":"1047_CR16","doi-asserted-by":"publisher","first-page":"1411","DOI":"10.1007\/s10270-022-00986-2","volume":"21","author":"V D\u00f6ller","year":"2022","unstructured":"D\u00f6ller, V.: Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits. Softw. Syst. Model. 21(4), 1411\u20131435 (2022). https:\/\/doi.org\/10.1007\/s10270-022-00986-2","journal-title":"Softw. Syst. Model."},{"key":"1047_CR17","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-030-93547-4_21","volume-title":"Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools","author":"V D\u00f6ller","year":"2022","unstructured":"D\u00f6ller, V., G\u00f6tz, S.: Tree diagrams and unit squares 4.0: digitizing stochastic classes with the didactic modeling tool ProVis. In: Karagiannis, D., Lee, M., Hinkelmann, K., Utz, W. (eds.) Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools, pp. 481\u2013501. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-93547-4_21"},{"doi-asserted-by":"publisher","unstructured":"D\u00f6ller, V., Karagiannis, D.: Formalizing conceptual modeling methods with MetaMorph. In: Augusto, A., Gill, A., Nurcan, S., Reinhartz-Berger, I., Schmidt, R., Zdravkovic, J. (eds.) Enterprise, Business-Process and Information Systems Modeling. BPMDS 2021, EMMSAD 2021. Lecture Notes in Business Information Processing. pp. 245\u2013261. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79186-5_16","key":"1047_CR18","DOI":"10.1007\/978-3-030-79186-5_16"},{"key":"1047_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer-Verlag, Berlin Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"1047_CR20","volume-title":"A Mathematical Introduction To Logic","author":"HB Enderton","year":"2001","unstructured":"Enderton, H.B.: A Mathematical Introduction To Logic, 2nd edn. Harcourt\/Academic Press, San Diego (2001)","edition":"2"},{"doi-asserted-by":"publisher","unstructured":"Fill, H.G., Redmond, T., Karagiannis, D.: FDMM: a formalism for describing ADOxx meta models and models. In: ICEIS 2012\u2014Proceedings of the 14th International Conference on Enterprise Information Systems. vol. 3, pp. 133\u2013144 (2012). https:\/\/doi.org\/10.5220\/0003971201330144","key":"1047_CR21","DOI":"10.5220\/0003971201330144"},{"key":"1047_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-36654-3_6","volume-title":"Domain Engineering: Product Lines, Languages, and Conceptual Models","author":"U Frank","year":"2013","unstructured":"Frank, U.: Domain-specific modeling languages: requirements analysis and design guidelines. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering: Product Lines, Languages, and Conceptual Models, pp. 133\u2013157. Springer, Berlin Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36654-3_6"},{"doi-asserted-by":"publisher","unstructured":"Guarino, N., Guizzardi, G., Mylopoulos, J.: On the philosophical foundations of conceptual models. In: Proceedings of the 29th International Conference on Information Modelling and Knowledge Bases, EJC 2019. Frontiers in Artificial Intelligence and Applications, vol. 321, pp. 1\u201315. IOS Press (2019). https:\/\/doi.org\/10.3233\/FAIA200002","key":"1047_CR23","DOI":"10.3233\/FAIA200002"},{"unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. Ph.D. thesis, University of Twente. Wiley, New York (Oct 2005)","key":"1047_CR24"},{"doi-asserted-by":"crossref","unstructured":"Guizzardi, G.: Ontology-based evaluation and design of visual conceptual modeling languages. In: Domain Engineering, pp. 317\u2013347, Springer, Berlin, Heidelberg (2013)","key":"1047_CR25","DOI":"10.1007\/978-3-642-36654-3_13"},{"key":"1047_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43916-3","volume-title":"Graph Transformation for Software Engineers","author":"R Heckel","year":"2020","unstructured":"Heckel, R., Taentzer, G.: Graph Transformation for Software Engineers. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43916-3"},{"key":"1047_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29825-7","volume-title":"On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages","author":"B Henderson-Sellers","year":"2012","unstructured":"Henderson-Sellers, B.: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29825-7"},{"key":"1047_CR28","first-page":"3","volume-title":"Conceptual Modeling. ER 2015","author":"B Henderson-Sellers","year":"2015","unstructured":"Henderson-Sellers, B.: Why philosophize; Why not just model? In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., Pastor L\u00f3pez, \u00d3. (eds.) Conceptual Modeling. ER 2015, pp. 3\u201317. Springer International Publishing, Cham (2015)"},{"key":"1047_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41467-1\/COVER","volume-title":"Situational Method Engineering","author":"B Henderson-Sellers","year":"2014","unstructured":"Henderson-Sellers, B., Ralyt\u00e9, J., \u00c5gerfalk, P.J., Rossi, M.: Situational Method Engineering, vol. 1. Springer, Berlin Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-41467-1\/COVER"},{"issue":"4","key":"1047_CR30","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"E Jackson","year":"2009","unstructured":"Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Softw. Syst. Model. 8(4), 451\u2013478 (2009). https:\/\/doi.org\/10.1007\/s10270-008-0105-0","journal-title":"Softw. Syst. Model."},{"doi-asserted-by":"publisher","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for metamodel specification. In: International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006. pp. 171\u2013185. Springer, Berlin, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11768869_14","key":"1047_CR31","DOI":"10.1007\/11768869_14"},{"doi-asserted-by":"publisher","unstructured":"Karagiannis, D.: Conceptual modelling methods: the AMME agile engineering approach. In: Informatics in Economy. IE 2016. Lecture Notes in Business Information Processing. vol. 273, pp. 3\u201319. Springer Verlag (2018). https:\/\/doi.org\/10.1007\/978-3-319-73459-0_1","key":"1047_CR32","DOI":"10.1007\/978-3-319-73459-0_1"},{"doi-asserted-by":"publisher","unstructured":"Karagiannis, D., Bork, D., Utz, W.: Metamodels as a conceptual structure: some semantical and syntactical operations. In: The Art of Structuring, pp. 75\u201386. Springer International Publishing (2019). https:\/\/doi.org\/10.1007\/978-3-030-06234-7_8","key":"1047_CR33","DOI":"10.1007\/978-3-030-06234-7_8"},{"doi-asserted-by":"publisher","unstructured":"Karagiannis, D., Burzynski, P., Utz, W., Buchmann, R.A.: A metamodeling approach to support the engineering of modeling method requirements. In: 27th IEEE International Requirements Engineering Conference. pp. 199\u2013210 (2019). https:\/\/doi.org\/10.1109\/RE.2019.00030","key":"1047_CR34","DOI":"10.1109\/RE.2019.00030"},{"doi-asserted-by":"crossref","unstructured":"Karagiannis, D., K\u00fchn, H.: Metamodelling platforms. In: Proceedings of the Third International Conference on E-Commerce and Web Technologies. p. 182. Springer (2002)","key":"1047_CR35","DOI":"10.1007\/3-540-45705-4_19"},{"key":"1047_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39417-6","volume-title":"Domain-Specific Conceptual Modeling: Concepts, Methods and Tools","year":"2016","unstructured":"Karagiannis, D., Mayr, H.C., Mylopoulos, J. (eds.): Domain-Specific Conceptual Modeling: Concepts, Methods and Tools. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39417-6"},{"key":"1047_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-93547-4","volume-title":"Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools","year":"2022","unstructured":"Karagiannis, D., Lee, M., Hinkelmann, K., Utz, W. (eds.): Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-93547-4"},{"key":"1047_CR38","first-page":"28","volume":"13","author":"R Kaschek","year":"2018","unstructured":"Kaschek, R.: 20 years after: what in fact is a model? Enterp. Model. Inf. Syst. Archit. (EMISAJ) 13, 28\u201334 (2018)","journal-title":"Enterp. Model. Inf. Syst. Archit. (EMISAJ)"},{"doi-asserted-by":"publisher","unstructured":"Kern, H., Hummel, A., K\u00fchne, S.: Towards a comparative analysis of meta-metamodels. In: Proceedings of the Compilation of the Co-Located Workshops on DSM\u201911, TMC\u201911, AGERE! 2011, AOOPES\u201911, NEAT\u201911, & VMIL\u201911. pp. 7\u201312. ACM (2011). https:\/\/doi.org\/10.1145\/2095050.2095053","key":"1047_CR39","DOI":"10.1145\/2095050.2095053"},{"key":"1047_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-020-00329-x","author":"M Koubarakis","year":"2020","unstructured":"Koubarakis, M., Borgida, A., Constantopoulos, P., Doerr, M., Jarke, M., Jeusfeld, M.A., Mylopoulos, J., Plexousakis, D.: A retrospective on Telos as a metamodeling language for requirements engineering. Requir. Eng. (2020). https:\/\/doi.org\/10.1007\/s00766-020-00329-x","journal-title":"Requir. Eng."},{"key":"1047_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/S10270-020-00836-Z","author":"HC Mayr","year":"2020","unstructured":"Mayr, H.C., Thalheim, B.: The triptych of conceptual modeling. Softw. Syst. Model. (2020). https:\/\/doi.org\/10.1007\/S10270-020-00836-Z","journal-title":"Softw. Syst. Model."},{"unstructured":"MetaCase: MetaEdit+ Domain-Specific Modeling environment, www.metacase.com\/products.html","key":"1047_CR42"},{"doi-asserted-by":"publisher","unstructured":"Muck, C., Palkovits-Rauter, S.: Conceptualizing design thinking artefacts: the Scene2Model storyboard approach. In: Domain-Specific Conceptual Modeling pp. 567\u2013587 (2022). https:\/\/doi.org\/10.1007\/978-3-030-93547-4_25","key":"1047_CR43","DOI":"10.1007\/978-3-030-93547-4_25"},{"unstructured":"Mylopoulos, J.: Conceptual Modelling and Telos. Conceptual Modelling, Databases, and CASE: An Integrated View of Information System Development pp. 49\u201368 (1992)","key":"1047_CR44"},{"issue":"4","key":"1047_CR45","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. (TOIS) 8(4), 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Syst. (TOIS)"},{"key":"1047_CR46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39390-0","volume-title":"Conceptual Modeling of Information Systems","author":"A Oliv\u00e9","year":"2007","unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer-Verlag, Berlin Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-39390-0"},{"unstructured":"OMiLAB NPO: OMiLAB: Open Models Initiative Laboratory (2022), http:\/\/www.omilab.org","key":"1047_CR47"},{"doi-asserted-by":"publisher","unstructured":"Partridge, C., Gonzalez-Perez, C., Henderson-Sellers, B.: Are conceptual models concept models?. In: Conceptual Modeling. ER 2013. Lecture Notes in Computer Science. vol. 8217, pp. 96\u2013105. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41924-9_9","key":"1047_CR48","DOI":"10.1007\/978-3-642-41924-9_9"},{"key":"1047_CR49","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s12599-017-0516-y","volume":"60","author":"K Sandkuhl","year":"2018","unstructured":"Sandkuhl, K., Fill, H.G., Hoppenbrouwers, S., Krogstie, J., Matthes, F., Opdahl, A., Schwabe, G., Uludag, \u00d6., Winter, R.: From expert discipline to common practice: a vision and research agenda for extending the reach of enterprise modeling. Bus. Inf. Syst. Eng. 60, 69\u201380 (2018)","journal-title":"Bus. Inf. Syst. Eng."},{"issue":"2","key":"1047_CR50","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10270-015-0485-x","volume":"16","author":"O Semer\u00e1th","year":"2017","unstructured":"Semer\u00e1th, O., Barta, \u00c1., Horv\u00e1th, \u00c1., Szatm\u00e1ri, Z., Varr\u00f3, D.: Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16(2), 357\u2013392 (2017). https:\/\/doi.org\/10.1007\/s10270-015-0485-x","journal-title":"Softw. Syst. Model."},{"key":"1047_CR51","volume-title":"Database System Concepts","author":"A Silberschatz","year":"2011","unstructured":"Silberschatz, A., Korth, H.F., Sudarshan, S.: Database System Concepts, 6th edn. McGraw-Hill, New York (2011)","edition":"6"},{"key":"1047_CR52","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-16277-0_3","volume-title":"Metamodelling: State of the Art and Research Challenges","author":"J Sprinkle","year":"2010","unstructured":"Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling: State of the Art and Research Challenges, pp. 57\u201376. Springer Berlin Heidelberg, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16277-0_3"},{"key":"1047_CR53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8327-4","volume-title":"Allgemeine Modelltheorie","author":"H Stachowiak","year":"1973","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. Springer, Cham (1973)"},{"doi-asserted-by":"publisher","unstructured":"Sumereder, A., Dokken, T.: Model-based guide toward digitization in digital business ecosystems. In: Domain-Specific Conceptual Modeling pp. 411\u2013433 (2022). https:\/\/doi.org\/10.1007\/978-3-030-93547-4_18","key":"1047_CR54","DOI":"10.1007\/978-3-030-93547-4_18"},{"doi-asserted-by":"publisher","unstructured":"Thalheim, B.: The theory of conceptual models, the theory of conceptual modelling and foundations of conceptual modelling. In: Handbook of Conceptual Modeling, pp. 543\u2013577. Springer Berlin Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-15865-0_17","key":"1047_CR55","DOI":"10.1007\/978-3-642-15865-0_17"},{"key":"1047_CR56","first-page":"9","volume":"13","author":"B Thalheim","year":"2018","unstructured":"Thalheim, B.: Conceptual model notions-a matter of controversy: conceptual modelling and its lacunas. Enterp. Model. Inf. Syst. Archit. (EMISAJ) 13, 9\u201327 (2018)","journal-title":"Enterp. Model. Inf. Syst. Archit. (EMISAJ)"},{"doi-asserted-by":"crossref","unstructured":"Thalheim, B.: Conceptual models and their foundations. In: International Conference on Model and Data Engineering. pp. 123\u2013139. Springer (2019)","key":"1047_CR57","DOI":"10.1007\/978-3-030-32065-2_9"},{"unstructured":"Utz, W.: Design metamodels for domain-specific modelling methods using conceptual structures. In: Proceedings of the Doctoral Consortium Papers Presented at the 11th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling, PoEM 2018. vol. 2234, pp. 47\u201360. http:\/\/CEUR-WS.org (2018)","key":"1047_CR58"},{"key":"1047_CR59","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-540-87875-9_28","volume-title":"Model Driven Engineering Languages and Systems","author":"I Weisem\u00f6ller","year":"2008","unstructured":"Weisem\u00f6ller, I., Sch\u00fcrr, A.: Formal definition of MOF 2.0 metamodel components and composition. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A., V\u00f6lter, M. (eds.) Model Driven Engineering Languages and Systems, pp. 386\u2013400. Springer Berlin Heidelberg, Berlin, Heidelberg (2008)"},{"key":"1047_CR60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer-Verlag, Berlin Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29044-2"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01047-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-022-01047-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01047-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T06:44:53Z","timestamp":1677048293000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-022-01047-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,6]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["1047"],"URL":"https:\/\/doi.org\/10.1007\/s10270-022-01047-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2022,10,6]]},"assertion":[{"value":"21 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 September 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 September 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 October 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}