Model transformations and tool integration

Software and Systems Modeling

Volumn 4, Issue 2, 2005, Pages 112-122

  Tratt, Laurence ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Model transformations; Modelling; QVT; Tool integration; Transformations

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PATTERN MATCHING; XML;

GRAPH TRANSFORMATION; MODEL TRANSFORMATIONS; QUERIES-VIEWS-TRANSFORMATION (QVT); TOOL INTEGRATION;

SOFTWARE ENGINEERING;

EID: 19644388725     PISSN: 16191366     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10270-004-0070-1     Document Type: Article

References (51)

1. Agrawal A, Karsai G, Shi F (2003) Graph transformations on domain-specific models. Technical report, Institute for Software Integrated Systems, Vanderbilt University, November
2. Aho AV, Sethi R, Ullman JD (1986) Compilers: Principles, Techniques and Tools. Addison Wesley
3. Akehurst DH, Kent SJH (2002) A relational approach to defining transformations in a metamodel. In: Jézéquel J-M, Hussmann H, Cook S (eds) UML 2002 - The Unified Modeling Language: 5th International Conference. Springer-Verlag, pp 243-258
4. Andries M, Engels G, Habel A, Hoffmann B, Kreowski H-J, Kuske S, Plump D, Schürr A, Taentzer G (1999) Graph transformation for specification and programming. Technical Report 7, University of Bremen
5. Appukuttan B, Clark T, Evans A, Kent S, Maskeri G, Sammut P, Tratt L, Willans JS (2002) Unambiguous uml submission to uml 2 infrastructure rfp, September. OMG document ad/2002-06-14
6. Appukuttan BK, Clark T, Reddy S, Tratt L, Venkatesh R (2003) A pattern based model driven approach to model transformations. In: Metamodelling for MDA 2003, November
7. Barták R (1999) Constraint programming: What is behind? In: Proceedings of CPDC99, pp 7-15, June
8. Becker SM, Haase T, Westfechtel B (2004) Model-based a-posteriori integration of engineering tools for incremental development processes. SoSyM. To appear
9. Bergmans LM, Aksit M (2001) How to deal with encapsulation in aspect-orientation. In: Proceedings of OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, October
10. Bex GJ, Maneth S, Neven F (2002) A formal model for an expressive fragment of XSLT. Information Systems 28(1):21-39
11. Bézivin J, Dupé, G., Jouault F, Pitette G, Rougui JE (2003) First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, October
12. Bézivin J, Gérard S (2002) A preliminary identification of MDA components. In: Generative Techniques in the context of Model Driven Architecture, November
13. Biggerstaff TJ (1995) Pattern matching for program generation: A user manual. Technical Report TR-98-55, Microsoft Research
14. Borovanský P, Kirchner C, Kirchner H, Moreau P-E, Vittek M (1996) Elan: A logical framework based on computational systems. In: Proc. first international workshop on rewriting logic
15. Braun P, Marschall F (2002) Transforming object oriented models with BOTL. International Workshop on Graph Transformation and Visual Modeling Techniques 72(3)
16. Clark T, Evans A, Kent S (2001) Initial submission to OMG RFP's ad/ 00-09-01 (UML 2.0 infrastructure) ad/00-09-03 (UML 2.0 OCL)
17. Compuware, Sun (2003) XMOF queries, views and transformations on models using MOF, OCL and patterns, August. OMG document ad/2003-08-07 (2003) August. OMG document ad/2003-08-07
18. Czarnecki K, Eisenecker UW (2000) Generative Programming. Addison Wesley
19. Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In: Bettin J, van Emde Boas G, Agrawal A, Willink E, Bézivin J (eds) Second Workshop on Generative Techniques in the context of Model Driven Architecture, October
20. DSTC, IBM, CBOP (2003) MOF query/views/transformations first revised submission, August. OMG document ad/2003-08-03
21. Evans A (1998) Reasoning with UML class diagrams. In: Second IEEE Workshop on Industrial Strength Formal Specification Techniques, October
22. Gardner T, Griffin C, Koehler J, Hauser R (2003) Query/views/ transformations submissions & recommendations towards final standard, August. OMG document ad/03-08-02
23. Gerber A, Lawley M, Raymond K, Steel J, Wood A (2002) Transformation: The missing link of MDA. In: Corradini A, Ehrig H, Kreowski H-J, Rozenberg G (eds) Graph Transformation: First International Conference, ICGT 2002, pp 90-105, October
24. Gogolla M (2000) Graph transformations on the UML metamodel. In: Rolim JDP, Broder AZ, Corradini A, Gorrieri R, Heckel R, Hromkovic J, Vaccaro U, Wells JB (eds) ICALP Workshop on Graph Transformations and Visual Modeling Techniques. Carleton Scientific, pp 359-371
25. Gogolla M, Parisi-Presicce F (1998) State diagrams in UML: A formal semantics using graph transformations. In: Broy M, Coleman D, Maibaum TSE, Rumpe B (eds) Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitát München, TUM-I9803
26. Gogolla M, Ziemann P, Kuske S (2003) Towards an integrated graph based semantics for UML. In: Bottoni P, Minas M (eds) Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), Electronic Notes in Theoretical Computer Science, vol 72
27. Griswold RE, Griswold MT (1996) The Icon Programming Language. Peer-to-Peer Communications, third edition
28. Heckel R, Küster JM, Taentzer G (2002) Confluence of typed attributed graph transformation systems. In: Corradini A, Kreowski, H-J (eds) Proceedings First International Conference on Graph Transformation (ICGT 02). Springer-Verlag, pp 161-176, October
29. Hudak P (1996) Building domain-specific embedded languages. ACM Computing Surveys 28(4):196, December
30. Kepser S (2002) A proof of the Turing-completeness of XSLT and XQuery. Technical Report SFB 441, Eberhard Karls Universität Tübingen, June
31. Küster JM, Heckel R, Engels G (2003) Defining and validating transformations of UML models. In: IEEE Symposium on Visual Languages and Formal Methods, October
32. Lacey D, Jones ND, Wyk EV, Frederiksen CC (2002) Proving correctness of compiler optimizations by temporal logic. In: Proc. 29th ACM Symposium on Principles of Programming Languages. Association of Computing Machinery, pp 283-294
33. Lano K, Bicarregui J (1998) UML refinement and abstraction transformations. In: Second Workshop on Rigorous Object Oriented Methods: ROOM 2, Bradford, May
34. Levendovszky T, Karsai G, Maroti M, Ledeczi A, Charaf H (2002) Model reuse with metamodel-based transformations. In: Gacek C (ed) ICSR, Lecture Notes in Computer Science, vol 2319. Springer
35. Object Management Group (2002) Request for Proposal: MOF 2.0 Query/Views/ Transformations RFP. OMG document ad/2002-04-10
36. Object constraint language specification (1997) OMG document ad/97-08-08
37. OpenQVT (2003) Response to the MOF 2.0 query/views/transformations RFP, August. OMG document ad/2003-08-05
38. Peltier M, Bézivin J, Guillaume G (2001) MTRANS: A general framework, based on XSLT, for model transformations. In: WTUML 2001, Italy, April
39. QVT-Partners (2003) First revised submission to QVT RFP, August. OMG document ad/03-08-08
40. Schürr A, Winter AJ (1998) UML packages for programmed graph rewriting systems. In: Proc. TAGT'98 - Theory and Application of Graph Transformations, November
41. Sendall S (2003) Combining generative and graph transformation techniques for model transformation: An effective alliance? In: Generative techniques in the context of MDA, October
42. Sheard T, Jones SP (2002) Template meta-programming for Haskell. In: Proceedings of the Haskell workshop 2002. ACM
43. Sutherland I (1963) Sketchpad: A man-machine graphical communication system. In: Proceedings Spring Joint Computer Conference, IFIPS, pp 329-346
44. Tratt L, Clark T (2003) Issues surrounding model consistency and QVT. Technical Report TR-03-08, Department of Computer Science, King's College London, December
45. Tratt L, Clark T (2003) Model transformations in Converge, October. Workshop in Software Model Engineering (WiSME) 2003
46. van Rossum G (2001) Python 2.2 reference manual. http://www.python.org/ doc/2.2/ref/ref.html
47. Varró D, Pataricza A (2003) UML action semantics for model transformation systems. Periodica Politechnica 47(3):167-168
48. W3C (1999) XSL Transformations (XSLT). http://www.w3.org/TR/xslt
49. Wall L, Christiansen T, Orwant J (2000) Programming Perl. O'Reilly, third edition
50. Whittle J (2002) Transformations and software modeling languages: Automating transformations in UML. In: Jézéquel J.-M., Hussmann H, Cook S (eds) UML 2002 - The Unified Modeling Language: 5th International Conference. Springer-Verlag, pp 227-242
51. Willink ED (2003) UMLX : A graphical transformation language for MDA. In: 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, October