Please use this identifier to cite or link to this item: https://idr.l2.nitk.ac.in/jspui/handle/123456789/10927
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPrashanth, C.M.-
dc.contributor.authorShet, K.C.-
dc.date.accessioned2020-03-31T08:23:22Z-
dc.date.available2020-03-31T08:23:22Z-
dc.date.issued2009-
dc.identifier.citationJournal of Software, 2009, Vol.4, 3, pp.175-182en_US
dc.identifier.urihttp://idr.nitk.ac.in/jspui/handle/123456789/10927-
dc.description.abstractIn 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 (on-the-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. 2009 ACADEMY PUBLISHER.en_US
dc.titleEfficient algorithms for verification of UML statechart modelsen_US
dc.typeArticleen_US
Appears in Collections:1. Journal Articles

Files in This Item:
File Description SizeFormat 
10927.pdf515.08 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.