Domain-specific modeling promises to increase productivity by offering modeling languages tailored to a problem domain. Such modeling languages are typically defined by a metamodel. In consequence of changing requirements and technological progress, the problem domains and thus the metamodels are subject to change. Manually migrating models to a new version of their corresponding metamodel is c...

Metamodels undergo many changes during the evolution of several software modeling languages and projects. As a consequence, models have to be updated for preserving their conformance with the new metamodel versions. A common practice is to manually define rules for each metamodel evolution to co-evolve the corresponding models. In this paper, we propose a generic automated approach for the meta...

Metamodel evolution poses a threat to the applicability of Model-Driven Development to large scale projects. The problem is caused by incompatibilities between metamodel revisions. These render models that conform to the older version of the metamodel non-conformant to the newer version. An approach to addressing this problem is co-evolution of models with their respective metamodels. In this p...

We present a general approach to the incremental development of model-based applications using endogenous transformations, i.e. transformations whose input and output models conform to the same metamodel. Our work describes these transformations as model deltas that, when composed, deliver a complete model. We establish a relationship between a metamodel and its corresponding delta metamodel, s...

A metamodel expresses the syntactic well-formedness constraints that all models written using the notation of a modelling language must obey. We formally capture the metamodel for an industrial-strength object-oriented modelling language, BON, using the PVS specification language. We discuss how the PVS system helped in debugging the metamodel, and show how to use the PVS theorem prover for con...

Context Generalization is a fundamental relationship in object orientation and in the UML (Unified Modeling Language). The generalization relationship is represented in the UML metamodel as a “directed relationship”. Objective Being a directed relationship corresponds to the nature of generalization in the semantic domain of object orientation: a relationship that is directed from the subclass ...

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

We present the metrication facility available in the MOVA tool and discuss its metamodel-based design: metrics in MOVA are OCL queries over the instances (automatically generated by the tool) of the MOVA metamodel corresponding to the user-depicted models. Thanks to this metamodel-based design, although the MOVA tool provides a collection of predefined metrics, the users can also write and exec...

We present a mutiple-perspective collaboration metamodel, which mixes Place-Centred and People-Centred perspectives. It allows instances of the metamodel to be derived and experimented until the more adequate to a particular situation is found. It also allows parametric changes in run-time, enhancing the flexibility of the metamodel. The motivation for this work was extracted from the necessity...

This paper concerns the metamodel of the XTT rule-based knowledge representation. XTT is a knowledge representation and design method which aims at combining decision trees and decision tables. As the pure XTT method required dedicated tools to design systems, the UML representation has been developed. The abstract syntax of UML is defined by the UML metamodel. This paper introduces the metamod...