• DocumentCode
    3117755
  • Title

    Behavior Trees: From Systems Engineering to Software Engineering

  • Author

    Lindsay, Peter A.

  • Author_Institution
    Sch. of IT&EE, Univ. of Queensland, Brisbane, QLD, Australia
  • fYear
    2010
  • fDate
    13-18 Sept. 2010
  • Firstpage
    21
  • Lastpage
    30
  • Abstract
    Geoff Dromey´s Behavior Engineering method provides a vital link between systems engineering processes and software engineering processes. It has proven particularly effective in industry when applied to large complex systems, to help understand the problem space and clarify system and software requirements. In this paper we compare the method with some of the most widely used system design methods, including State Transition Diagrams, Functional Flow Block Diagrams, Object Oriented Design, IDEF0, UML and SysML. The comparison draws on the Design-Methods Comparison Project undertaken by Bahill et al in 1998, and uses their Traffic Lights case study. We show that the methods are roughly equivalent in terms of what they can express, but that Behavior Trees come closest to natural language specification, which we contend makes them easier for non-formal methods experts to understand.
  • Keywords
    computational geometry; large-scale systems; object-oriented methods; software engineering; systems engineering; traffic engineering computing; tree data structures; Bahill; Geoff Dromey behavior engineering; IDEFO; SysML; UML; behavior tree; design method comparison project; functional flow block diagram; natural language specification; nonformal method; object oriented design; software engineering; software requirement; state transition diagram; systems engineering; traffic light; vital link; Agricultural machinery; Green products; Road transportation; Software engineering; System analysis and design; Unified modeling language; Behavior Trees; formal methods; system design methods; system 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.11
  • Filename
    5637403