Designing the Automatic Transformation of Visual Languages

CímDesigning the Automatic Transformation of Visual Languages
Közlemény típusaConference Paper
Kiadás éve2000
SzerzőkVarró, D., Varró, G., and Pataricza, A.
SzerkesztőEhrig, H., and Taentzer, G.
Konferencia neveGRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems
Kiadás dátumaMarch 25–27
Konferencia helyszíneBerlin, Germany
ÖsszefoglalásThe process of developing dependable, safety-critical systems controlled by computers requires a formal verification of conceptual and architectural choices by using different mathematical tools. According to a novel approach of IT system design, these input models to formal mathematical analysis are transformed automatically from the system model. Up to now, the design and implementation of such transformations was rather ad hoc missing any formal descriptions and methods. In this paper we present our efforts towards a model transformation system based on a powerful integration of graph transformation, planner algorithms and deductive databases in order to obtain an automatically generated, provenly correct and complete transformation code.