CheckVML: A Tool for Model Checking Visual Modeling Languages

Title{CheckVML}: A Tool for Model Checking Visual Modeling Languages
Publication TypeConference Paper
Year of Publication2003
AuthorsSchmidt, Á., and Varró, D.
EditorStevens, P., Whittle, J., and Booch, G.
Conference NameProc. UML 2003: 6th International Conference on the Unified Modeling Language
Date PublishedOctober 20-24
Conference LocationSan Francisco, CA, USA

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.

NotesAcceptance rate: 15%