Towards Propagation of Changes by Model Approximations

Authors:
Antonio Cicchetti;Davide Di Ruscio;Romina Eramo
Affiliations:
Universita degli Studi di L'Aquila, Italy;Universita degli Studi di L'Aquila, Italy;Universita degli Studi di L'Aquila, Italy
Venue:
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Year:
2006

Citing 0
Cited 9

Automating model transformation by example using inductive logic programming

Proceedings of the 2007 ACM symposium on Applied computing
Software customization in model driven development of web applications

Proceedings of the 2007 ACM symposium on Applied computing
Model Synchronisation: Definitions for Round-Trip Engineering

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Landscape of Bidirectional Model Transformations

Generative and Transformational Techniques in Software Engineering II
Towards Model Round-Trip Engineering: An Abductive Approach

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Solving Constraints in Model Transformations

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Incremental model synchronization in model driven development environments

CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
JTL: a bidirectional and change propagating transformation language

SLE'10 Proceedings of the Third international conference on Software language engineering
A model-driven approach to automate the propagation of changes among Architecture Description Languages

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.