Comparing Multiple State Diagrams to Sequence Diagrams using Super State Analysis

M.N. Alanazi and D.A. Gustafson (USA)


Modeling Languages, Object-Oriented Analysis andDesign, State Diagrams, Sequence Diagrams.


This article introduces a new technique for analyzing UML designs using state and sequence diagrams. The Super State Analysis (SSA) identifies the inconsistencies in super states, single step transitions, and sequences. Because SSA considers multiple UML state diagrams, it discovers inconsistencies that cannot be discovered when considering only a single UML state diagram. The analysis identifies five types of inconsistencies: impossible super states, unreachable super states, illegal transitions, missing transitions, and illegal sequences.

Important Links:

Go Back