TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser

Abstract

Model Driven Engineering (MDE) introduces the model paradigm as the basis of system design. It increases reusability in the development of complex systems. Nevertheless, with this new paradigm, traditional issues such as system debugging or system evolution management have to be performed in a different way. Existing techniques require to be adapted. We have shown the feasibility of traceability to solve these issues. However, system debugging can only be undertaken if the developer trusts the compiler. In MDE, the compiler is a transformation chain. It is hence important to test the transformations and possibly to debug them. In this paper, we demonstrate that our traceability mechanism coupled to our error localization algorithm eases the transformation test. Indeed, it highlights the succession of rule that leads to a faulty output element. This approach is illustrated in the context of embedded system development.

References

  1. Amar, B., Leblanc, H., and Coulette, B. (2008). A Traceability Engine Dedicated to Model Transformation for Software Engineering. In ECMDA Traceability Workshop, Berlin, pages 7-16.
  2. Barbero, M., Didonet, M., Fabro, D., and Bézivin, J. (2007). Traceability and provenance issues in global model management. In ECMDA Traceability Workshop.
  3. Borland (2007). Qvt - o. http://www.eclipse.org/m2m/qvto/ doc.
  4. Czarnecki, K. and Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621-646.
  5. DaRT Team (2009). Graphical Array Specification for Parallel and Distributed Computing (GASPARD2). http://www.gaspard2.org/.
  6. Falleri, J. R., Huchard, M., and Nebut, C. (2006). Towards a traceability framework for model transformations in kermeta. HAL - CCSd - CNRS.
  7. Fleurey, F., Baudry, B., Muller, P.-A., and Le Traon, Y. (2007). Towards dependable model transformations: Qualifying input test data. SoSyM.
  8. Galvao, I. and Goknil, A. (2007). Survey of traceability approaches in model driven engineering. In the Eleventh International IEEE EDOC Conference (EDOC 2007), pages 313-324. IEEE Computer Society Press.
  9. Gamatié, A., Le Beux, S., Piel, E., Etien, A., Ben Atitallah, R., Marquet, P., and Dekeyser, J. (2008). A Model Driven Design Framework for High Performance Embedded Systems. Technical Report 6614, INRIA.
  10. Glitia, F., Etien, A., and Dumoulin, C. (2008). Traceability for an MDE Approach of Embedded System Conception. In ECMDA Tracibility Workshop, Germany.
  11. IEEE (1991). IEEE standard computer dictionary : a compilation of IEEE standard computer glossaries. IEEE Computer Society Press, New York, NY, USA.
  12. Jouault, F. (2005). Loosely coupled traceability for atl. In ECMDA Workshop on Traceability.
  13. Kolovos, D. S., Paige, R. F., and Polack, F. A. (2006). Ondemand merging of traceability links with models. In ECMDA Workshop on Traceability, Bilbao, Spain.
  14. Mottu, J.-M., Baudry, B., and Le Traon, Y. (2008). Model transformation testing : oracle issue. In MoDeVVa workshop colocated with ICST'08., Norway.
  15. Object Management Group (2007). A UML profile for MARTE. http://www.omgmarte.org.
  16. Object Management Group, Inc. (2007). MOF Query / Views / Transformations. http://www.omg.org/docs/ptc/07-07-07.pdf. OMG paper.
  17. Reshef, A. N., Nolan, B. T., Rubin, J., and Gafni, S. Y. (2006). Model traceability. In IBM SYSTEMS JOURNAL, volume 45.
  18. Vanhooff, B., Ayed, D., Baelen, S. V., Joosen, W., and Berbers, Y. (2007). Uniti: A unified transformation infrastructure. In MoDELS, pages 31-45.
  19. Velegrakis, Y., Miller, R. J., and Mylopoulos, J. (2005). Representing and querying data transformations. In ICDE : Proceedings of the International Conference on Data Engineering, pages 81-92, Washington, USA. IEEE Computer Society.
Download


Paper Citation


in Harvard Style

Aranega V., Mottu J., Etien A. and Dekeyser J. (2009). TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION . In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-674-009-2, pages 66-73. DOI: 10.5220/0002264700660073


in Bibtex Style

@conference{icsoft09,
author={Vincent Aranega and Jean-Marie Mottu and Anne Etien and Jean-Luc Dekeyser},
title={TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2009},
pages={66-73},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002264700660073},
isbn={978-989-674-009-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION
SN - 978-989-674-009-2
AU - Aranega V.
AU - Mottu J.
AU - Etien A.
AU - Dekeyser J.
PY - 2009
SP - 66
EP - 73
DO - 10.5220/0002264700660073