The Community for Technology Leaders
RSS Icon
Subscribe
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
ISBN: 978-0-7695-3507-4
pp: 560-565
ABSTRACT
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, 2009, Computer Science and Information Engineering, World Congress on, Computer Science and Information Engineering, World Congress on 2009, pp. 560-565, doi:10.1109/CSIE.2009.943
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool