Automatic consistency checking of use case scenarios

Hyunseok Min, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009
Pages166-173
Number of pages8
Publication statusPublished - 2009
Event13th IASTED International Conference on Software 13th IASTED International Conference on Software Engineering and Applications, SEA 2009 - Cambridge, MA, United States
Duration: 2009 Nov 22009 Nov 4

Publication series

NameProceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009

Other

Other13th IASTED International Conference on Software 13th IASTED International Conference on Software Engineering and Applications, SEA 2009
CountryUnited States
CityCambridge, MA
Period09/11/209/11/4

Keywords

  • Consistency
  • Statechart
  • System
  • UML
  • Use case

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Automatic consistency checking of use case scenarios'. Together they form a unique fingerprint.

  • Cite this

    Min, H., & Choi, J. Y. (2009). Automatic consistency checking of use case scenarios. In Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009 (pp. 166-173). (Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009).