Title: Using logic programming for adapting models to metamodel evolution

Authors: Fouzia Anguel; Abdelkrim Amirat; Nora Bounour

Addresses: Chadli Bendjedid University, BP 73, El Tarf, 36 100, Algeria; LISCO Laboratory, Badji Mokhtar University, B.P. 12, Annaba, 23000, Algeria ' LiM Laboratory, Mohamed Cherif Messaadia University, Souk Ahras, 41000, Algeria ' LISCO Laboratory, Badji Mokhtar University, B.P. 12, Annaba, 23000, Algeria

Abstract: Evolution is inherent in software systems because of the rapid improvement of technologies. As metamodels are the cornerstone of model driven engineering and they evolve iteratively, their evolution affects the rest of artefacts involved in a development process, e.g., models or transformation rules. Therefore, co-evolution tools for models and other artefacts are indispensable. We present in this paper an intelligent approach to adapt models by means of state-based and operator-based techniques. The defined co-evolution process consists of four phases. Initially, changes between two metamodel versions are detected. After that, evolution scenario is reconstructed using logic programming method. Evolution scenario is first calculated from difference model and represented by a set of primitive evolution operations, after that it is transformed using an inference engine to include eventual composite evolution operations; from this scenario adaptation solutions are generated according to the evolution operator impact in model level. Finally, migration scenario is applied on an input model conforming to the old metamodel version to remain compliant with its metamodel.

Keywords: metamodel evolution; model migration; logic programming; primitive operator; composite operator; evolution operator; evolution scenario; coupled operator.

DOI: 10.1504/IJIIDS.2017.086194

International Journal of Intelligent Information and Database Systems, 2017 Vol.10 No.1/2, pp.69 - 93

Received: 08 Feb 2016
Accepted: 20 Oct 2016

Published online: 03 Sep 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article