A diagrammatic approach to model transformations

EATIS 2008 - Proceedings of the 2008 Euro American Conference on Telematics and Information Systems

Volumn , Issue , 2008, Pages

  Rutle, Adrian ^a   Wolter, Uwe ^b   Lamo, Yngve ^a  

^a BERGEN UNIVERSITY COLLEGE   (Norway)

^b UNIVERSITY OF BERGEN   (Norway)

Author keywords

Diagrammatic specifications; Eclipse modeling framework; Meta object facility; Model driven architecture; Model transformations; Modeling; Unified modeling language

Indexed keywords

DIAGRAMMATIC SPECIFICATIONS; ECLIPSE MODELING FRAMEWORK; META OBJECT FACILITY; MODEL DRIVEN ARCHITECTURE; MODEL TRANSFORMATIONS; MODELING;

EMBEDDED SYSTEMS; FORMAL LOGIC; INFORMATION SYSTEMS; LINGUISTICS; QUERY LANGUAGES; SOFTWARE ENGINEERING; SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 70350660535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1621087.1621105     Document Type: Conference Paper

References (15)

1. Model Driven Architecture Guide, June 2003. Object Management Group, http://www.omg.org/cgi-bin/doc?omg/03-06-01.
2. MOF Query, Views and Transformations, November 2005. Object Management Group, http://www.omg.org/cgi-bin/doc?ptc/2005-11-01.
3. Object Constraint Language, May 2006. Object Management Group, http://www.omg.org/docs/formal/06-05-01.pdf.
4. Luciano Baresi and Reiko Heckel. Tutorial introduction to graph transformation: A software engineering perspective. In ICGT, pages 431-433, 2004.
5. Krzysztof Czarnecki and Simon Helsen. Classification of model transformation approaches. In OOPSLA 2003, editor, Generative Techniques in the context of MDA, 2003.
6. Reiko Heckel. Graph transformation in a nutshell. Electr. Notes Theor. Comput. Sci., 148(1):187-198, 2006.
7. Anneke Kleppe, Jos Warmer, and Wim Bast. MDA Explained: practice and promise. Addison-Wesley, 1 edition, April 2003.
8. Gøran K. Olsen and Jon Oldevik. Scenarios of traceability in model to text transformations. In ECMDA-FA, volume 4530 of Lecture Notes in Computer Science, pages 144-156. Springer, 2007.
9. OMG. OMG Model Driven Architecture Web Site, June 2007. Object Management Group, http://www.omg.org/mda/index.htm.
10. Adrian Rutle, Uwe Wolter, and Yngve Lamo. Diagrammatic software specifications. In Iceland Reykjavik University, editor, The 18th Nordic Workshop on Programming Theory (NWPT'06), october 2006.
11. Adrian Rutle, Uwe Wolter, and Yngve Lamo. A formal approach to modeling and model transformations in software engineering. Technical Report 48, Department of Informatics, University of Turku, Finland, 2008.
12. Adrian Rutle, Uwe Wolter, and Yngve Lamo. Generalized sketches and model driven architecture. Technical Report 367, Department of Informatics, University of Bergen, Norway, 2008. Presented at CALCO Young Researchers Workshop 2007.
13. Perdita Stevens. Bidirectional model transformations in qvt: Semantic issues and open questions. In Gregor Engels, Bill Opdyke, Douglas C. Schmidt, and Frank Weil, editors, MoDELS, volume 4735 of Lecture Notes in Computer Science, pages 1-15. Springer, 2007.
14. Dániel Varró and András Balogh. The model transformation language of the viatra2 framework. Sci. Comput. Program., 68(3):214-234, 2007.
15. Uwe Wolter and Zinovy Diskin. Generalized sketches: Towards a universal logic for diagrammatic modeling in software engineering. 2008. ACCAT 2007, ENTCS, Accepted for publication.