Abstract
| Language | Undefined |
|---|---|
| Title of host publication | 2nd Int. Conf. on Software Language Engineering (SLE) |
| Editors | M. van den Brand, D. Gašević, J. Gray |
| Place of Publication | Heidelberg |
| Publisher | Springer |
| Pages | 174-183 |
| Number of pages | 10 |
| ISBN (Print) | 978-3-642-12106-7 |
| DOIs | |
| Publication status | Published - Jan 2010 |
Publication series
| Name | LNCS |
|---|---|
| Publisher | Springer Verlag |
| Volume | 5969 |
Keywords
- METIS-263967
- IR-70255
- MDE
- MDA
- CR-I.2.5
- Language Engineering
- EWI-15853
- SE-MDA: Model Driven Architecture
- Meta-modeling
Cite this
}
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, 2010. p. 174-183 (LNCS; Vol. 5969).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
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)
A2 - van den Brand, M.
A2 - Gašević, D.
A2 - Gray, J.
PB - Springer
CY - Heidelberg
ER -