The Community for Technology Leaders
RSS Icon
Subscribe
Linz
Sept. 24, 2004 to Sept. 24, 2004
ISBN: 0-7695-2131-2
pp: 398-399
C. Smith , University of Queensland, Australia
K. Winter , University of Queensland, Australia
I. Hayes , University of Queensland, Australia
G. Dromey , University of Queensland, Australia
P. Lindsay , University of Queensland, Australia
D. Carrington , University of Queensland, 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.
INDEX TERMS
null
CITATION
C. Smith, K. Winter, I. Hayes, G. Dromey, P. Lindsay, D. Carrington, "An Environment for Building a System out of its Requirements", ASE, 2004, Proceedings. 19th International Conference on Automated Software Engineering, Proceedings. 19th International Conference on Automated Software Engineering 2004, pp. 398-399, doi:10.1109/ASE.2004.10053
41 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool