Title :
Integrating Requirements: The Behavior Tree Philosophy
Author :
Winter, Kirsten ; Hayes, Ian J. ; Colvin, Robert
Author_Institution :
Sch. of ITEE, Univ. of Queensland, Brisbane, QLD, Australia
Abstract :
Behavior Trees were invented by Geoff Dromey as a graphical modelling notation. Their design was driven by the desire to ease the task of capturing functional system requirements and to bridge the gap between an informal language description and a formal model. Vital to Dromey´s intention is the idea of incrementally building the model out of its building blocks, the functional requirements. This is done by graphically representing each requirement as its own Behavior Tree and incrementally merging the trees to form a more complete model of the system. In this paper we investigate the essence of this constructive approach to creating a model in general notation-independent terms and discuss its advantages and disadvantages. The result can be seen as a framework of rules and provides us with a semantic underpinning of requirements integration. Integration points are identified by examining the (implicit or explicit) preconditions of each requirement. We use Behavior Trees as an example of how this framework can be put into practise.
Keywords :
formal specification; trees (mathematics); behavior tree philosophy; formal model; functional system requirements; graphical modelling notation; informal language description; requirements integration; Analytical models; Buildings; Context; Joining processes; Ovens; Synchronization; Syntactics; Behavior Tree; Requirements; analysis; integration; modelling;
Conference_Titel :
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
978-1-4244-8289-4
DOI :
10.1109/SEFM.2010.13