A formal theory of conceptual modeling universals

Guizzardi, Giancarlo and Wagner, G. and Sinderen van, Marten (2004) A formal theory of conceptual modeling universals. In: First International Workshop on Philosophy and Informatics, WSPI 2004, March 31 - April 1, 2004, Cologne, Germany.

Preview

PDF
248Kb

Abstract:	Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a modeling language (UML) should be used in conceptual modeling. In this paper, we focus on the modeling metaconcepts of classifiers and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of universals to propose a UML profile for Ontology Representation and Conceptual Modeling. The formal semantics of the proposed modeling elements is presented in a language of modal logics with quantification restricted to Sortal universals.
Item Type:	Conference or Workshop Item
Copyright:	© 2004 Deutsches Forchungszentrum fur Kunstliche Intelligenz
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/49866
Official URL:	http://ceur-ws.org/Vol-112/Guizzardi.pdf
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 222865