EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


15853 Ontological Metamodeling with Explicit Instantiation
Home Policy Brochure Browse Search User Area Contact Help

Laarman, A.W. and Kurtev, I. (2010) Ontological Metamodeling with Explicit Instantiation. In: 2nd Int. Conf. on Software Language Engineering (SLE), 5-6 Oct 2009, Denver, CO, USA. pp. 174-183. LNCS 5969. Springer Verlag. ISBN 978-3-642-12106-7

Full text available as:

PDF

182 Kb
Open Access



Official URL: http://dx.doi.org/10.1007/978-3-642-12107-4_14

Exported to Metis

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.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-SE: Software Engineering, EWI-FMT: Formal Methods and Tools
Research Program:CTIT-ASSIST: Applied Science of Services for Information Society Technologies
Research Project:QuadREAD: Quality-Driven Requirements Engineering and Architectural Design
Uncontrolled Keywords:MDE, MDA, Language Engineering, Metamodeling
ID Code:15853
Status:Published
Deposited On:16 August 2010
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item