Automatic reengineering in MDA using rewriting logic as transformation engine

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2005, Pages 228-231

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

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC REENGINEERING; FORMAL TRANSFORMATION; INFORMATION SYSTEMS; REWRITING LOGIC;

DATABASE SYSTEMS; INFORMATION SCIENCE; LEGACY SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; RELIABILITY;

AUTOMATION;

EID: 26944489048     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2005.14     Document Type: Conference Paper

References (7)

1. Ward, M.P., and Bennett, K.H., "Formal Methods to Aid the Evolution of Software"; Journal of Software Maintenance: Research and Practice, Vol 7, no 3, May-June 1995, pp 203-219.
2. OMG, "The Model-Driven Architecture, Guide Version 1.0.1", OMG Document: omg/2003-06-01. Available from www.omg.org
3. OMG, "Meta Object Facility 1.4", OMG Document: formal/02-04-03. Available from www.omg.org
4. OMG, "MOF 2.0 Query/Views/Transformations RFP", OMG Document ad/2002-04-10. Available from www.omg.org
5. Razvan Diaconescu, and Kokichi Futatsugi, "An overview of CafeOBJ", Electronic Notes in Theoretical Computer Science vol. 15: (2000)
6. N. Martí-Oliet and J. Meseguer, Rewriting logic: roadmap and bibliography, Theoretical Computer Science, vol. 285, issue 2 (August 2002), pp. 121-154.
7. A. Boronat, J. Pérez, J. Á. Carsi, and I. Ramos, "Two experiencies in software dynamics". Journal of Universal Science Computer. Special issue on Breakthroughs and Challenges in Software Engineering. April 2004.