@inproceedings{8b683736335e450691e694216a4a0c5e,
title = "Automatic consistency checking of use case scenarios",
abstract = "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.",
keywords = "Consistency, Statechart, System, UML, Use case",
author = "Hyunseok Min and Choi, {Jin Young}",
year = "2009",
language = "English",
isbn = "9780889868120",
series = "Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009",
pages = "166--173",
booktitle = "Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009",
note = "13th IASTED International Conference on Software 13th IASTED International Conference on Software Engineering and Applications, SEA 2009 ; Conference date: 02-11-2009 Through 04-11-2009",
}