Bastien Amar, Hervé Leblanc, Bernard Coulette, Phillipe Dhaussy


With the advent of languages and tools dedicated to model-driven engineering (e.g., ATL, Kermeta, EMF), as well as reference metamodels (MOF, Ecore), model-driven development processes can be used more easily. These processes are based on a large range of closely inter-related models and transformation covering the whole software devolopment lifecycle. When a model is transformed, designers must re-implement the transformation choices for all the related models, which raises some inconsistency problems. To prevent this, we proposed trace transformation reuse to guide co-evolution of models. The contribution of this paper is a conceptual framework where repercussion transformation can be easily deployed. The maturity of a software engineering technology should be evaluated by the use of traceability practices.aceability practices.


  1. Aizenbud-Reshef, N., Nolan, B. T., Rubin, J., and ShahamGafni, Y. (2006). Model traceability. IBM System Journal, 45(3):515-526.
  2. Amar, B., Leblanc, H., and Coulette, B. (2008). A Traceability Engine Dedicated to Model Transformation for Software Engineering. In ECMDA Traceability Workshop 2008, Berlin, pages 7-16.
  3. Aranega, V., Mottu, J.-M., Etien, A., and Dekeyser, J.-L. (2009). Traceability mechanism for error localization in model transformation. In 4th International Conference on Software and Data Technologies (ICSOFT), Sofia, Bulgaria.
  4. Banerjee, J., Kim, W., Kim, H.-J., and Korth, H. F. (1987). Semantics and implementation of schema evolution in object-oriented databases. SIGMOD Record, 16(3):311-322.
  5. Blanc, X., Mougenot, A., Mounier, I., and Mens, T. (2009). Incremental detection of model inconsistencies based on model operations. In CAiSE 7809: Proceedings of the 21st International Conference on Advanced Information Systems Engineering, pages 32-46, Berlin, Heidelberg. Springer-Verlag.
  6. Budinsky, F., Grose, J. T., Steinberg, D., Ellersick, R., and Merks, E. (2003). Eclipse Modeling Framework: a developer's guide. Addison-Wesley Professional.
  7. Cicchetti, A., Ruscio, D. D., Eramo, R., and Pierantonio, A. (2008). Automating co-evolution in modeldriven engineering. In EDOC 7808: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pages 222-231. IEEE Computer Society.
  8. Dhaussy, P., Pillain, P.-Y., Creff, S., Raji, A., Le Traon, Y., and Baudry, B. (2009). Evaluating context descriptions and property definition patterns for software formal validation. In Springer-Verlag, editor, Model Driven Engineering Languages and Systems, volume 5795, pages 438-452.
  9. Didonet Del Fabro, M. and Valduriez, P. (2009). Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling, 8(3):305-324.
  10. DOMINO (2009). mthodologique.
  11. Drey, Z., Faucher, C., Fleurey, F., and Vojtisek, D. (2006). Kermeta language reference manual.
  12. Egyed, A. (2007). Fixing inconsistencies in UML design models. In Proceedings of the 29th International Conference on Software Engineering, pages 292-301. IEEE Computer Society.
  13. Gansner, E. R. and North, S. C. (1999). An open graph visualization system and its applications. Software - Practice and Experience, 30:1203-1233.
  14. Hßler, J., Soden, M., and Eichler, H. (2005). Coevolution of models, metamodels and transformations. Models and Human Reasoning. Wissenschaft und Technik Verlag, Berlin, pages 129-154.
  15. IEEE (1990). Standard Glossary of Software Engineering Terminology: IEEE Std 610.12-1990. Technical report, IEEE.
  16. Jouault, F. (2006). Contribution to the study of model transformation languages. PhD thesis, Universit de Nantes.
  17. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., and Irwin, J. (1997). Aspect-oriented programming. In Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag.
  18. Kolovos, D. S., Paige, R. F., and Polack, F. A. (2006). On-demand merging of traceability links with models. In ECMDA-TW 2006 Proceedings, Bilbao, July 11th 2006, pages 7 - 15.
  19. Ramesh, B. and Jarke, M. (2001). Toward reference models for requirements traceability. IEEE Transactions on Software Engineering, 27(1):58-93.
  20. Salay, R., Mylopoulos, J., and Easterbrook, S. (2009). Using Macromodels to Manage Collections of Related Models. In Proceedings of the 21st International Conference on Advanced Information Systems Engineering, pages 141-155. Springer-Verlag.
  21. Sapna, P. and Mohanty, H. (2007). Ensuring consistency in relational repository of UML models. In 10th International Conference on Information Technology (ICIT 2007), pages 217-222.
  22. Shinkawa, Y. (2006). Inter-model consistency in uml based on cpn formalism. Asia-Pacific Software Engineering Conference, pages 411-418.
  23. Vanhooff, B. and Berbers, Y. (2005). Supporting modular transformation units with precise transformation traceability metadata. In ECMDA-Traceability Workshop, Nuremberg, pages 16 - 27.
  24. Vernadat, F., Percebois, C., Farail, P., Vingerhoeds, R., Rossignol, A., Talpin, J.-P., and Chemouil, D. (2006). The TOPCASED Project - A Toolkit in OPen-source for Critical Applications and SystEm Development. In Data Systems In Aerospace (DASIA), Berlin, Germany.
  25. Wachsmuth, G. (2007). Metamodel adaptation and model co-adaptation. In Ernst, E., editor, Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'07), volume 4609 of Lecture Notes in Computer Science, pages 600-624. SpringerVerlag.

Paper Citation

in Harvard Style

Amar B., Leblanc H., Coulette B. and Dhaussy P. (2010). TRACE TRANSFORMATION REUSE TO GUIDE CO-EVOLUTION OF MODELS . In Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-23-2, pages 73-81. DOI: 10.5220/0003009200730081

in Bibtex Style

author={Bastien Amar and Hervé Leblanc and Bernard Coulette and Phillipe Dhaussy},
booktitle={Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,},

in EndNote Style

JO - Proceedings of the 5th International Conference on Software and Data Technologies - Volume 2: ICSOFT,
SN - 978-989-8425-23-2
AU - Amar B.
AU - Leblanc H.
AU - Coulette B.
AU - Dhaussy P.
PY - 2010
SP - 73
EP - 81
DO - 10.5220/0003009200730081