Formalising Behaviour Trees with CSP

Speaker: Kirsten Winter  

When: 10:00, Thursday, 25 March, 2004

Venue: 78-420

Abstract: Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to
understand. Individual requirements are modelled as single trees which later on are integrated into a model of the system as a whole.
We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour
Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

Hospitality: Speaker (by default)

Contact: Prof Paul Bailes (SSE seminar co-ordinator) (p.bailes@epsa.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html