CheckVML: A Tool for Model Checking Visual Modeling Languages

  title={CheckVML: A Tool for Model Checking Visual Modeling Languages},
  author={{\'A}kos Schmidt and D{\'a}niel Varr{\'o}},
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… CONTINUE READING
Highly Cited
This paper has 123 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-10 of 51 extracted citations

Towards Automated Software Verification and Validation

2009 International Conference on Computer Technology and Development • 2009
View 9 Excerpts
Highly Influenced

An Efficient Solution for Model Checking Graph Transformation Systems

Electr. Notes Theor. Comput. Sci. • 2008
View 12 Excerpts
Method Support
Highly Influenced

A Graph-based Design Framework for Global Computing Systems

Electr. Notes Theor. Comput. Sci. • 2009
View 3 Excerpts
Highly Influenced

Graph Transformations

Lecture Notes in Computer Science • 2004
View 4 Excerpts
Highly Influenced

123 Citations

Citations per Year
Semantic Scholar estimates that this publication has 123 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-5 of 5 references

Automated formal verification of visual modeling languages by model checking

Software & Systems Modeling • 2003
View 4 Excerpts
Highly Influenced

The Model Checker SPIN

IEEE Trans. Software Eng. • 1997
View 6 Excerpts
Highly Influenced

Pataricza.Metamodelingmathematics: A preciseandvisual framework for describingsemanticsdomainsof UML models.In J.-M.Jéźequel,H. Hussmann, andS.Cook (eds.),Proc

D. Varró andA
Fifth Intern. Conf. on theUnifiedModelingLanguage – TheLanguage and its Applications, vol. 2460of LNCS, • 2002
View 1 Excerpt

Automaticverificationof UML statechartdiagrams usingtheSPINmodel-check er

D. Latella, I. Majzik, andM. Massink
FormalAspectsof Computing, • 1999