In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. Other artifacts like models or tools are based on them and have to be changed if the metamodel is changed. Consequently, correcting errors in a metamodel can be quite expensive as dependent artifacts have to be adapted to the c...

Domain-Specific Modeling (DSM) allows domain experts to concentrate on the essential characteristics of a problem space without being overwhelmed by the complexities that may occur in the solution space. DSM is focused on the creation of a metamodel for a specific domain, from which instances pertaining to specific configurations of that domain can be constructed. However, as the metamodel unde...

Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. Many engineering domain theories are organized and embedded within CAD and CAE tools and engineering activities can be formalized as modeling operations to them. Since most of domain theories deal with the physical wor...

for Software Language Engineering 2010 Doctoral Symposium Hao Wu Supervisors: Rosemary Monahan and James F. Power Department of Computer Science, National University of Ireland, Maynooth {haowu,rosemary,jpower}@cs.nuim.ie 1 Problem Description and Motivation One of the central themes in software language engineering is the specification of programming languages, and domain-specific languages, u...

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling language metamodel may cause major problems in the language applications; thus with the model driven systems development the solidness of mode...

Metamodel evolution requires model migration. To correctly migrate models, evolution needs to be made explicit. Manually describing evolution is error-prone and redundant. Metamodel matching offers a solution by automatically detecting evolution, but is only capable of detecting primitive evolution steps. In practice, primitive evolution steps are jointly applied to form a complex evolution ste...

We present an object-oriented metamodeling methodology based on a formal metalanguage suited for the deenition of the semantics of the UML but also for the deenition of other languages. This methodology allows for the description of all relevant aspects of the entities of the metamodel. We are particularly interested in the description of dynamic semantics, because it has been neglected in comm...

The ability of evolution to influence its own course in microorganisms such as bacteria is a desirable property for computational systems. As a step towards exploiting this, we define a metamodel for the Evolution of Evolution. The metamodel is based on the concepts of structure and process, which are embodied together as the Machine. By describing different types Machines and structures we can...

This paper defines the fundamental concepts, key elements, and semantics of a metamodel that is being proposed as a response to the OMG's RFP for a Business Process Definition Metamodel [BPDM]. It also introduces notations that allow to view a process model at varying levels of detail, while maintaining consistency with the underlying model and semantics. A formal definition of the metamodel an...

A model family regroups related models that vary along some dimension such as time or product in (software) product lines. A model family can be captured as a “150% model” that merges the family members, while enabling the extraction of the individual models. However, this 150% model may no longer conform to the original metamodel of the family members. This paper focuses on the evolution of a ...