vUML

vUML: a tool for verifying UML models. The Unified Modelling Language (UML) is a standardised notation for describing object oriented software designs. We present vUML, a tool that automatically verifies UML models where the behaviour of the objects is described using UML Statecharts diagrams. The tool uses the SPIN model checker to perform the verification, but the user does not have to know how to use SPIN or the PROMELA language. If an error is found during the verification, the tool creates a UML sequence diagram showing how to reproduce the error in the model.


References in zbMATH (referenced in 16 articles )

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

  1. Ribeiro, Leila; Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Foss, Luciana: Correct transformation: from object-based graph grammars to PROMELA (2012)
  2. Siveroni, Igor; Zisman, Andrea; Spanoudakis, George: A UML-based static verification framework for security (2010)
  3. Lian, Jiexin; Hu, Zhaoxia; Shatz, Sol M.: Simulation-based analysis of UML statechart diagrams: Methods and case studies. (2008)
  4. Mullins, John; Oarga, Raveca: Model checking of extended OCL constraints on UML models in SOCLE (2007)
  5. Baresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel: Style-based modeling and refinement of service-oriented architecturesa graph transformation-based approach (2006)
  6. Dotti, Fernando Luís; Ribeiro, Leila; Dos Santos, Osmar Marchi; Pasini, Fábio: Verifying object-based graph grammars (2006)
  7. Loer, Karsten; Harrison, Michael D.: An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation (2006)
  8. Ober, Iulian; Graf, Susanne; Ober, Ileana: Validating timed UML models by simulation and verification (2006)
  9. Baldini, Andrea; Benso, Alfredo; Prinetto, Paolo: System-level functional testing from UML specifications in end-of-production industrial environments (2005)
  10. Baldini, Andrea; Benso, Alfredo; Prinetto, Paolo: System-level functional testing from UML specifications in end-of-production industrial environments (2005)
  11. Saffrey, Peter; Calder, Muffy: Optimising communication structure for model checking (2004)
  12. Varró, Dániel: Automated formal verification of visual modeling languages by model checking (2004)
  13. Attiogbé, Christian; Poizat, Pascal; Salaün, Gwen: Integration of formal datatypes within state diagrams (2003)
  14. Porres, Ivan: A toolkit for model manipulation (2003)
  15. Varró, Dániel: A formal semantics of UML statecharts by model transition systems (2002)
  16. Wang, Ji; Dong, Wei; Qi, Zhi-Chang: Slicing hierarchical automata for model checking UML statecharts (2002)