Designing the Automatic Transformation of Visual Languages

TitleDesigning the Automatic Transformation of Visual Languages
Publication TypeConference Paper
Year of Publication2000
AuthorsVarró, D., Varró, G., and Pataricza, A.
EditorEhrig, H., and Taentzer, G.
Conference NameGRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems
Date PublishedMarch 25–27
Conference LocationBerlin, Germany
AbstractThe 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.
URLhttp://www.inf.mit.bme.hu/FTSRG/Publications/varro/2000/gratra2000_vvp.pdf