{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:12:09Z","timestamp":1773655929790,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,6,30]],"date-time":"2016-06-30T00:00:00Z","timestamp":1467244800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006182","name":"FAPES","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006182","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","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":[[2018,2]]},"DOI":"10.1007\/s10270-016-0538-9","type":"journal-article","created":{"date-parts":[[2016,6,30]],"date-time":"2016-06-30T00:50:43Z","timestamp":1467247843000},"page":"205-231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":47,"title":["Toward a well-founded theory for multi-level conceptual modeling"],"prefix":"10.1007","volume":"17","author":[{"given":"Victorio A.","family":"Carvalho","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"538_CR1","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\u2014MW\u201912. New York, USA (2012)","DOI":"10.1145\/2448076.2448083"},{"key":"538_CR2","unstructured":"Atkinson, C., K\u00fchne, T.: Meta-level independent modeling. In: International Workshop \u201cModel Engineering\u201d (in Conjunction with ECOOP\u20192000), Cannes, France (2000)"},{"issue":"5","key":"538_CR3","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003)","journal-title":"IEEE Softw."},{"issue":"6","key":"538_CR4","doi-asserted-by":"crossref","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. Softw. Eng. Knowl. Eng. 11(6), 761\u2013784 (2001)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"issue":"3","key":"538_CR5","doi-asserted-by":"crossref","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":"538_CR6","doi-asserted-by":"crossref","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel modeling. In: Proceedings of the 4th International Conference on the Unified Modeling Language, pp. 19\u201333. Toronto, Canada (2001)","DOI":"10.1007\/3-540-45441-1_3"},{"key":"538_CR7","doi-asserted-by":"crossref","unstructured":"Atkinson, C.: Metamodelling for distributed object environments. In: First International Enterprise Distributed Object Computing Workshop (EDOC\u201997). Brisbane, Australia (1997)","DOI":"10.1109\/EDOC.1997.628350"},{"key":"538_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and Concept","author":"G Bealer","year":"1982","unstructured":"Bealer, G.: Quality and Concept. Clarendon Press, Oxford (1982)"},{"key":"538_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM Symposium of Principles of Programming Languages, pp. 70\u201379 (1988)","DOI":"10.1145\/73560.73566"},{"key":"538_CR10","doi-asserted-by":"crossref","unstructured":"Carvalho, V.A., Almeida, J.P.A.: A semantic foundation for organizational structures: a multi-level approach. In: Proceedings of the Enterprise Computing Conference (EDOC2015) (2015)","DOI":"10.1109\/EDOC.2015.18"},{"key":"538_CR11","doi-asserted-by":"crossref","unstructured":"Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 488\u2013502. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-07881-6_33"},{"key":"538_CR12","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: 35th International Conference on Conceptual Modeling (ER 2015), pp. 119\u2013133 (2015)","DOI":"10.1007\/978-3-319-25264-3_9"},{"issue":"1","key":"538_CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PP Chen","year":"1976","unstructured":"Chen, P.P.: The entity-relationship model: toward a unified view. ACM Transactions on Database Systems 1(1), 9\u201336 (1976)","journal-title":"ACM Transactions on Database Systems"},{"key":"538_CR14","unstructured":"Coquand, T.: Type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http:\/\/plato.stanford.edu\/archives\/fall2014\/entries\/type-theory\/ (2014)"},{"key":"538_CR15","unstructured":"Ereshefsky, M.: Species. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2010 Edition). http:\/\/plato.stanford.edu\/archives\/spr2010\/entries\/species\/ (2010)"},{"issue":"12","key":"538_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 metamodeling revisited: a language use approach. Inf. Softw. Technol. 55(12), 2099\u20132124 (2013)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"538_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."},{"issue":"2","key":"538_CR18","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/503124.503150","volume":"45","author":"N Guarino","year":"2002","unstructured":"Guarino, N., Welty, C.: Evaluating ontological decisions with OntoClean. Commun. ACM 45(2), 61\u201365 (2002)","journal-title":"Commun. ACM"},{"key":"538_CR19","first-page":"443","volume-title":"Philosophy and the Cognitive Science","author":"N Guarino","year":"1994","unstructured":"Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the Cognitive Science, pp. 443\u2013456. Holder-Pivhler-Tempsky, Vienna (1994)"},{"key":"538_CR20","doi-asserted-by":"crossref","unstructured":"Guarino, N., Guizzardi, G.: \u201cWe need to discuss the relationship\u201d: revisiting relationships as modeling constructs. In: Proceedings of the 27th International CAiSE Conference (CAiSE 2015), pp. 488\u2013502 (2015)","DOI":"10.1007\/978-3-319-19069-3_18"},{"key":"538_CR21","volume-title":"Ontological Foundations for Structural Conceptual Models","author":"G Guizzardi","year":"2005","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. University of Twente, Enschede (2005)"},{"key":"538_CR22","unstructured":"Guizzardi, G. et al.: Towards an ontological analysis of powertypes. In: Proceedings of the International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI 2015), 24th International Joint Conference on Artificial Intelligence (2015)"},{"key":"538_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29825-7","volume-title":"On the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages","author":"B Henderson-Sellers","year":"2012","unstructured":"Henderson-Sellers, B.: On the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages. Springer, Berlin (2012)"},{"key":"538_CR24","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge (2006)"},{"key":"538_CR25","volume-title":"A Unified Framework for Multi-level Modeling","author":"B Kennel","year":"2012","unstructured":"Kennel, B.: A Unified Framework for Multi-level Modeling. University of Mannheim, Mannheim (2012)"},{"key":"538_CR26","unstructured":"K\u00fchne, T.: Contrasting classification with generalisation. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)"},{"key":"538_CR27","doi-asserted-by":"crossref","unstructured":"Lara, J. de, Guerra, E.: Deep meta-modelling with MetaDepth. In: Proceedings of the 48th International Conference, TOOLS 2010. M\u00e1laga, Spain (2010)","DOI":"10.1007\/978-3-642-13953-6_1"},{"key":"538_CR28","doi-asserted-by":"crossref","unstructured":"Lara, J. de, Guerra, E., Cuadrado, J. S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 1\u201346, 23 (2014)","DOI":"10.1145\/2685615"},{"key":"538_CR29","doi-asserted-by":"crossref","unstructured":"Lara, J. et al.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1):36\u201358 (2013)","DOI":"10.1093\/comjnl\/bxs144"},{"issue":"2","key":"538_CR30","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.: 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":"538_CR31","volume-title":"The Growth of Biological Thought: Diversity, Evolution, and Inheritance","author":"E Mayr","year":"1982","unstructured":"Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. Belknap Press, Cambridge (1982)"},{"key":"538_CR32","unstructured":"Montague, R.: Formal philosophy: selected papers of Richard Montague. In: Thomasson, R. (eds.) Paperback, p.370. Yale University Press, New Haven (1974)"},{"key":"538_CR33","first-page":"49","volume-title":"Conceptual Modeling, Databases and CASE","author":"J Mylopoulos","year":"1992","unstructured":"Mylopoulos, J.: Conceptual modeling and Telos. In: Loucopoulos, P., Zicari, R. (eds.) Conceptual Modeling, Databases and CASE, pp. 49\u201368. Wiley, New York (1992)"},{"issue":"4","key":"538_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":"538_CR35","doi-asserted-by":"crossref","unstructured":"Nardi, J.C., Falbo, R., Almeida, J.P.A., Guizzardi, G., Ferreira Pires, L., van Sinderen, M., Guarino, N.: Towards a commitment-based reference ontology for services. In: Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2013), pp. 175\u2013184. IEEE Computer Society Press (2013)","DOI":"10.1109\/EDOC.2013.28"},{"key":"538_CR36","unstructured":"Neumayr, B., Gr\u00fcn, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)"},{"key":"538_CR37","doi-asserted-by":"crossref","unstructured":"Neumayr, B., Jeusfeld, M. A., Schrefl, M., Sch\u00fctz, C.: Dual deep instantiation and It ConceptBase implementation. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 503\u2013517. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-07881-6_34"},{"key":"538_CR38","doi-asserted-by":"crossref","unstructured":"Neumayr, B., Schrefl, M., Thalhiem, B.: Modeling techniques formulti-level abstraction. In: Kaschek, R., Delcambre, L. (eds.) LNCS, vol. 6520, pp 68\u201392. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-17505-3_4"},{"issue":"2","key":"538_CR39","first-page":"8","volume":"7","author":"J Odell","year":"1994","unstructured":"Odell, J.: Power types. J. Object Oriented Program. 7(2), 8\u201312 (1994)","journal-title":"J. Object Oriented Program."},{"key":"538_CR40","volume-title":"Conceptual Modeling of Information Systems","author":"A Oliv\u00e9","year":"2007","unstructured":"Oliv\u00e9, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)"},{"key":"538_CR41","unstructured":"OMG : UML Superstructure Specification\u2014Version 2.4.1 (2011)"},{"key":"538_CR42","unstructured":"OMG: Meta Object Facility (MOF) Core Specification\u2014Version 2.4.1 (2013)"},{"key":"538_CR43","unstructured":"Pereira, D., Almeida, J.P.A.: Representing organizational structures in an enterprise architecture language. In: Proceedings of the 6th Workshop on Formal Ontologies meet Industry (FOMI 2014), Rio de Janeiro (2014)"},{"key":"538_CR44","unstructured":"Pirotte, A., Zimanyi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: Bocca, J., Jarke, M., Zaniolo, C. (eds.) Proceedings of the 20th International Conference on Very Large DataBases (VLDB\u201994), pp. 630\u2013641 (1994)"},{"issue":"1","key":"538_CR45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/23043489","volume":"35","author":"J Recker","year":"2011","unstructured":"Recker, J., Rosemann, M., Green, P., Indulska, M.: Do Ontological Deficiencies in Modeling Grammars Matter? MIS Q. 35(1), 1\u20139 (2011)","journal-title":"MIS Q."},{"issue":"6","key":"538_CR46","doi-asserted-by":"crossref","first-page":"1115","DOI":"10.1007\/s00165-014-0307-x","volume":"26","author":"A Rossini","year":"2014","unstructured":"Rossini, A., et al.: A formalisation of deep metamodelling. Form. Asp. Comput. 26(6), 1115\u20131152 (2014)","journal-title":"Form. Asp. Comput."},{"key":"538_CR47","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)","edition":"2"},{"key":"538_CR48","unstructured":"Swoyer, C., Orilia, F.: Properties. In: Zalta, E.N. (eds.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http:\/\/plato.stanford.edu\/archives\/fall2014\/entries\/properties\/ (2014)"},{"key":"538_CR49","unstructured":"W3C: OWL 2 Web Ontology Language\u2014Structural Specification and Functional-Style Syntax (Second Edition). https:\/\/www.w3.org\/TR\/2012\/REC-owl2-syntax-20121211 (2012)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0538-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0538-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0538-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0538-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T12:23:41Z","timestamp":1656764621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0538-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,30]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["538"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0538-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,30]]}}}