Comparing multiple state diagrams to sequence diagrams using super state analysis

Authors:
Mohammad N. Alanazi;David A. Gustafson
Affiliations:
Kansas State University, Manhattan, KS;Kansas State University, Manhattan, KS
Venue:
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Year:
2007

Citing 5
Cited 0

Consistency checks for UML

APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach

Proceedings of the 16th IEEE international conference on Automated software engineering
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
From Live Sequence Charts to State Machines and Back: A Guided Tour

IEEE Transactions on Software Engineering
Instant consistency checking for the UML

Proceedings of the 28th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.