Ontological Metamodeling with Explicit Instantiation

Alfons Laarman, Ivan Ivanov

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    18 Citations (Scopus)
    459 Downloads (Pure)


    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 practical application of this paradigm is seriously endangered by the current weak modeling foundation of the approach. 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, limited applicability of model transformations, and limited reuse of model libraries. From philosophical point of view metamodels can be seen as ontological commitments. 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.
    Original languageEnglish
    Title of host publicationSoftware Language Engineering
    Subtitle of host publicationSecond International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
    EditorsMark van den Brand, Dragan Gašević, Jeff Gray
    Place of PublicationBerlin, Heidelberg
    Number of pages10
    ISBN (Electronic)978-3-642-12107-4
    ISBN (Print)978-3-642-12106-7
    Publication statusPublished - Jan 2010
    Event2nd International Confence on Software Language Engineering, SLE 2009 - Denver, United States
    Duration: 5 Oct 20096 Oct 2009
    Conference number: 2

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference2nd International Confence on Software Language Engineering, SLE 2009
    Abbreviated titleSLE
    Country/TerritoryUnited States


    • MDE
    • MDA
    • CR-I.2.5
    • Language Engineering
    • SE-MDA: Model Driven Architecture
    • Meta-modeling


    Dive into the research topics of 'Ontological Metamodeling with Explicit Instantiation'. Together they form a unique fingerprint.

    Cite this