This Article 
 Bibliographic References 
 Add to: 
2009 WRI World Congress on Computer Science and Information Engineering
Consistent Verification of Scenarios-Based Requirement Specification
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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, vol. 7, pp.717-721, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.