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

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

1 2 next

  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. Du, Dehui; Liu, Jing; Cao, Honghua; Zhang, Miaomiao: BAS: A case study for modeling and verification in trustable model driven development (2009)
  4. Lian, Jiexin; Hu, Zhaoxia; Shatz, Sol M.: Simulation-based analysis of UML statechart diagrams: Methods and case studies. (2008)
  5. Mullins, John; Oarga, Raveca: Model checking of extended OCL constraints on UML models in SOCLE (2007)
  6. Baresi, Luciano; Heckel, Reiko; Thöne, Sebastian; Varró, Dániel: Style-based modeling and refinement of service-oriented architecturesa graph transformation-based approach (2006)
  7. Dotti, Fernando Luís; Ribeiro, Leila; Dos Santos, Osmar Marchi; Pasini, Fábio: Verifying object-based graph grammars (2006)
  8. Loer, Karsten; Harrison, Michael D.: An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation (2006)
  9. Ober, Iulian; Graf, Susanne; Ober, Ileana: Validating timed UML models by simulation and verification (2006)
  10. Westphal, Bernd: LSC verification for UML models with unbounded creation and destruction. (2006)
  11. Baldini, Andrea; Benso, Alfredo; Prinetto, Paolo: System-level functional testing from UML specifications in end-of-production industrial environments (2005)
  12. Baldini, Andrea; Benso, Alfredo; Prinetto, Paolo: System-level functional testing from UML specifications in end-of-production industrial environments (2005)
  13. Dotti, Fernando Luís; Duarte, Lucio Mauro; Foss, Luciana; Ribeiro, Leila; Russi, Daniela; Dos Santos, Osmar Marchi: An environment for the development of concurrent object-based applications (2005)
  14. Gutiérrez, Maria Encarnación Beato; Barrio-Solórzano, Manuel; Quintero, Carlos Enrique Cuesta; La Fuente, Pablo De: UML automatic verification tool with formal methods. (2005)
  15. Dos Santos, Osmar Marchi; Dotti, Fernando Luís; Ribeiro, Leila: Verifying object-based graph grammars. (2004)
  16. Mota, Edjard; Clarke, Edmund M.; Groce, Alex; Oliveira, Waleska; Falcão, Marcia; Kanda, Jorge: Veriagent: An approach to integrating UML and formal verification tools. (2004)
  17. Saffrey, Peter; Calder, Muffy: Optimising communication structure for model checking (2004)
  18. Attiogbé, Christian; Poizat, Pascal; Salaün, Gwen: Integration of formal datatypes within state diagrams (2003)
  19. Varró, Dániel: A formal semantics of UML statecharts by model transition systems (2002)
  20. Wang, Ji; Dong, Wei; Qi, Zhi-Chang: Slicing hierarchical automata for model checking UML statecharts (2002)

1 2 next