A Formalisation of Analysis-based Model Migration

Ingrid Chieh Yu, Henning Berg

2015

Abstract

Supporting adaptation of metamodels is essential for realising Model-Driven Engineering. However, adapting and changing metamodels impact other artefacts of the metamodelling ecosystem. In particular, conformant models will no longer be valid instances of their changed metamodel. This gives rise to co-evolution issues where metamodels and models are no longer synchronised. This is critical as systems become inconsistent. A typical approach for re-establishing conformance is to manually craft transformations which update existing models for the new metamodel variant. In this paper we present an analysis-based approach that addresses this concern. The approach enables an arbitrary number of metamodels to evolve based on an adaptation strategy. During analysis we accumulate information required to automatically transform existing models to ensure conformance. We formalise the approach and prove model conformance.

Paper Citation

in Harvard Style

Yu I. and Berg H. (2015). A Formalisation of Analysis-based Model Migration . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 86-98. DOI: 10.5220/0005240900860098

in Bibtex Style

@conference{modelsward15,
author={Ingrid Chieh Yu and Henning Berg},
title={A Formalisation of Analysis-based Model Migration},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={86-98},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005240900860098},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Formalisation of Analysis-based Model Migration
SN - 978-989-758-083-3
AU - Yu I.
AU - Berg H.
PY - 2015
SP - 86
EP - 98
DO - 10.5220/0005240900860098