Intermodelling with patterns

Authors: Esther Guerra Juan de Lara Fernando Orejas

Publish Date: 2011/02/08

Volume: 12, Issue: 1, Pages: 145-174

PDF Link

Abstract

Intermodelling is the activity of modelling relations between two or more modelling languages The result of this activity is a model that describes the way in which model instances of these languages can be related Many tasks in modeldriven development can be classified as intermodelling for example designing modeltomodel transformations defining model matching and traceability relations specifying model merging and model weaving as well as describing mechanisms for intermodel consistency management and model synchronization This paper presents our approach to intermodelling in a declarative relational visual and formal style The approach relies on declarative patterns describing allowed or forbidden relations between two modelling languages Such specification is then compiled into different operational mechanisms that are tailormade for concrete intermodelling scenarios Up to now we have used the approach to generate forward and backward transformations from a pattern specification In this paper we demonstrate that the same specification can be used to derive mechanisms for other intermodelling tasks such as model matching and model traceability In these scenarios the goals are generating the traces between two existing models checking whether two models are correctly traced and modifying the traces between two models if they are incorrect

Keywords: