RT Conference Proceedings
T1 Inter-modelling: From Theory to Practice
A1 Guerra, Esther
A1 Lara, Juan de
A1 Kolovos, Dimitrios S.
A1 Paige, Richard F.
AB We define inter-modelling as the activity of building models that describe how modelling languages should be related. This includes many common activities in Model Driven Engineering, like the specification of model-to-model transformations, the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Recently, we proposed a formal approach to specify the allowed and forbidden relations between two modelling languages by means of bidirectional declarative patterns. Such specifications were used to generate graph rewriting rules able to enforce the relations in (forward and backward) model-to-model transformation scenarios. In this paper we extend the usage of patterns for two further inter-modelling scenarios &- model matching and model traceability &- and report on an EMF-based tool implementing them. The tool allows a high-level analysis of specifications based on the theory developed so far, as well as manipulation of traces by compilation of patterns into the Epsilon Object Language.
PB Springer
SN 978-3-642-16144-5 (print)
SN 978-3-642-16145-2 (online)
SN 0302-9743
YR 2010
FD 2010
LK https://hdl.handle.net/10016/19132
UL https://hdl.handle.net/10016/19132
LA eng
NO Proocedings of: ACM/IEEE 13 th International Conference on Model Driven Engineering Languages and Systems. Oslo, Norway, October 3-8, 2010.
NO Work funded by the Spanish Ministry of Science (project TIN2008-02081 and grants JC2009-00015, PR2009-0019), the R&D programme of the Madrid Region (project S2009/TIC-1650), the European Commission’s 7th Framework programme (grant #248864 (MADES)), and the Engineering and Physical Sciences Research Council (EPSRC) (grant EP/E034853/1).
DS e-Archivo
RD 27 jul. 2024