Integrating Requirements: The Behavior Tree Philosophy
- 1 September 2010
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2010 8th IEEE International Conference on Software Engineering and Formal Methods
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
This publication has 9 references indexed in Scilit:
- Behavior Trees: From Systems Engineering to Software EngineeringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Behavior Engineering - A Scalable Modeling and Analysis MethodPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- CSP with Hierarchical StateLecture Notes in Computer Science, 2009
- Composing Models for Detecting Inconsistencies: A Requirements Engineering PerspectiveLecture Notes in Computer Science, 2009
- A Metamodeling Approach for Reasoning about RequirementsLecture Notes in Computer Science, 2008
- Producing a Global Requirement Model from Multiple Requirement SpecificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Genetic Design: Amplifying Our Ability to Deal With Requirements ComplexityLecture Notes in Computer Science, 2005
- From requirements to design: formalizing the key stepsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Conjunction as compositionACM Transactions on Software Engineering and Methodology, 1993