Ontological Metamodeling with Explicit Instantiation

  • Alfons Laarman
  • Ivan Kurtev
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5969)

Abstract

Model Driven Engineering (MDE) is a promising paradigm for software development. It raises the level of abstraction in software development by treating models as primary artifacts. The definition of a metamodel is a recurring task in MDE and requires sound and formal support. The lack of such support causes deficiencies such as conceptual anomalies in the modeling languages. From philosophical point of view metamodels can be seen as metaconceptualizations. Metalanguages have to provide constructs for building ontological theories as a base for modeling languages. This paper describes a new metalanguage derived from the study of Formal Ontology. This metalanguage raises the level of abstraction of metamodels from pure abstract syntax to semantics descriptions based on ontologies. Thus, the language developers can make conscious choices for their modeling concepts and can explicitly define important relations such as instantiation and generalization. With this metalanguage, we aim at a precise conceptual and formal foundation for metamodeling.

Keywords

Metamodeling ontologies instantiation semantics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Atkinson, C., Kühne, T.: The Essence of Multilevel Metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Software 20(5), 36–41 (2003)CrossRefGoogle Scholar
  3. 3.
    Atzeni, P., Cappellari, P., Torlone, R., Bernstein, P.A., Gianforme, G.: Model-independent schema translation. VLDB J. 17(6), 1347–1370 (2008)CrossRefGoogle Scholar
  4. 4.
    Degen, W., Heller, B., Herre, H., Smith, B.: GOL: toward an axiomatized upper-level ontology. In: FOIS 2001, pp. 34–46 (2001)Google Scholar
  5. 5.
    Gangemi, A., Guarino, N., Masolo, C., Oltramari, A.: Sweetening WORDNET with DOLCE. AI Magazine 24(3), 13–24 (2003)Google Scholar
  6. 6.
    Gasevic, D., Kaviani, N., Hatala, M.: On Metamodeling in Megamodels. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 91–105. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Guarino, N., Welty, C.A.: A Formal Ontology of Properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97–112. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. PhD thesis. University of Twente (2005) ISBN 90-75176-81-3Google Scholar
  9. 9.
    Guizzardi, G., Ferreira Pires, L., van Sinderen, M.: An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 691–705. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Guizzardi, G.: On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models. In: DB&IS 2006, pp. 18–39 (2006)Google Scholar
  11. 11.
    Heller, B., Herre, H.: Ontological Categories in GOL. Axiomathes 14, 71–90 (2004)CrossRefGoogle Scholar
  12. 12.
    Hesse, W.: More matters on (meta-)modelling: remarks on Thomas Kühne’s "matters". Software and System Modeling 5(4), 387–394 (2006)CrossRefGoogle Scholar
  13. 13.
    Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Kühne, T.: Matters of (Meta-)Modeling. Software and System Modeling 5(4), 369–385 (2006)CrossRefGoogle Scholar
  15. 15.
    Kühne, T.: Clarifying matters of (meta-) modeling: an author’s reply. Software and System Modeling 5(4), 395–401 (2006)CrossRefGoogle Scholar
  16. 16.
    Kurtev, I., van den Berg, K.: MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture. In: MDAFA 2004, pp. 139–158 (2004)Google Scholar
  17. 17.
    Laarman, A.W.: An Ontology Based Metalanguage with Explicit Instantiation. Master’s thesis, University of Twente (2009)Google Scholar
  18. 18.
    OGML website, http://wwwhome.cs.utwente.nl/~laarman/ogml/ (retrieved at 15-9-09)
  19. 19.
    Quine, W.V.O.: Ontological relativity’ and other essays. Columbia University Press, New York (1969)Google Scholar
  20. 20.
    Wand, Y., Storey, V., Weber, R.: An Ontological Analysis of the Relationship Construct in Conceptual Modeling. ACM Trans. DB Syst. 24(4), 494–528 (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Alfons Laarman
    • 1
  • Ivan Kurtev
    • 1
  1. 1.Department of Computer ScienceUniversity of TwenteThe Netherlands

Personalised recommendations