CheckVML

CheckVML: A Tool for Model Checking Visual Modeling Languages. 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.


References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Bucchiarone, Antonio; Dennis, Greg; Gnesi, Stefania: A graph-based design framework for global computing systems (2009)
  2. Kuske, Sabine; Gogolla, Martin; Kreowski, Hans-Jörg; Ziemann, Paul: Towards an integrated graph-based semantics for UML (2009)
  3. Baresi, Luciano; Rafe, Vahid; Rahmani, Adel Torkaman; Spoletini, Paola: An efficient solution for model checking graph transformation systems. (2008)
  4. Ermel, Claudia; Ehrig, Hartmut: Behavior-preserving simulation-to-animation model and rule transformations. (2008)
  5. Ermel, Claudia; Ehrig, Hartmut: Behavior-preserving simulation-to-animation model and rule transformations (2008)
  6. Narayanan, Anantha; Karsai, Gabor: Towards verifying model transformations. (2008)
  7. Narayanan, Anantha; Karsai, Gabor: Towards verifying model transformations (2008)
  8. Rafe, Vahid; Rahmani, Adel T.: Formal analysis of workflows using UML 2.0 activities and graph transformation systems (2008)
  9. Jürjens, Jan; Shabalin, Pasha: Tools for secure systems development with UML (2007)
  10. Baresi, Luciano; Spoletini, Paola: On the use of Alloy to analyze graph transformation systems (2006)
  11. Lambers, Leen: A new version of GTXL : An exchange format for graph transformation systems (2005)
  12. Rensink, Arend; Schmidt, Ákos; Varró, Dániel: Model checking graph transformations: A comparison of two approaches (2004)
  13. Varró, Dániel: Automated formal verification of visual modeling languages by model checking (2004)