Model transformations powered by rewriting logic

CEUR Workshop Proceedings

Volumn 344, Issue , 2008, Pages 41-44

  Lucas, Francisco J ^a   Toval, Ambrosio ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC SPECIFICATIONS; CURRENT TRANSFORMATION; MODEL TRANSFORMATION; REWRITING LOGIC; RIGOROUS APPROACH;

SPECIFICATIONS;

MATHEMATICAL MODELS;

EID: 77249118547     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. OMG: MDA Guide Version 1.0.1, http://www.omg.org/mda. (2001)
2. OMG: MOF QVT Final Adopted Specification. Object Management Group., Retrieved from: http://www.omg.org/docs/ptc/07-07-07.pdf. (2007)
3. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1): 73-155 (1992)
4. Mens, T., Czarnecki, K., Van Gorp, P.: A Taxonomy of Model Transformations. Int. Workshop on Graph and Model Transformation (GraMoT). Estonia (2005)
5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcote, C.: Maude 2.3 Manual., http://maude.csl.sri.com/. (2007)