| Title | Designing the Automatic Transformation of Visual Languages |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Varró, D., Varró, G., and Pataricza, A. |
| Editor | Ehrig, H., and Taentzer, G. |
| Conference Name | GRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems |
| Date Published | March 25–27 |
| Conference Location | Berlin, Germany |
| Abstract | The 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. |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2000/gratra2000_vvp.pdf |
