Implied scenario analysis in UML 2.0 scenario specification

Abstract

The correct requirements specification is essential to get the correct product. In the recent methodologies, the requirements specifications are usually specified as some form of scenarios. The implied scenarios are not desired, but exist behaviors in the scenario specifications. As UML(Unified Modeling Language) becomes popular, those scenarios are specified by UML scenario specification. Thus the techniques for detecting implied scenarios in UML scenario specification are needed. In this paper, we propose an approach to detecting implied scenarios on UML 2.0 scenario specification. We provide a canonicalization technique to make our algorithm simple. It normalizes notations of control structures of the specification to control nodes of IODs(Interaction Overview Diagrams). And it moves all parallelisms in SDs to IODs. Then, to find processes from UML scenario specification, we devise an algorithm of control flow analysis. We also provide algorithms to generate FSP(Finite State Process) specification from UML scenario specification and the result of control flow analysis. With the FSP specification, we can detect implied scenarios using the LTSA(Labelled Transition System Analyzer) tool. The detection of implied scenarios in UML scenario specification helps the designers to elaborate the specification.