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 20 articles )

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

  1. Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena: Intra- and interdiagram consistency checking of behavioral multiview models (2015)
  2. Ribeiro, Leila; Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Foss, Luciana: Correct transformation: from object-based graph grammars to PROMELA (2012)
  3. Zhang, Yan; Tang, Tao; Li, KePing; Mera, Jose Manuel; Zhu, Li; Zhao, Lin; Xu, TianHua: Formal verification of safety protocol in train control system (2011)
  4. Siveroni, Igor; Zisman, Andrea; Spanoudakis, George: A UML-based static verification framework for security (2010) ioport
  5. Rafe, Vahid; Rahmani, Adel T.: Towards automated software model checking using graph transformation systems and bogor (2009)
  6. Lian, Jiexin; Hu, Zhaoxia; Shatz, Sol M.: Simulation-based analysis of UML statechart diagrams: Methods and case studies. (2008) ioport
  7. Mullins, John; Oarga, Raveca: Model checking of extended OCL constraints on UML models in SOCLE (2007)
  8. Baresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel: Style-based modeling and refinement of service-oriented architecturesa graph transformation-based approach (2006) ioport
  9. Dotti, Fernando Luís; Ribeiro, Leila; Dos Santos, Osmar Marchi; Pasini, Fábio: Verifying object-based graph grammars (2006) ioport
  10. Loer, Karsten; Harrison, Michael D.: An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation (2006) ioport
  11. Ober, Iulian; Graf, Susanne; Ober, Ileana: Validating timed UML models by simulation and verification (2006) ioport
  12. Baldini, Andrea; Benso, Alfredo; Prinetto, Paolo: System-level functional testing from UML specifications in end-of-production industrial environments (2005) ioport
  13. Baldini, Andrea; Benso, Alfredo; Prinetto, Paolo: System-level functional testing from UML specifications in end-of-production industrial environments (2005) ioport
  14. Saffrey, Peter; Calder, Muffy: Optimising communication structure for model checking (2004)
  15. Varró, Dániel: Automated formal verification of visual modeling languages by model checking (2004) ioport
  16. Attiogbé, Christian; Poizat, Pascal; Salaün, Gwen: Integration of formal datatypes within state diagrams (2003)
  17. Porres, Ivan: A toolkit for model manipulation (2003) ioport
  18. Varró, Dániel: A formal semantics of UML statecharts by model transition systems (2002)
  19. Wang, Ji; Dong, Wei; Qi, Zhi-Chang: Slicing hierarchical automata for model checking UML statecharts (2002)
  20. Baresi, Luciano; Pezzè, Mauro: Improving UML with Petri nets (2001)