| Cím | Designing the Automatic Transformation of Visual Languages |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2000 |
| Szerzők | Varró, D., Varró, G., and Pataricza, A. |
| Szerkesztő | Ehrig, H., and Taentzer, G. |
| Konferencia neve | GRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems |
| Kiadás dátuma | March 25–27 |
| Konferencia helyszíne | Berlin, Germany |
| Összefoglalás | 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 |
