Abstract
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.
This work was supported by the Spanish Government under the National Program for Research, Development and Innovation, DYNAMICA Project TIC 2003-07804-C05-01.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. Software Engineering 27(1), 58–93 (2001)
OMG Model-Driven Architecture, http://www.omg.org/mda/
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))
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)
Song, G., Zhang, K., Kong, J.: Model Management Through Graph Transformation. In: IEEE VL/HCC 2004, Rome, Italy (2004)
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 Engineering
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)
Dorfman, M., Thayer, R.: Guide to software requirements specification. IEEE Standards, Guidelines and Examples on System and Software Requirements Engineering (1990)
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)
Requirements tools in the Volere web site, http://www.volere.co.uk/tools.htm
Object Management Group. Request for Proposal: MOF 2.0 Query/Views/Transformations RFP, ad/2002-04-10 (2002)
The EMF site, http://download.eclipse.org/tools/emf/scripts/home.php
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)
The Hyena web site, http://www.pst.ifi.lmu.de/~rauschma/hyena/
The Graphical Modeling Framework proposal, http://www.eclipse.org/proposals/eclipse-gmf/main.html
The JANE Model-specific editor generator web site, http://www.dstc.edu.au/Research/Projects/Pegamento/jane/
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)
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)
Bernstein, P.A.: Applying Model Management to Classical Meta Data Problems. In: CIDR 2003, pp. 209–220 (2003)
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)
OMG, Meta Object Facility 1.4, http://www.omg.org/technology/documents/formal/mof.htm
Madhavan, J., Bernstein, P.A., Rahm, E.: Generic Schema Matching using Cupid. In: VLDB 2001 (2001)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boronat, A., Carsí, J.Á., Ramos, I. (2005). Automatic Support for Traceability in a Generic Model Management Framework. In: Hartman, A., Kreische, D. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2005. Lecture Notes in Computer Science, vol 3748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581741_23
Download citation
DOI: https://doi.org/10.1007/11581741_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30026-7
Online ISBN: 978-3-540-32093-7
eBook Packages: Computer ScienceComputer Science (R0)