@inproceedings {uml2003_tool, title = {{CheckVML}: A Tool for Model Checking Visual Modeling Languages}, booktitle = {Proc. UML 2003: 6th International Conference on the Unified Modeling Language}, series = {LNCS}, volume = {2863}, year = {2003}, note = {Acceptance rate: 15\%}, month = {October 20-24}, pages = {92{\textendash}95}, publisher = {Springer}, organization = {Springer}, address = {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.
}, url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2003/uml2003_sv.pdf}, author = {{\'A}kos Schmidt and D{\'a}niel Varr{\'o}}, editor = {Perdita Stevens and Jon Whittle and Grady Booch} }