The Community for Technology Leaders
RSS Icon
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", 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
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool