CheckVML: A Tool for Model Checking Visual Modeling Languages
| Title | {CheckVML}: A Tool for Model Checking Visual Modeling Languages |
| Publication Type | Conference Paper |
| Year of Publication | 2003 |
| Authors | Schmidt, Á., and Varró, D. |
| Editor | Stevens, P., Whittle, J., and Booch, G. |
| Conference Name | Proc. UML 2003: 6th International Conference on the Unified Modeling Language |
| Date Published | October 20-24 |
| Publisher | Springer |
| Conference Location | San Francisco, CA, USA |
| Abstract | 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. |
| Notes | Acceptance rate: 15% |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2003/uml2003_sv.pdf |
