Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
Scenarios describe how system components, the environment and users working concurrently interact in order to provide system level functionality. Each scenario is a partial story which, when combined with other scenarios, should conform to provide a complete system description. However, it is not always possible to build a set of components that provides exactly the same system behaviour as described with a set of scenarios. Inconsistence may appear as a result of unexpected component interaction. In this paper, we present an algorithm that builds a behaviour model that describes the closest possible implementation for a specification based on basic and high-level MSCs. We have integrated these procedures into the Labelled Transition System Analyser, which allows for model checking and animation of the behaviour model.
Liu Guozhu, "Consistent Verification of Scenarios-Based Requirement Specification", CSIE, 2009, Computer Science and Information Engineering, World Congress on, Computer Science and Information Engineering, World Congress on 2009, pp. 717-721, doi:10.1109/CSIE.2009.1111