Paper Info
Title
Consistent Verification of Scenarios-Based Requirement Specification
Abstract
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.
Year
DOI
Venue
2009
10.1109/CSIE.2009.1111
CSIE
Keywords
Field
DocType
null
Transition system,Structured systems analysis and design method,Programming language,Algorithm design,Model checking,Concurrency control,Object-oriented programming,Computer science,Formal specification,Formal verification
Conference
Volume
Issue
Citations 
7
null
0
PageRank 
References 
Authors
0.34
3
1
Name
Order
Citations
PageRank
Liu Guozhu100.34