Title :
An environment for building a system out of its requirements
Author :
Smith, C. ; Winter, K. ; Hayes, I. ; Dromey, G. ; Lindsay, P. ; Carrington, D.
Author_Institution :
ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
Abstract :
A toolset for system design and analysis is described. The tool allows individual translated functional requirements to be entered graphically as behavior trees. Once integrated these behavior trees form a problem domain representation of the design. This representation is automatically mapped to CSP to enable model checking with FDR. A number of consistency checks on the design can be performed. Examples are used to illustrate the results produced by the toolset.
Keywords :
communicating sequential processes; formal specification; formal verification; systems analysis; visual programming; CSP; FDR; consistency checking; design behavior trees; functional requirements; model checking; problem domain representation; system analysis; system design; Australia; Buildings; Component architectures; Formal verification; Genetics; Graphics; Libraries; Natural languages; System analysis and design; Tree graphs;
Conference_Titel :
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Print_ISBN :
0-7695-2131-2
DOI :
10.1109/ASE.2004.1342775
