Automatic support for traceability in a generic model management framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3748 LNCS, Issue , 2005, Pages 316-330

  Boronat, Artur ^a   Carsí, José Á ^a   Ramos, Isidro ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Model Management; Model Driven Architecture; Software maintenance; Traceability

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING; COMPUTER SIMULATION; INTEGRATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

MODEL MANAGEMENT; MODEL-DRIVEN ARCHITECTURE; REFINEMENT STEPS; TRACEABILITY;

COMPUTER SOFTWARE MAINTENANCE;

EID: 33646568140     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11581741_23     Document Type: Conference Paper

References (25)

1. Palmer, J.D.: Traceability. Richard H. Thayer and Merlin Dorfman, Software Requirements Engineering, 2nd Edition, IEEE Computer Society, pages 412-422, 2000.
2. Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. Software Engineering, 27(1):58-93, 2001.
3. OMG Model-Driven Architecture. http://www.omg.org/mda/
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 (Dec. '00)).
5. Melnik, S., E. Rahm, P. A. Bernstein, "Rondo: A Programming Platform for Generic Model Management," Proc. SIGMOD 2003, pp. 193-204 (PDF, 344KB). Extended version in Web Semantics, Volume 1, Number 1.
6. Song, G., Zhang, K., Kong, J.: Model Management Through Graph Transformation. IEEE VL/HCC'04. Rome, Italy. 2004.
7. Boronat, A., Pérez, J., Carsí, J. Á., Ramos, I.: Two experiencies in software dynamics. Journal of Universal Science Computer. Special issue on Breakthroughs and Challenges in Software Engineering. Vol. 10 (issue 4). April 2004.
8. Boronat, A., Carsí, J.Á., Ramos, I.: Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. IEEE Computer Society Press. 9th European Conference on Software Maintenance and Reengineering. Manchester, UK. 2005.
9. M. Dorfman and R. Thayer. Guide to software requirements specification. IEEE Standards, Guidelines and Examples on System and Software Requirements Engineering, 1990.
10. Gotel, O. C. Z. and Finkelstein, A. C. W.: An Analysis of the Requirements Traceability Problem, Proceedings of the First International Conference on Requirements Engineering (ICRE '94), IEEE Computer Society Press, Colorado Springs, Colorado, U.S.A., April 18-22, pp. 94-101.
11. Requirements tools in the Volere web site: http://www.volere.co.uk/tools. htm
12. Object Management Group. Request for Proposal: MOF 2.0 Query/Views/Transformations RFP, 2002. ad/2002-04-10.
13. The EMF site: http://download.eclipse.org/tools/emf/scripts/home.php
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 Proc. of the Third International Semantic Web Conference 2004, Hiroshima, Japan.
15. The Hyena web site: http://www.pst.ifi.lmu.de/~rauschma/hyena/
16. The Graphical Modeling Framework proposal: http://www.eclipse.org/ proposals/eclipse-gmf/main.html
17. The JANE Model-specific editor generator web site: http://www.dstc.edu. au/Research/Projects/Pegamento/jane/
18. Kurtev, I., Bézivin, J., Aksit, M.: Technological Spaces: An Initial Appraisal. Int. Federated Conf. (DOA, ODBASE, CoopIS), Industrial track, Irvine, 2002.
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'05, Geneve, Switzerland. 2005.
20. Bernstein, P.A: Applying Model Management to Classical Meta Data Problems, pp. 209-220, CIDR 2003.
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.
22. OMG, "Meta Object Facility 1.4", http://www.omg.org/technology/ documents/formal/mof.htm
23. Madhavan, J., P.A. Bernstein, and E. Rahm: Generic Schema Matching using Cupid. VLDB 2001.
24. Madhavan, J., Bernstein, P. A., Chen, K., Halevy, A.Y., Shenoy, P.: Corpus-based Schema Matching," Workshop on Information Integration on the Web, at IJCAI'2003, pp. 59-66.
25. Didonet Del Fabro, M, Bézivin, J, Jouault, F, Breton, E, and Gueltas, G : AMW: a generic model weaver. Proceedings of the lère Journée sur l'Ingénierie Dirigée par les Modèles (IDM05). 2005.