Download:
by Dániel Varró
Applied Graph Transformation (AGT’02), pages 161 – 174. Satellite Workshop of ’European Joint Conferences on Theory and Practice of Software
http://www.inf.mit.bme.hu/FTSRG/Publications/agt2002_varro.pdf
Add To MetaCart
Abstract:
Abstract. Model transformation systems are graph transformation systems that perform translations between languages defined by a corresponding metamodel as the type graph. The current paper proposes a reflective method for the automatic generation of the implementation for such transformation systems derived from a high–level specification consisting of a set of graph transformation rules and a control flow graph. The program generator takes a UML profile tailored to model transformation systems as the input, and produces the output Prolog program by successive model transformation steps. In this respect, only the core of the program generator is implemented by hand, and afterwards, this core provides automation for additional features of the VIATRA model transformation system.
Citations
|
214
|
Handbook of Graph Grammars and Computing by Graph Transformation
– Rozenberg, ed
|
|
66
|
UML 2001: A Standardization Odyssey
– KOBRYN
|
|
41
|
Designing the automatic transformation of visual languages
– Varró, Varró, et al.
|
|
29
|
An Overview of SAL
– Bensalem, Ganesh, et al.
- 2000
|
|
25
|
Tool demonstration: The fujaba environment
– Nickel, Niere, et al.
- 2000
|
|
21
|
Story diagrams: A new graph transformation language based on UML and Java
– Fischer, Niere, et al.
- 1998
|
|
21
|
Towards common exchange formats for graphs and graph transformation systems
– Taentzer
- 2001
|
|
15
|
Automatic verification of UML statechart diagrams using the SPIN model-checker
– Latella, Majzik, et al.
- 1999
|
|
14
|
UML collaboration diagrams and their transformation to Java
– Engels, Hucking, et al.
- 1999
|
|
12
|
Generating diagram editors providing free-hand editing as well as syntax-directed editing
– Köth, Minas
- 2000
|
|
12
|
Checking general safety criteria on UML statecharts
– Pap, Majzik, et al.
- 2001
|
|
11
|
Dependability analysis in the early phases of UML based system design
– Bondavalli, Cin, et al.
|
|
9
|
Evaluation of Safety-Critical Systems based on Guarded Statecharts
– Cin, Huszerl, et al.
- 1999
|
|
8
|
Conceptual model of the graphical editor GENGED for the visual definition of visual languages
– BARDOHL, EHRIG
- 1998
|
|
5
|
Mathematical model transformations for system verification
– Varró, Pataricza
- 2001
|
|
2
|
15], chap. Algebraic Approaches to Graph Transformation — Part II: Single pushout approach and comparison with double pushout approach
– In
- 1997
|
|
1
|
Software Reliability Methods, chap. Message Sequence Charts
– Peled
- 2001
|
