| Cím | Towards Symbolic Analysis of Visual Modelling Languages |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2002 |
| Szerzők | Varró, D. |
| Szerkesztő | Bottoni, P., and Minas, M. |
| Konferencia neve | Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques |
| Kiadás dátuma | October 11-12 |
| Kiadó | Elsevier |
| Konferencia helyszíne | Barcelona, Spain |
| ISBN-szám | 0444514082 |
| Összefoglalás | Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verification for such modeling languages by providing a meta-level transformation of well-formed model instances into SAL specifications. We also discuss several optimizations in the translation process that makes our approach efficient and independent of the SAL framework. |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2002/grabats2002_varro.pdf |
