Graph Transformation Semantics for a QVT Language

Electronic Notes in Theoretical Computer Science

Volumn 211, Issue C, 2008, Pages 51-62

  Rensink, Arend ^a   Nederpel, Ronald ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SOFTWARE ARCHITECTURE;

GRAPH PRODUCTION SYSTEM; GRAPH TRANSFORMATION; MODEL TRANSFORMATION; TRANSFORMATION DEFINITION;

SEMANTICS;

EID: 42949174040     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.029     Document Type: Article

References (27)

1. Bardohl R., Ehrig H., de Lara J., and Taentzer G. Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. In: Wermelinger M., and Margaria-Steffen T. (Eds). Fundamental Approaches to Software Engineering. (FASE). LNCS 2984 (2004) 214-228
2. Burmester S., Giese H., Niere J., Tichy M., Wadsack J., Wagner R., Wendehals L., and Zündorf A. Tool integration at the meta-model level: The FuJaBA approach. Int'l Journal on Software Tools for Technology Transfer 6 (2004) 203-218
3. Csertán, G., G. Huszerl, I. Majzik, Z. Pap, A. Pataricza and D. Varró, VIATRA - visual automated transformations for formal verification and validation of UML models, in: Int'l Conference on Automated Software Engineering (ASE) (2002), pp. 267-270
4. Czarnecki, K. and S. Helsen, Classification of model transformation approaches, in: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architectures, 2003
5. de Lara J., and Taentzer G. Automated model transformation and its validation with Atom 3 and AGG. In: Blackwell A., Marriott K., and Shimojima A. (Eds). DIAGRAMS'2004. LNAI 2900 (2004) 182-198
6. DSTC, IBM and CBOP, MOF Query/Views/Transformations, second revised submission, OMG Document ad/2004-01-06, Object Management Group (2004)
7. DSTC QVT Team. Tefkat tutorial. See. www.dstc.edu.au
8. Ehrig H., Ehrig K., de Lara J., Taentzer G., Varró D., and Varró-Gyapay S. Termination criteria for model transformation. In: Cerioli M. (Ed). Fundamental Approaches to Software Engineering. (FASE). LNCS 3442 (2005) 49-63
9. Ermel C., Rudolf M., and Taentzer G. The AGG approach: Language and environment. In: Ehrig H., Engels G., Kreowski H.-J., and Rozenberg G. (Eds). Applications, Languages and Tools. Handbook of Graph Grammars and Computing by Graph Transformation Volume II (1999), World Scientific, Singapore 551-604
10. Gardner, T., C. Griffin, J. Koehler and R. Hauser, A review of OMG MOF 2.0 Query/Views/Transformations submissions and recommendations towards the final standard, in: First International Workshop on Metamodelling for MDA, 2003
11. Grunske L., Geiger L., and Lawley M. A graphical specification of model transformations with triple graph grammars. In: Hartman A., and Kreische D. (Eds). Model Driven Acritecture - Foundations and Applications. (ECMDA). LNCS 3748 (2005) 284-298
12. Kalnins A., Barzdins J., and Celms E. Model transformation language MOLA. In: Aßmann U., Aksit M., and Rensink A. (Eds). Model Driven Architecture. LNCS 3599 (2005) 62-76
13. In: Karsai G., and Taentzer G. (Eds). International Workshop on Graph and Model Transformation. (GRAMOT 2005). ENTCS 152 (2006)
14. Kastenberg H. Toward attributed graphs in GROOVE. (work in progress). In: Heckel R., Rensink A., and König B. (Eds). Graph Tranformation for Verification and Concurrency. ENTCS 154 (2006) 47-54
15. Kleppe A., Warmer J., and Bast W. MDA Explained, the Model Driven Architecture: Practise and Promise (2003), Addison-Wesley
16. Koenigs A., and Schürr A. Multi-domain integration with MOF and extended Triple Graph Grammars. In: Bezivin J., and Heckel R. (Eds). Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings number 04101 (2005)
17. Lambers, L., H. Ehrig and F. Orejas, Efficient detection of conflicts in graph-based model transformation, in: Karsai and Taentzer [13], pp. 97-109
18. Mens, T. and P. Van Gorp, A taxonomy of model transformation, in: Karsai and Taentzer [13], pp. 125-142
19. Nederpel, R., "A QVT model transformation language represented by graph production systems," Master's thesis, Department of Computer Science, University of Twente (2005), see http://www.cs.utwente.nl/~rensink/papers/nederpel2005.pdf
20. OMG, Meta Object Facility (MOF) specification, version 1.4, OMG Document formal/2002-04-03, Object Management Group (2002)
21. OMG, MOF 2.0 Query/View/Transformations RFP, version 1.1, OMG Document ad/2002-04-10, Object Management Group (2002)
22. OMG, MDA guide, version 1.0.1, OMG Document omg/2003-06-01, Object Management Group (2003)
23. Rensink A. The GROOVE simulator: A tool for state space generation. In: Pfalz J., Nagl M., and Böhlen B. (Eds). Applications of Graph Transformations with Industrial Relevance. (AGTIVE). LNCS 3062 (2004) 479-485
24. In: Rozenberg G. (Ed). Foundations. Handbook of Graph Grammars and Computing by Graph Transformations Volume I (1997), World Scientific, Singapore
25. Schürr A. Specification of graph translators with triple graph grammars. In: Mayr E.W., Schmidt G., and Tinhofer G. (Eds). Graph-Theoretic Concepts in Computer Science. LNCS 903 (1995) 151-163
26. Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi and G. Karsai, Domain model translation using graph transformations, in: International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS) (2003), pp. 159-168
27. Taentzer G., and Rensink A. Ensuring structural constraints in graph-based models with type inheritance. In: Cerioli M. (Ed). Fundamental Approaches to Software Engineering. (FASE). LNCS 3442 (2005) 64-79