The Community for Technology Leaders
Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
ISBN: 978-0-7695-3507-4
pp: 717-721
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", Computer Science and Information Engineering, World Congress on, vol. 07, no. , pp. 717-721, 2009, doi:10.1109/CSIE.2009.1111
91 ms
(Ver 3.3 (11022016))