Henshin: Advanced concepts and tools for in-place EMF model transformations

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

Volumn 6394 LNCS, Issue PART 1, 2010, Pages 121-135

  Arendt, Thorsten ^a   Biermann, Enrico ^b   Jurack, Stefan ^a   Krause, Christian ^c   Taentzer, Gabriele ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TOOLS; ASSOCIATED TOOL; ATTRIBUTED GRAPH TRANSFORMATIONS; CODE GENERATION; ECLIPSE MODELING FRAMEWORK; FORMAL FOUNDATION; JAVA APPLICATIONS; META MODEL; MODEL TRANSFORMATION; OPERATIONAL SEMANTICS; REFACTORINGS; STRUCTURED DATA; TRANSFORMATION UNITS; VISUAL SYNTAXES;

EMBEDDED SYSTEMS; METALS; MODELS;

JAVA PROGRAMMING LANGUAGE;

EID: 78349265035     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16145-2_9     Document Type: Conference Paper

References (24)

1. EMF: Eclipse Modeling Framework, http://www.eclipse.org/emf
2. Steinberg, D., Budinsky, F., Patenostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison Wesley, Reading (2008)
3. MOF: Meta Object Facility (MOF) Core, http://www.omg.org/spec/MOF
4. Kermeta: http://www.kermeta.org
5. Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the Epsilon Wizard Language. Journal of Obj. Tech. 6(9), 53-69 (2007)
6. Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of Rule-Based Transformation in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 425-439. Springer, Heidelberg (2006) (Pubitemid 44618575)
7. Boronat, A.: MOMENT: A Formal Framework for Model Management. PhD thesis, Universitat Politècnica de València (2007)
8. AGG: Attributed Graph Grammar System, http://tfs.cs.tu-berlin.de/agg
9. Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF Model Refactoring based on Graph Transformation Concepts. ECEASST 3 (2006), http://easst.org/eceasst
10. Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 222-231. IEEE Computer Society, Los Alamitos (2008)
11. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
12. Biermann, E., Ermel, C., Taentzer, G.: Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework. ECEASST 26 (2010), http://easst.org/eceasst
13. Kuske, S.: Transformation Units-A structuring Principle for Graph Transformation Systems. PhD thesis, University of Bremen (2000)
14. UML: Unified Modeling Language, http://www.uml.org
15. EMF Refactor, http://www.mathematik.uni-marburg.de/~swt/modref
16. Henshin, http://www.eclipse.org/modeling/emft/henshin
17. EMFT: Eclipse Modeling Framework Technology, http://www.eclipse.org/ modeling/emft
18. Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. ECEASST 18 (2009), http://easst.org/eceasst
19. GReAT: Graph Rewriting and Transformation, http://www.isis.vanderbilt. edu/tools/GReAT
20. Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 299-305. Springer, Heidelberg (2006)
21. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
22. OCL: The Object Constraint Language, http://www.omg.org/technology/ documents/formal/ocl.htm
23. MOLA: MOdel transformation LAnguage, http://mola.mi.lu.lv
24. Balogh, A., Varró, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1280-1287. ACM, New York (2006), http://eclipse.org/gmt/VIATRA2