Volume 4 Number 3 (May. 2009)
Home > Archive > 2009 > Volume 4 Number 3 (May. 2009) >
JSW 2009 Vol.4(3): 175-182 ISSN: 1796-217X
doi: 10.4304/jsw.4.3.175-182

Efficient Algorithms for Verification of UML Statechart Models

C. M. Prashanth and K.C. Shet
Dept. of Computer Engineering National Institute of Technology Karnataka, Surathkal, INDIA

Abstract—In this article, we present algorithms devised for the automatic verification of UML(Unified Modeling Language) statechart models. The basic algorithm checks the safety property violation during the construction (onthe- fly) of the state space graph and if any property violation is found, it generates a counter example. The second algorithm builds the state space considering only those events, which could lead to the negative behavior of the system. In other words, a set of relevant events is generated first and state space is constructed considering only the state transitions of the objects caused by these relevant events. Thus search space is reduced in both the methods. As a case study, we have verified UML statechart model of the Generalized Railroad Crossing (GRC) system using the proposed algorithms. The safety property “When the train is at rail road crossing, the gate always remain closed” is verified. We could detect property violation in the initial UML statechart model of GRC and eventually it is corrected with the help of the counter example generated by the algorithms. The case study results show that event based verification algorithm yields 59% reduction in the state space for the GRC example.

Index Terms—Software verification, Model checking, Statechart, Unified Modeling Language, Reactive systems


Cite: C. M. Prashanth and K.C. Shet, "Efficient Algorithms for Verification of UML Statechart Models," Journal of Software vol. 4, no. 3, pp. 175-182, 2009.

General Information

ISSN: 1796-217X
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jsw@iap.org
  • Jan 11, 2019 News!

    Papers published in JSW Vol. 13, No. 1- Vol. 13 No. 12 have been indexed by DBLP.    [Click]

  • Aug 24, 2018 News!

    Vol.12, No.8- Vol.13, No.5 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2019 the annual meeting of JSW Editorial Board, ICCSM 2019, will be held in Barcelona, Spain, July 14-16, 2019.   [Click]

  • Jan 15, 2019 News!

    Welcome Prof. Timothy J Arndt from USA to join the Editorial board of JSW   [Click]

  • Apr 03, 2019 News!

    Vol 14, No. 4 has been published with online version 4 original aritcles from 4 countries are published in this issue.    [Click]