Ontological Metamodeling with Explicit Instantiation

Alfons Laarman, Ivan Ivanov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 17 Citations

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 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.
LanguageUndefined
Title of host publication2nd Int. Conf. on Software Language Engineering (SLE)
EditorsM. van den Brand, D. Gašević, J. Gray
Place of PublicationHeidelberg
PublisherSpringer Verlag
Pages174-183
Number of pages10
ISBN (Print)978-3-642-12106-7
DOIs
StatePublished - Jan 2010

Publication series

NameLNCS
PublisherSpringer Verlag
Volume5969

Keywords

  • METIS-263967
  • IR-70255
  • MDE
  • MDA
  • CR-I.2.5
  • Language Engineering
  • EWI-15853
  • SE-MDA: Model Driven Architecture
  • Meta-modeling

Cite this

Laarman, A., & Ivanov, I. (2010). Ontological Metamodeling with Explicit Instantiation. In M. van den Brand, D. Gašević, & J. Gray (Eds.), 2nd Int. Conf. on Software Language Engineering (SLE) (pp. 174-183). (LNCS; Vol. 5969). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-12107-4_14
Laarman, Alfons ; Ivanov, Ivan. / Ontological Metamodeling with Explicit Instantiation. 2nd Int. Conf. on Software Language Engineering (SLE). editor / M. van den Brand ; D. Gašević ; J. Gray. Heidelberg : Springer Verlag, 2010. pp. 174-183 (LNCS).
@inproceedings{88705fbad5cd445c984f8b794a4f6706,
title = "Ontological Metamodeling with Explicit Instantiation",
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 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.",
keywords = "METIS-263967, IR-70255, MDE, MDA, CR-I.2.5, Language Engineering, EWI-15853, SE-MDA: Model Driven Architecture, Meta-modeling",
author = "Alfons Laarman and Ivan Ivanov",
year = "2010",
month = "1",
doi = "10.1007/978-3-642-12107-4_14",
language = "Undefined",
isbn = "978-3-642-12106-7",
series = "LNCS",
publisher = "Springer Verlag",
pages = "174--183",
editor = "{van den Brand}, M. and D. Gašević and J. Gray",
booktitle = "2nd Int. Conf. on Software Language Engineering (SLE)",
address = "Germany",

}

Laarman, A & Ivanov, I 2010, Ontological Metamodeling with Explicit Instantiation. in M van den Brand, D Gašević & J Gray (eds), 2nd Int. Conf. on Software Language Engineering (SLE). LNCS, vol. 5969, Springer Verlag, Heidelberg, pp. 174-183. DOI: 10.1007/978-3-642-12107-4_14

Ontological Metamodeling with Explicit Instantiation. / Laarman, Alfons; Ivanov, Ivan.

2nd Int. Conf. on Software Language Engineering (SLE). ed. / M. van den Brand; D. Gašević; J. Gray. Heidelberg : Springer Verlag, 2010. p. 174-183 (LNCS; Vol. 5969).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Ontological Metamodeling with Explicit Instantiation

AU - Laarman,Alfons

AU - Ivanov,Ivan

PY - 2010/1

Y1 - 2010/1

N2 - 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.

AB - 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.

KW - METIS-263967

KW - IR-70255

KW - MDE

KW - MDA

KW - CR-I.2.5

KW - Language Engineering

KW - EWI-15853

KW - SE-MDA: Model Driven Architecture

KW - Meta-modeling

U2 - 10.1007/978-3-642-12107-4_14

DO - 10.1007/978-3-642-12107-4_14

M3 - Conference contribution

SN - 978-3-642-12106-7

T3 - LNCS

SP - 174

EP - 183

BT - 2nd Int. Conf. on Software Language Engineering (SLE)

PB - Springer Verlag

CY - Heidelberg

ER -

Laarman A, Ivanov I. Ontological Metamodeling with Explicit Instantiation. In van den Brand M, Gašević D, Gray J, editors, 2nd Int. Conf. on Software Language Engineering (SLE). Heidelberg: Springer Verlag. 2010. p. 174-183. (LNCS). Available from, DOI: 10.1007/978-3-642-12107-4_14