This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Super State Analysis for UML State Diagrams
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
In this paper, we present Super State Analysis (SSA) for analyzing multiple UML state and sequence diagrams to detect inconsistencies. The SSA model uses a transition set that captures relationship information that is not specifiable in UML diagrams. The SSA model uses the transition set to link transitions of multiple state diagrams together. The analysis generates three different sets automatically. These generated sets are compared to the provided sets to detect inconsistencies. Because SSA considers multiple UML state diagrams, it discovers inconsistencies that cannot be discovered when considering only a single UML state diagram.
Index Terms:
Modeling Languages, UML, Object-Oriented Analysis, Software Models, State Diagrams, Sequence Diagrams
Citation:
Mohammad N. Alanazi, David A. Gustafson, "Super State Analysis for UML State Diagrams," csie, vol. 7, pp.560-565, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.