Abstract
UML class diagrams can be used as a language for expressing a conceptual model of a domain. 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 a conceptual UML class model and to develop guidelines for how the constructs of the UML should be used in conceptual modeling. In this paper, we focus on the UML metaconcepts of classes and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of classifiers to propose a UML profile for Ontology Representation and Conceptual Modeling. Moreover, we propose a design pattern based on this profile to target a recurrent problem in role modeling discussed in the literature. Finally, we demonstrate the relevance of the tools proposed by applying them to solve recurrent problems in the practice of conceptual modeling.
Chapter PDF
Similar content being viewed by others
Keywords
- Unify Modeling Language
- Design Pattern
- Unify Modeling Language Modeling
- Level Ontology
- Ontology Representation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Guizzardi, G., Herre, H., Wagner, G.: Towards Ontological Foundations for UML Conceptual Models. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, Springer, Heidelberg (2002)
Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, p. 65. Springer, Heidelberg (2002)
Guizzardi, G., Wagner, G.: Using Formal Ontologies to define Real-World Semantics for UML Conceptual Models. In: 1st Workshop on Application of Ontologies to Biology, European Media Laboratory, Heidelberg, Germany (2002)
Degen, W., Heller, B., Herre, H., Smith, B.: GOL: Towards an axiomatized upper level ontology. In: Smith, B., Guarino, N. (eds.) Proc. of 2nd Intl. Conf. of Formal Ontologies and Information Systems (FOIS 2001), Ogunquit, Maine, USA, October 2001, ACM Press, New York (2001)
Heller, B., Herre, H.: Formal Ontology and Principles of GOL. Onto-Med Report No. 1/2003. Research Group Ontologies in Medicine, Univ. of Leipzig (2003)
Cranefield, S., Purvis, M.: UML as an ontology modelling language. In: Proc. of the Workshop on Intelligent Information Integration, 16th Intl. Joint Conf. on Artificial Intelligence (IJCAI 1999), Germany, Univ. of Karlsruhe, pp. 46–53 (1999)
Evans, A., France, R., Lano, K., Rumpe, B.: Developing the UML as a formal modelling notation. In: Muller, P.-A., Bezivin, J. (eds.) Proc. of UML 1998 Intl. Workshop, June 3 -4, pp. 297–307. ESSAIM, Mulhouse (1998)
Evermann, J., Wand, Y.: Towards ontologically based semantics for UML constructs. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, p. 354. Springer, Heidelberg (2001)
Odell, J., Bock, C.: A More Complete Model of Relations and their Implications: Roles. Journal of OO Programming, 51–54 (May 1998)
Steimann, F.: On the representation of roles in object-oriented and conceptual modeling. Data & Knowledge Engineering 35(1), 83–106 (2000)
Steimann, F.: Role = Interface: a merger of concepts. Journal of Object-Oriented Programming 14(4), 23–32 (2001)
Steimann, F.: A radical revision of UML’s role concept. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 194–209. Springer, Heidelberg (2000)
Wieringa, R.J., de Jonge, W., Spruit, P.A.: Using dynamic classes and role classes to model object migration. Theory and Practice of Object Systems 1(1), 61–83 (1995)
Van Leeuwen, J.: Individuals and sortal concepts: an essay in logical descriptive metaphysics, PhD Thesis, Univ. of Amsterdam (1991)
Strawson, P.F.: Individuals. An Essay in Descriptive Metaphysics. Routledge, London (1959)
McNamara, J.: A Border: Dispute, the Place of Logic in Psychology. MIT, Cambridge (1986)
McNamara, J.: Logic and Cognition. In: McNamara, J., Reyes, G. (eds.) The Logical Foundations of Cognition, Vancouver Studies in Cognitive Science, vol. 4 (1994)
Gupta, A.: The Logic of Common Nouns: an investigation in quantified modal logic. Yale University Press, New Haven (1980)
Kripke, S.: Naming and Necessity. Harvard University Press, Cambridge (1982)
Wiggins, D.: Sameness and Substance Renewed. Cambridge University Press, Cambridge (2001)
Perry, J.: The same F. Philosophical Review (1970)
Putnam, H.: Logic and Psychology. In: McNamara, J., Reyes, G. (eds.) The Logical Foundations of Cognition,Vancouver Studies in Cognitive Science, vol. 4 (1994)
Welty, C., Guarino, N.: Supporting Ontological Analysis of Taxonomic Relationships. Data and Knowledge Engineering 39(1), 51–74 (2001)
Guarino, N., Welty, C.: Evaluating Ontological Decisions with OntoClean. Communications of the ACMÂ 45(2) (2002)
Hirsch, E.: The Concept of Identity. Oxford University Press, Oxford (1982)
Object Management Group: UML 2.0 Infrastructure Specification, Doc.# ptc/03-09-15 (September 2003)
Object Management Group: UML 2.0 Superstructure Specification, Doc.# ptc/03-08-02 (August 2003)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Booch, G.: Object-Oriented Analysis and Design. Benjamin-Cummings (1994)
Hendler, J.: Enhancements for Multiple Inheritance. SIGPLAN Notices 21(10), 100–100 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guizzardi, G., Wagner, G., Guarino, N., van Sinderen, M. (2004). An Ontologically Well-Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds) Advanced Information Systems Engineering. CAiSE 2004. Lecture Notes in Computer Science, vol 3084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25975-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-25975-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22151-7
Online ISBN: 978-3-540-25975-6
eBook Packages: Springer Book Archive