CheckVML: A Tool for Model Checking Visual Modeling Languages
| Cím | {CheckVML}: A Tool for Model Checking Visual Modeling Languages |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2003 |
| Szerzők | Schmidt, Á., and Varró, D. |
| Szerkesztő | Stevens, P., Whittle, J., and Booch, G. |
| Konferencia neve | Proc. UML 2003: 6th International Conference on the Unified Modeling Language |
| Kiadás dátuma | October 20-24 |
| Kiadó | Springer |
| Konferencia helyszíne | San Francisco, CA, USA |
| Összefoglalás | In the paper, we present a tool for model checking dynamic consistency properties in arbitrary well-formed instance models of any modeling language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high-level specifications into a tool independent abstract representation of transition systems defined by a corresponding metamodel. From this intermediate representation the input language of the back-end model checker tool (i.e., SPIN in our case) is generated automatically. |
| Jegyzetek | Acceptance rate: 15% |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2003/uml2003_sv.pdf |
