Formalising Behaviour Trees with CSP

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.

• Type: Conference
• Year: 2004
• Where: IFM
• Authors: Kirsten Winter
• Keywords: Behaviour Trees, Graphical Tree Notation, IFM 2004, Requirements Engineering