• DocumentCode
    3117817
  • 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
  • fYear
    2010
  • fDate
    13-18 Sept. 2010
  • Firstpage
    41
  • Lastpage
    50
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
  • Conference_Location
    Pisa
  • Print_ISBN
    978-1-4244-8289-4
  • Type

    conf

  • DOI
    10.1109/SEFM.2010.13
  • Filename
    5637406