Precise semantics of EMF model transformations by graph transformation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 53-67

  Biermann, Enrico ^a   Ermel, Claudia ^a   Taentzer, Gabriele ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

Eclipse modeling framework; Graph transformation; Model transformation; Model driven software development

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROL THEORY; EMBEDDED SYSTEMS; INFORMATION THEORY; LINGUISTICS; MODELS; SOFTWARE DESIGN; SYSTEMS ANALYSIS;

ALGEBRAIC GRAPH TRANSFORMATIONS; CONSISTENT TRANSFORMATIONS; ECLIPSE MODELING FRAMEWORK; ECLIPSE MODELING FRAMEWORKS; FUNCTIONAL BEHAVIORS; GRAPH TRANSFORMATION; GRAPH TRANSFORMATIONS; MODEL TRANSFORMATION; MODEL TRANSFORMATIONS; MODEL-DRIVEN SOFTWARE DEVELOPMENT; MODEL-DRIVEN SOFTWARE DEVELOPMENTS; MODELING LANGUAGES; REFACTORINGS; STATECHART MODELS;

GRAPH THEORY;

EID: 56649101995     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_4     Document Type: Conference Paper

References (13)

1. AGG Homepage, http://tfs.es.tu-berlin.de/agg
2. Biermann, E., Ehrig, K., Köhler. C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. In: Proc. 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Gen-ova, Italy (October 2006)
3. Boronat, A.: MOMENT: A Formal Framework for Model Management. PhD thesis, Univer-stat Politècnica de València (2007)
4. Eclipse Consortium. Eclipse Modeling Framework (EMF) - Version 2.4 (2008), http://www.eclipse.org/emf
5. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
6. Eclipse model development tools (2007), http: //www.eclipse.org/modeling/ mdt
7. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Proc. Workshop Model Transformations in Practice (at MoDELS 2005), Montego Bay, Jamaica (2005)
8. Lawley, M., Steel, J.: Practical Declarative Model Transformation With Tefkat. In: Proc. Workshop Model Transformation in Practice (at MoDELS 2005) (2005)
9. Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and System Modeling 6(3), 269-285 (2007)
10. Mens, T., Tourwé, T.: A survey of software refactoring. Transactions on Software Engineering 30(2), 126-139(2004)
11. Rensink, A., Taentzer, G.: Ensuring structural constraints in graph-based models with type inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 64-79. Springer, Heidelberg (2005)
12. Varró, D., Balogh, A.: The model transformation language of the viatra2 framework. Sci. Comput. Program 68(3), 214-234 (2007)
13. MOF 2.0 / XMI Mapping Specification (2008), http://www.omg.org/ technology/documents/formal/xmi.htm