TY - GEN
T1 - Automatic consistency checking of use case scenarios
AU - Min, Hyunseok
AU - Choi, Jin Young
PY - 2009
Y1 - 2009
N2 - Unified Modeling Language (UML) is widely accepted in the industry. UML 2.0 has 13 diagrams to explain the system's structure and behavior. These 13 diagrams describe certain aspects of the system. Because each diagram is a unique view of the system, conflict might arise between UML models. One particular case is Use Case Scenarios. Since Use Case analysis is mostly done in the early stage of the project, it is possible to have an inconsistency with other UML models. After the Use Case analysis, system design is started with Class Diagrams. The behavior of the class is designed with Statechart, which is the most popular way. When Statechart is used to describe the behavior of each class, there might be an inconsistency with the system behavior of Use Case Scenarios. This paper shows how to derive a System-wide Statechart by merging all the Statecharts in one application. After that, consistency with other UML models such as Use Case scenarios, which are often shown as Sequence Diagram, is checked automatically.
AB - Unified Modeling Language (UML) is widely accepted in the industry. UML 2.0 has 13 diagrams to explain the system's structure and behavior. These 13 diagrams describe certain aspects of the system. Because each diagram is a unique view of the system, conflict might arise between UML models. One particular case is Use Case Scenarios. Since Use Case analysis is mostly done in the early stage of the project, it is possible to have an inconsistency with other UML models. After the Use Case analysis, system design is started with Class Diagrams. The behavior of the class is designed with Statechart, which is the most popular way. When Statechart is used to describe the behavior of each class, there might be an inconsistency with the system behavior of Use Case Scenarios. This paper shows how to derive a System-wide Statechart by merging all the Statecharts in one application. After that, consistency with other UML models such as Use Case scenarios, which are often shown as Sequence Diagram, is checked automatically.
KW - Consistency
KW - Statechart
KW - System
KW - UML
KW - Use case
UR - http://www.scopus.com/inward/record.url?scp=77954194837&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77954194837&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:77954194837
SN - 9780889868120
T3 - Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009
SP - 166
EP - 173
BT - Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009
T2 - 13th IASTED International Conference on Software 13th IASTED International Conference on Software Engineering and Applications, SEA 2009
Y2 - 2 November 2009 through 4 November 2009
ER -