Automatic Support for Traceability in a Generic Model Management Framework

  • Artur Boronat
  • José Á. Carsí
  • Isidro Ramos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3748)


In a MDA process, software artifacts are refined from the problem space (requirements) to the solution space (application). A model refinement involves the application of operators that perform tasks over models such as integrations and transformations, among others. We are working on a model management framework, called MOMENT (MOdel manageMENT), where model operators are defined independently of any metamodel in order to increase their reusability. This approach also increases the level of abstraction of solutions of this kind by working on models as first-class citizens, instead of working on the internal representation of a model at a programming level. In this context, traceability constitutes the mechanism to follow the transformations carried out over a model through several refinement steps. In this paper, we focus on the generic traceability support that the MOMENT framework provides. These capabilities allow the definition of generic complex operators that permit solving specific problems such as change propagation.


Model-Driven Architecture Model Management traceability software maintenance 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Palmer, J.D.: Traceability. In: Thayer, R.H., Dorfman, M. (eds.) Software Requirements Engineering, 2nd edn., pp. 412–422. IEEE Computer Society, Los Alamitos (2000)Google Scholar
  2. 2.
    Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. Software Engineering 27(1), 58–93 (2001)CrossRefGoogle Scholar
  3. 3.
    OMG Model-Driven Architecture,
  4. 4.
    Bernstein, P.A., Levy, A.Y., Pottinger, R.A.: A Vision for Management of Complex Models. Microsoft Research Technical Report MSR-TR-2000-53 (June 2000) (short version in SIGMOD Record 29, 4 (December 2000))Google Scholar
  5. 5.
    Melnik, S., Rahm, E., Bernstein, P.A.: Rondo: A Programming Platform for Generic Model Management. In: Proc. SIGMOD 2003, (PDF, 344KB). Extended version in Web Semantics, Vol. 1(1), pp. 193–204 (2003)Google Scholar
  6. 6.
    Song, G., Zhang, K., Kong, J.: Model Management Through Graph Transformation. In: IEEE VL/HCC 2004, Rome, Italy (2004)Google Scholar
  7. 7.
    Boronat, A., Pérez, J., Carsí, J.Á., Ramos, I.: Two experiencies in software dynamics. Journal of Universal Science Computer 10(4) (April 2004); Special issue on Breakthroughs and Challenges in Software EngineeringGoogle Scholar
  8. 8.
    Boronat, A., Carsí, J.Á., Ramos, I.: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. In: 9th European Conference on Software Maintenance and Reengineering, Manchester, UK. IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  9. 9.
    Dorfman, M., Thayer, R.: Guide to software requirements specification. IEEE Standards, Guidelines and Examples on System and Software Requirements Engineering (1990)Google Scholar
  10. 10.
    Gotel, O.C.Z., Finkelstein, A.C.W.: An Analysis of the Requirements Traceability Problem. In: Proceedings of the First International Conference on Requirements Engineering (ICRE 1994), Colorado Springs, Colorado, U.S.A, April 18-22, pp. 94–101. IEEE Computer Society Press, Los Alamitos (1994)CrossRefGoogle Scholar
  11. 11.
    Requirements tools in the Volere web site,
  12. 12.
    Object Management Group. Request for Proposal: MOF 2.0 Query/Views/Transformations RFP, ad/2002-04-10 (2002)Google Scholar
  13. 13.
  14. 14.
    Zhang, L., Yu, Y., Lu, J., Lin, C., Tu, K., Guo, M., Zhang, Z., Xie, G., Su, Z., Pan, Y.: ORIENT: Integrate Ontology Engineering into Industry Tooling Environment. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 823–837. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  15. 15.
  16. 16.
    The Graphical Modeling Framework proposal,
  17. 17.
    The JANE Model-specific editor generator web site,
  18. 18.
    Kurtev, I., Bézivin, J., Aksit, M.: Technological Spaces: An Initial Appraisal. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, Springer, Heidelberg (2002)Google Scholar
  19. 19.
    Bézivin, J., Devedzic, V., Djuric, D., Favreau, J.M., Gasevic, D., Jouault, F.: An M3-Neutral infrastructure for bridging model engineering and ontology engineering. In: Proceedings of INTEROP-ESA 2005, Geneve, Switzerland (2005)Google Scholar
  20. 20.
    Bernstein, P.A.: Applying Model Management to Classical Meta Data Problems. In: CIDR 2003, pp. 209–220 (2003)Google Scholar
  21. 21.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187–243 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
  23. 23.
    Madhavan, J., Bernstein, P.A., Rahm, E.: Generic Schema Matching using Cupid. In: VLDB 2001 (2001)Google Scholar
  24. 24.
    Madhavan, J., Bernstein, P.A., Chen, K., Halevy, A.Y., Shenoy, P.: Corpus-based Schema Matching. In: Kurumatani, K., Chen, S.-H., Ohuchi, A. (eds.) IJCAI-WS 2003 and MAMUS 2003. LNCS (LNAI), vol. 3012, pp. 59–66. Springer, Heidelberg (2004)Google Scholar
  25. 25.
    Del Fabro, M.D., Bézivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. In: Proceedings of the 1ère Journée sur l’Ingénierie Dirigée par les Modèles, IDM 2005 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Artur Boronat
    • 1
  • José Á. Carsí
    • 1
  • Isidro Ramos
    • 1
  1. 1.Department of Information Systems and ComputationPolytechnic University of ValenciaValenciaSpain

Personalised recommendations