Towards Propagation of Changes by Model Approximations

A number of model transformation approaches have been proposed both from academia and industry since automated manipulation of models plays a central role in model driven development. Ideally, a model transformation technique should also be compatible with manual changes that might be performed by designers on the generated models in order to resolve unforeseen requirements or limited expressiveness of the involved metamodels. This paper proposes an approach to model transformation based on answer set programming. Starting from target models that have been manually modified (and possibly not belong to the co-domain of the transformation being used), the approach is able to deduce a collection of models that approximate the ideal one from which it is possible to generate the previously modified target.

[1]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[2]  Zoltan Somogyi,et al.  The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language , 1996, J. Log. Program..

[3]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[4]  Gabor Karsai,et al.  Domain model translation using graph transformations , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[5]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[6]  Serge Abiteboul,et al.  Computing with First-Order Logic , 1995, J. Comput. Syst. Sci..

[7]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[8]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[9]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[10]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[11]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

[12]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[13]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.