{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T20:02:14Z","timestamp":1760299334634},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T00:00:00Z","timestamp":1459987200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10270-016-0519-z","type":"journal-article","created":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T06:58:00Z","timestamp":1460012280000},"page":"233-268","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic"],"prefix":"10.1007","volume":"17","author":[{"given":"Bernd","family":"Neumayr","sequence":"first","affiliation":[]},{"given":"Christoph G.","family":"Schuetz","sequence":"additional","affiliation":[]},{"given":"Manfred A.","family":"Jeusfeld","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Schrefl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,7]]},"reference":[{"issue":"4","key":"519_CR1","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/s10270-008-0103-2","volume":"8","author":"T Asikainen","year":"2009","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. 8(4), 521\u2013549 (2009)","journal-title":"Softw. Syst. Model."},{"key":"519_CR2","doi-asserted-by":"crossref","unstructured":"Atkinson, C.: Meta-modeling for distributed object environments. In: Proceedings of the 1st International Enterprise Distributed Object Computing Conference. IEEE Computer Society (1997)","DOI":"10.1109\/EDOC.1997.628350"},{"key":"519_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gerbig, R.: Melanie: Multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards. ACM, New York (2012)","DOI":"10.1145\/2448076.2448083"},{"key":"519_CR4","unstructured":"Atkinson, C., Gerbig, R., Markert, K., Zrianina, M., Egurnov, A., Kajzar, F.: Towards a deep, domain specific modeling framework for robot applications. In: Assmann, U., Wagner, G. (eds.) Proceedings of the 1st International Workshop on Model-Driven Robot Software Engineering (MORSE), No. 1319 in CEUR Workshop Proceedings, pp. 1\u201312 (2014)"},{"issue":"6","key":"519_CR5","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/TSE.2009.31","volume":"35","author":"C Atkinson","year":"2009","unstructured":"Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Trans. Softw. Eng. 35(6), 742\u2013755 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"519_CR6","doi-asserted-by":"crossref","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) Proceedings of the 4th International Conference on the UML 2001, Toronto, Canada, LNCS, vol. 2185, pp. 19\u201333. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45441-1_3"},{"issue":"1","key":"519_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0167-6423(02)00029-1","volume":"44","author":"C Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Profiles in a strict metamodeling framework. Sci. Comput. Program. 44(1), 5\u201322 (2002)","journal-title":"Sci. Comput. Program."},{"key":"519_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 70\u201379 (1988)","DOI":"10.1145\/73560.73566"},{"key":"519_CR9","doi-asserted-by":"crossref","unstructured":"Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: Johannesson, P., Lee, M., Liddle, S.W., Opdahl, A.L., L\u00f3pez, O.P. (eds.) ER 2015, LNCS, vol. 9381, pp. 119\u2013133. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-25264-3_9"},{"issue":"1","key":"519_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PP Chen","year":"1976","unstructured":"Chen, P.P.: The entity-relationship model\u2014toward a unified view of data. ACM Trans. Database Syst. 1(1), 9\u201336 (1976). doi: 10.1145\/320434.320440","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"519_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HILOG: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187\u2013230 (1993). doi: 10.1016\/0743-1066(93)90039-J","journal-title":"J. Log. Program."},{"key":"519_CR12","unstructured":"Clark, T., Gonzalez-Perez, C., Henderson-Sellers, B.: A foundation for multi-level modelling. In: Atkinson, C., Grossmann, G., K\u00fchne, T., de\u00a0Lara, J. (eds.) Proceedings of the Workshop on Multi-Level Modelling co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), CEUR Workshop Proceedings, vol. 1286, pp. 43\u201352. CEUR-WS.org (2014)"},{"key":"519_CR13","doi-asserted-by":"crossref","unstructured":"Costal, D., G\u00f3mez, C., Guizzardi, G.: Formal semantics and ontological analysis for understanding subsetting, specialization and redefinition of associations in UML. In: Jeusfeld, M.A., Delcambre, L.M.L., Ling, T.W. (eds.) ER, LNCS, vol. 6998, pp. 189\u2013203. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24606-7_15"},{"issue":"5","key":"519_CR14","doi-asserted-by":"crossref","first-page":"1078","DOI":"10.1109\/TKDE.2002.1033775","volume":"14","author":"M Dahchour","year":"2002","unstructured":"Dahchour, M., Pirotte, A., Zim\u00e1nyi, E.: Materialization and its metaclass implementation. IEEE Trans. Knowl. Data Eng. 14(5), 1078\u20131094 (2002)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"519_CR15","unstructured":"Demuth, A., Riedl-Ehrenleitner, M., Egyed, A.: Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments. In: Atkinson, C., Grossmann, G., K\u00fchne, T., de\u00a0Lara, J. (eds.) Proceedings of the Workshop on Multi-Level Modelling co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), CEUR Workshop Proceedings, vol. 1286, pp. 73\u201382. CEUR-WS.org (2014)"},{"issue":"12","key":"519_CR16","doi-asserted-by":"crossref","first-page":"2099","DOI":"10.1016\/j.infsof.2013.07.008","volume":"55","author":"O Eriksson","year":"2013","unstructured":"Eriksson, O., Henderson-Sellers, B., \u00c5gerfalk, P.J.: Ontological and linguistic metamodelling revisited: a language use approach. Inf. Softw. Technol. 55(12), 2099\u20132124 (2013)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"519_CR17","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/s10270-005-0099-9","volume":"5","author":"C Gonzalez-Perez","year":"2006","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72\u201390 (2006)","journal-title":"Softw. Syst. Model."},{"key":"519_CR18","unstructured":"Hayes, P., Menzel, C.: A semantics for the knowledge interchange format. In: IJCAI 2001 Workshop on the IEEE Standard Upper Ontology (2001)"},{"key":"519_CR19","doi-asserted-by":"crossref","unstructured":"H\u00fcrsch, W.L.: Should superclasses be abstract? In: Tokoro, M., Pareschi R. (eds.) ECOOP 1994, LNCS, vol. 821, pp. 12\u201331. Springer, Berlin (1994)","DOI":"10.1007\/BFb0052174"},{"key":"519_CR20","unstructured":"Igamberdiev, M., Grossmann, G., Stumptner, M.: An implementation of multi-level modelling in F-Logic. In: Atkinson, C., Grossmann, G., K\u00fchne, T., de\u00a0Lara, J. (eds.) Proceedings of the Workshop on Multi-Level Modelling co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), CEUR Workshop Proceedings, vol. 1286, pp. 33\u201342. CEUR-WS.org (2014)"},{"key":"519_CR21","unstructured":"Jardine, D.A. (ed.): The ANSI\/SPARC DBMS Model. In: Proceedings of the Second Share Working Conference on Data Base Management Systems, Montreal, Canada, April 26-30, 1976. Elsevier (1977)"},{"issue":"2","key":"519_CR22","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00961873","volume":"4","author":"M Jarke","year":"1995","unstructured":"Jarke, M., Gallersd\u00f6rfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S.: ConceptBase\u2014a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167\u2013192 (1995)","journal-title":"J. Intell. Inf. Syst."},{"key":"519_CR23","volume-title":"Metamodeling for Method Engineering","year":"2009","unstructured":"Jeusfeld, M.A., Jarke, M., Mylopoulos, J. (eds.): Metamodeling for Method Engineering. MIT Press, Cambridge (2009)"},{"key":"519_CR24","unstructured":"Kennel, B.: A unified framework for multi-level modeling. Ph.D. thesis, University of Mannheim (2012). https:\/\/ub-madoc.bib.uni-mannheim.de\/31906"},{"issue":"4","key":"519_CR25","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741\u2013843 (1995). doi: 10.1145\/210332.210335","journal-title":"J. ACM"},{"key":"519_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027185","volume-title":"Metaclasses and Their Application\u2014Data Model Tailoring and Database Integration","author":"W Klas","year":"1995","unstructured":"Klas, W., Schrefl, M.: Metaclasses and Their Application\u2014Data Model Tailoring and Database Integration. Springer, Berlin (1995)"},{"key":"519_CR27","unstructured":"K\u00fchne, T.: Contrasting classification with generalisation. In: M.\u00a0Kirchberg, S.\u00a0Link (eds.) APCCM, CRPIT, vol.\u00a096, pp. 71\u201378. Australian Computer Society (2009)"},{"key":"519_CR28","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Schreiber, D.: Can programming be liberated from the two-level style: multi-level programming with DeepJava. In: Gabriel, R.P., Bacon, D.F., Lopes, C.V., G.L.S. Jr. (eds.) OOPSLA, pp. 229\u2013244. ACM (2007)","DOI":"10.1145\/1297105.1297044"},{"key":"519_CR29","unstructured":"K\u00fchne, T., Steimann, F.: Tiefe Charakterisierung. In: Rumpe, B., Hesse, W. (eds.) Modellierung, LNI, vol.\u00a045, pp. 109\u2013119. GI (2004)"},{"key":"519_CR30","doi-asserted-by":"crossref","unstructured":"de\u00a0Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: Vitek, J. (ed.) TOOLS (48), LNCS, vol. 6141, pp. 1\u201320. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13953-6_1"},{"issue":"1","key":"519_CR31","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1093\/comjnl\/bxs144","volume":"57","author":"J Lara de","year":"2014","unstructured":"de Lara, J., Guerra, E., Cobos, R., Moreno-Llorena, J.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1), 36\u201358 (2014)","journal-title":"Comput. J."},{"key":"519_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0367-z","volume-title":"Model-driven engineering with domain-specific meta-modelling languages","author":"J Lara de","year":"2013","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modelling languages. Syst. Model, Softw (2013). doi: 10.1007\/s10270-013-0367-z"},{"issue":"2","key":"519_CR33","first-page":"12:1","volume":"24","author":"J Lara de","year":"2014","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 12:1\u201312:46 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"519_CR34","doi-asserted-by":"crossref","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. 8(4), 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Syst."},{"key":"519_CR35","first-page":"107","volume-title":"APCCM, CRPIT","author":"B Neumayr","year":"2009","unstructured":"Neumayr, B., Gr\u00fcn, K., Schrefl, M.: Multi-level domain modeling with M-objects and M-relationships. In: Link, S., Kirchberg, M. (eds.) APCCM, CRPIT, vol. 96, pp. 107\u2013116. ACS, Wellington, New Zealand (2009)"},{"key":"519_CR36","doi-asserted-by":"crossref","unstructured":"Neumayr, B., Jeusfeld, M.A., Schrefl, M., Sch\u00fctz, C.: Dual deep instantiation and its ConceptBase implementation. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE, LNCS, vol. 8484, pp. 503\u2013517. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-07881-6_34"},{"key":"519_CR37","unstructured":"Neumayr, B., Schrefl, M.: Abstract vs concrete clabjects in dual deep instantiation. In: Proceedings of the Workshop on Multi-level Modelling co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, 2014, pp. 3\u201312 (2014)"},{"key":"519_CR38","unstructured":"Odell, J.J.: Advanced object-oriented analysis and design using UML, chap. Power types, pp. 23\u201332. Cambridge University Press, Cambridge (1998)"},{"key":"519_CR39","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1 (2011). http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"519_CR40","unstructured":"Pirotte, A., Zim\u00e1nyi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: Bocca, J.B., Jarke, M., Zaniolo, C. (eds.) VLDB, pp. 630\u2013641. Morgan Kaufmann (1994)"},{"key":"519_CR41","unstructured":"Rosen, G.: Abstract objects. In: E.N. Zalta (ed.) The Stanford Encyclopedia of Philosophy, fall 2014 edn (2014)"},{"issue":"6","key":"519_CR42","doi-asserted-by":"crossref","first-page":"1115","DOI":"10.1007\/s00165-014-0307-x","volume":"26","author":"A Rossini","year":"2014","unstructured":"Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115\u20131152 (2014)","journal-title":"Formal Aspects Comput."},{"key":"519_CR43","doi-asserted-by":"publisher","unstructured":"Schuetz, C.G.: Multilevel Business Processes\u2014Modeling and Data Analysis. Springer, Berlin (2015). doi: 10.1007\/978-3-658-11084-0","DOI":"10.1007\/978-3-658-11084-0"},{"key":"519_CR44","doi-asserted-by":"crossref","unstructured":"Selway, M., Stumptner, M., Mayer, W., Jordan, A., Grossmann, G., Schrefl, M.: A conceptual framework for large-scale ecosystem interoperability. In: Johannesson, P., Lee, M., Liddle, S.W., Opdahl, A.L., L\u00f3pez, O.P. (eds.) ER 2015, LNCS, vol. 9381, pp. 287\u2013301. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-25264-3_21"},{"key":"519_CR45","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: VPM: a visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (the mathematics of metamodeling is metamodeling mathematics). Softw. Syst. Model. 2(3), 187\u2013210 (2003)","DOI":"10.1007\/s10270-003-0028-8"},{"key":"519_CR46","doi-asserted-by":"publisher","unstructured":"Yang, G., Kifer, M., Zhao, C.: Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE\u2014OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3\u20137, 2003, LNCS, vol. 2888, pp. 671\u2013688. Springer, Berlin (2003). doi: 10.1007\/978-3-540-39964-3_43","DOI":"10.1007\/978-3-540-39964-3_43"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0519-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0519-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0519-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0519-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,17]],"date-time":"2022-06-17T06:57:17Z","timestamp":1655449037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0519-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,7]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["519"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0519-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,7]]}}}