DOCSLIB.ORG

A Reflective, 3-Dimensional Behavior Tree Approach to Vehicle Autonomy Jeremy Hatcher

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Reflective, 3-Dimensional Behavior Tree Approach to Vehicle Autonomy Jeremy Hatcher Florida State University Libraries Electronic Theses, Treatises and Dissertations The Graduate School 2015 A Reflective, 3-Dimensional Behavior Tree Approach to Vehicle Autonomy Jeremy Hatcher Follow this and additional works at the FSU Digital Library. For more information, please contact [email protected] FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES A REFLECTIVE, 3-DIMENSIONAL BEHAVIOR TREE APPROACH TO VEHICLE AUTONOMY By JEREMY HATCHER A Dissertation submitted to the Department of Computer Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy Degree Awarded: Spring Semester, 2015 © 2015 Jeremy Hatcher Jeremy Hatcher defended this dissertation on April 14, 2015. The members of the supervisory committee were: Daniel Schwartz Professor Directing Dissertation Emmanuel Collins University Representative Peixiang Zhao Committee Member Zhenghao Zhang Committee Member The Graduate School has verified and approved the above-named committee members, and certifies that the dissertation has been approved in accordance with university requirements. ii ACKNOWLEDGMENTS My most sincere gratitude belongs to Dr. Daniel Schwartz for taking the time to analyze my work and direct me toward its completion. When difficulties arose, his advice and recommendations were concise and helped to overcome any obstacles. I would also like to thank my family, whether immediate, extended, or my church family, who constantly encouraged me and repositioned my sight toward the light at the end of the tunnel. To all of the professors on my committee: Drs. Peixiang Zhao, Zhenghao Zhang, and Emmanuel Collins, I truly appreciate the time you set aside to meet with me and to understand my objectives. iii TABLE OF CONTENTS LIST OF TABLES ......................................................................................................................... vi LIST OF FIGURES ...................................................................................................................... vii LIST OF ACRONYMS ............................................................................................................... xiv ABSTRACT ................................................................................................................................. xvi 1 INTRODUCTION .............................................................................................................. 1 1.1 Underwater Acoustic Sensor Networks .......................................................................... 1 1.2 Underwater Robotic Behaviors – Automation vs. Autonomy ...................................... 11 1.3 Common Graph Searching Algorithms ........................................................................ 14 1.4 Behavior Trees .............................................................................................................. 17 1.5 ECMA-335 and ISO/IEC 23271 - Common Language Infrastructure ......................... 31 1.6 ECMA-334 and ISO/IEC 23270:2006 – C# ................................................................. 33 1.7 Modular Programming .................................................................................................. 34 1.8 Case Based Reasoning .................................................................................................. 39 1.9 XML .............................................................................................................................. 44 1.10 Reflection ...................................................................................................................... 51 2 RELATED WORK ........................................................................................................... 54 2.1 Behavior Architectures ................................................................................................. 54 2.2 Underwater Autonomy.................................................................................................. 60 2.3 Modular Open Systems ................................................................................................. 62 3 DEVELOPING A TEST PLATFORM ............................................................................ 73 3.1 Behavior Tree World (BTWorld) ................................................................................. 74 4 DEVELOPING WORLD ACTORS ................................................................................. 81 4.1 Vehicle Simulator (Traveler) ........................................................................................ 81 4.2 Acoustic Node Simulator (Communicator) .................................................................. 83 5 BEHAVIOR TREE FRAMEWORK IMPLEMENTATION ........................................... 85 5.1 Fundamental Interfaces ................................................................................................. 86 5.2 Asynchronous Operation .............................................................................................. 88 5.3 Composite Nodes .......................................................................................................... 89 5.4 Decorator Nodes ........................................................................................................... 90 5.5 Action / Assertion Nodes .............................................................................................. 91 5.6 Generic Counterparts .................................................................................................... 93 5.7 Action and Assertion Repositories................................................................................ 95 6 COMPOSING BEHAVIOR TREE ALGORITHMS ..................................................... 100 6.1 Breadth First Search .................................................................................................... 100 6.2 Dijkstra ........................................................................................................................ 104 6.3 A* ................................................................................................................................ 107 6.4 Reflective Behavior Tree Instantiation ....................................................................... 109 iv 7 BEHAVIOR TREE APPLICATION RESULTS ........................................................... 115 7.1 Path Planning .............................................................................................................. 115 7.2 Acoustic Node Mapping ............................................................................................. 119 7.3 REMUS Simulator Integration ................................................................................... 122 7.4 Performance Cost ........................................................................................................ 130 7.5 Algorithm Representation Potential ............................................................................ 132 8 CONCLUSION AND FUTURE RESEARCH POTENTIAL ........................................ 134 8.1 Conclusion .................................................................................................................. 134 8.2 Future Research Potential ........................................................................................... 134 REFERENCES ........................................................................................................................... 136 BIOGRAPHICAL SKETCH ...................................................................................................... 140 v LIST OF TABLES Table 1 - A simple model of an actor in a game of life example .................................................. 40 Table 2 - A simple model of the world in a game of life example ............................................... 41 Table 3 - A collection of cases in the case-base ........................................................................... 41 Table 4 - A CBR query based on current world variables ............................................................ 41 Table 5 – A world actor’s rationale for choosing a case from the case base ................................ 42 Table 6 - A modified CBR query taking into account a recent hardy meal.................................. 43 Table 7 - The resulting case base coefficients after taking the previous query into account ....... 43 Table 8 –XML escape characters .................................................................................................. 46 Table 9 – TDM Usability Questionnaire ...................................................................................... 59 Table 10 – Alignment of TaskStatus enum to NodeStatus enum ................................................. 89 Table 11 – Alignment of Boolean values to NodeStatus enum .................................................... 98 Table 12 - A line by line analysis of the Breadth First Search pseudo code revealing necessary behavior tree nodes ..................................................................................................................... 101 Table 13 - A line by line analysis of Dijkstra's algorithm pseudo code revealing necessary behavior tree nodes .................................................................................................................................... 105 Table 14 - A line by line analysis of the A* algorithm pseudo code revealing necessary behavior tree nodes ...................................................................................................................................
Load more

Recommended publications
  • Behavior Trees in Action: a Study of Robotics Applications
    Behavior Trees in Action: A study of Robotics Applications Downloaded from: https://research.chalmers.se, 2021-09-27 10:06 UTC Citation for the original published paper (version of record): Ghzouli, R., Berger, T., Johnsen, E. et al (2020) Behavior Trees in Action: A study of Robotics Applications SLE 2020: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language N.B. When citing this work, cite the original published paper. research.chalmers.se offers the possibility of retrieving research publications produced at Chalmers University of Technology. It covers all kind of research output: articles, dissertations, conference papers, reports etc. since 2004. research.chalmers.se is administrated and maintained by Chalmers Library (article starts on next page) Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli Thorsten Berger Einar Broch Johnsen Chalmers | University of Gothenburg Chalmers | University of Gothenburg University of Oslo Sweden Sweden Norway Swaib Dragule Andrzej Wąsowski Chalmers | University of Gothenburg IT University of Copenhagen Sweden Denmark Abstract CCS Concepts: • Software and its engineering → Do- Autonomous robots combine a variety of skills to form in- main specific languages; Software libraries and repositories; creasingly complex behaviors called missions. While the System modeling languages; • Computer systems organi- skills are often programmed at a relatively low level of ab- zation → Robotics. straction, their coordination is architecturally separated and Keywords: behavior trees; robotics applications; empirical often expressed in higher-level languages or frameworks. study Recently, the language of Behavior Trees gained attention among roboticists for this reason. Originally designed for ACM Reference Format: computer games to model autonomous actors, Behavior Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Drag- ule, and Andrzej Wąsowski.
    [Show full text]
  • Building the Executive System of Autonomous Aerial Robots Using The
    Open Source Robotics-Research Article International Journal of Advanced Robotic Systems May-June 2020: 1–20 Building the executive system of ª The Author(s) 2020 Article reuse guidelines: sagepub.com/journals-permissions autonomous aerial robots using the DOI: 10.1177/1729881420925000 Aerostack open-source framework journals.sagepub.com/home/arx Martin Molina1 , Abraham Carrera1, Alberto Camporredondo1, Hriday Bavle2, Alejandro Rodriguez-Ramos2 and Pascual Campoy2 Abstract A variety of open-source software tools are currently available to help building autonomous mobile robots. These tools have proven their effectiveness in developing different types of robotic systems, but there are still needs related to safety and efficiency that are not sufficiently covered. This article describes recent advances in the Aerostack software framework to address part of these needs, which may become critical in the case of aerial robots. The article describes a software tool that helps to develop the executive system, an important component of the control architecture whose characteristics significantly affect the quality of the final autonomous robotic system. The presented tool uses an original solution for execution control that aims at simplifying mission specification and protecting against errors, considering also the efficiency needs of aerial robots. The effectiveness of the tool was evaluated by building an experimental autonomous robot. The results of the evaluation show that it provides significant benefits about usability and reliability with
    [Show full text]
  • Behavior Trees for Decision-Making in Autonomous Driving
    EXAMENSARBETE I DATATEKNIK 300 HP, AVANCERAD NIVÅ STOCKHOLM, SVERIGE 2016 Behavior Trees for decision-making in Autonomous Driving MAGNUS OLSSON KTH KUNGLIGA TEKNISKA HÖGSKOLAN SKOLAN FÖR DATAVETENSKAP OCH KOMMUNIKATION Behavior Trees for decision-making in autonomous driving MAGNUS OLSSON Master’s Thesis at NADA Supervisor: John Folkesson Examiner: Patric Jensfelt Abstract This degree project investigates the suitability of us- ing Behavior Trees (BT) as an architecture for the behav- ioral layer in autonomous driving. BTs originate from video game development but have received attention in robotics research the past couple of years. This project also in- cludes implementation of a simulated traffic environment using the Unity3D engine, where the use of BTs is evalu- ated and compared to an implementation using finite-state machines (FSM). After the initial implementation, the sim- ulation along with the control architectures were extended with additional behaviors in four steps. The different ver- sions were evaluated using software maintainability metrics (Cyclomatic complexity and Maintainability index) in order to extrapolate and reason about more complex implemen- tations as would be required in a real autonomous vehicle. It is concluded that as the AI requirements scale and grow more complex, the BTs likely become substantially more maintainable than FSMs and hence may prove a viable al- ternative for autonomous driving. Referat Behavior Trees för beslutsfattande i självkörande fordon Detta examensarbete undersöker lämpligheten i att an- vända Behavior Trees (BT) som underliggande mjukva- ruarkitektur för beteendekomponenten inom självkörande fordon. Behavior Trees härstammar från datorspelsindu- strin men har de senaste åren fått uppmärksamhet inom robotikforskning. Detta arbete inkluderar även implemen- tationen av en simulerad trafikmiljö med hjälp av Unity3D- spelmotorn, där användandet av BTs utvärderas och jäm- förs med en implementation som använder finite-state machi- nes (finita automater eller FSM).
    [Show full text]
  • State-Of-The-Art Report on Requirements-Based Variability Modelling and Abstract Test Case Generation
    ITEA 3 Call 4: Smart Engineering State-of-the-art report on requirements-based variability modelling and abstract test case generation Project References PROJECT ACRONYM XIVT PROJECT TITLE EXCELLENCE IN VARIANT TESTING PROJECT NUMBER 17039 PROJECT START PROJECT 36 NOVEMBER 1, 2018 DATE DURATION MONTHS PROJECT MANAGER GUNNAR WIDFORSS,BOMBARDIER TRANSPORTATION,SWEDEN WEBSITE HTTPS://WWW.XIVT.ORG/ Document References WORK PACKAGE WP3 — TESTING OF CONFIGURABLE PRODUCT T3.1 — REQUIREMENTS-BASED VARIABILITY MODELLING AND TASK ABSTRACT TEST CASE GENERATION TASK LEAD — QA CONSULTANTS VERSION V1.0 NOV. 11, 2019 DELIVERABLE TYPE R (REPORT) DISSEMINATION PUBLIC. LEVEL DN — NAME Summary Executive summary: This report summarizes the state of the art in requirements- based variability modelling and abstract test case generation. It describes various formalisms which have been described in the literature for feature modelling and the modelling of variability, and presents methods for the generation of abstract test cases from various informal, semi-formal and formal description techniques. Finally, the report elaborates on available industrial and academic tools both for variability modelling and model-based test generation. Summary: The present report presents a survey of variability modelling and abstract test case generation approaches for software projects. Feature modelling is introduced as the common denominator among variability modelling techniques, which differ in notation (e.g. UML, XML) as well as in support for hierarchical structures, constraints on feature combinations, representation of variation points and other semantic characteristics. In contrast, abstract test generation methods are distinguished by inputs, which may be source code, requirement specifications in formal notation or natural language, UML diagrams, etc; how are tests generated, either statically via input manipulation (which may involve Machine Learning or Natural Language Processing) or dynamically through e.g.
    [Show full text]
  • Behavior Trees for Evolutionary Robotics Have Become the Predominant Method Used in ER
    Behavior Trees for Kirk Y. W. Scheper*,** † Sjoerd Tijmons** Evolutionary Robotics Cornelis C. de Visser** Guido C. H. E. de Croon** Delft University of Technology Abstract Evolutionary Robotics allows robots with limited sensors Keywords and processing to tackle complex tasks by means of sensory-motor Behavior tree, evolutionary robotics, reality coordination. In this article we show the first application of the gap, micro air vehicle Downloaded from http://direct.mit.edu/artl/article-pdf/22/1/23/1665258/artl_a_00192.pdf by guest on 26 September 2021 Behavior Tree framework on a real robotic platform using the evolutionary robotics methodology. This framework is used to improve the intelligibility of the emergent robotic behavior over that of the traditional neural network formulation. As a result, the behavior is easier to comprehend and manually adapt when crossing the reality gap from simulation to reality. This functionality is shown by performing real-world flight tests with the 20-g DelFly Explorer flapping wing micro air vehicle equipped with a 4-g onboard stereo vision system. The experiments show that the DelFly can fully autonomously search for and fly through a window with only its onboard sensors and processing. The success rate of the optimized behavior in simulation is 88%, and the corresponding real-world performance is 54% after user adaptation. Although this leaves room for improvement, it is higher than the 46% success rate from a tuned user-defined controller. 1 Introduction Small robots with limited computational and sensory capabilities are becoming more commonplace. Designing effective behavior for these small robotic platforms to complete complex tasks is a major challenge.
    [Show full text]
  • Behavior Trees in Action:A Study of Robotics Applications
    Behavior Trees in Action: A Study of Robotics Applications Razan Ghzouli Thorsten Berger Einar Broch Johnsen Chalmers | University of Gothenburg Chalmers | University of Gothenburg University of Oslo Sweden Sweden Norway Swaib Dragule Andrzej Wąsowski Chalmers | University of Gothenburg IT University of Copenhagen Sweden Denmark Abstract CCS Concepts: • Software and its engineering ! Do- Autonomous robots combine a variety of skills to form in- main specific languages; Software libraries and repositories; creasingly complex behaviors called missions. While the System modeling languages; • Computer systems organi- skills are often programmed at a relatively low level of ab- zation ! Robotics. straction, their coordination is architecturally separated and Keywords: behavior trees; robotics applications; empirical often expressed in higher-level languages or frameworks. study Recently, the language of Behavior Trees gained attention among roboticists for this reason. Originally designed for ACM Reference Format: computer games to model autonomous actors, Behavior Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Drag- ule, and Andrzej Wąsowski. 2020. Behavior Trees in Action: A Study Trees offer an extensible tree-based representation of mis- of Robotics Applications. In Proceedings of the 13th ACM SIGPLAN sions. However, even though, several implementations of the International Conference on Software Language Engineering (SLE language are in use, little is known about its usage and scope ’20), November 16–17, 2020, Virtual, USA. ACM, New York, NY, USA, in the real world. How do behavior trees relate to traditional 14 pages. https://doi.org/10.1145/3426425.3426942 languages for describing behavior? How are behavior-tree concepts used in applications? What are the benefits of using 1 Introduction them? The robots are coming! They can perform tasks in environ- We present a study of the key language concepts in Behav- ments that defy human presence, such as fire fighting in ior Trees and their use in real-world robotic applications.
    [Show full text]
  • A Semantics for Behavior Trees
    Technical Report ACCS-TR-07-01 A Semantics for Behavior Trees Robert Colvin and Ian J. Hayes April 2007 ARC Centre for Complex Systems School of ITEE, The University of Queensland St Lucia Qld 4072 Australia T +61 7 3365 1003 F +61 7 3365 1533 E [email protected] W www.accs.edu.au A Semantics for Behavior Trees Robert Colvin and Ian J. Hayes 10:46 A.M., Wednesday 4 th April 2007 Abstract The Behavior Tree notation is used as part of a framework for developing complex computer systems. The framework is designed to simplify the process of constructing a formal specification of a system from its informal functional requirements. To give a meaning to Behavior Trees, this paper describes a lower-level language called Behavior Tree Process Algebra (BTPA) and its operational semantics, and defines a mechanical translation of Behaviour Trees into BTPA. The process algebra provides several methods by which processes may communicate with each other and interact with the environment: CSP- like synchronisation; send/receive message passing; and shared variables. The meaning of a BTPA process is defined with respect to the current state of the system (value of the components) and the active processes. 1 Introduction Obtaining a set of requirements which is complete and consistent is one of the crucial steps in implementing a large software system. To help software engineers communicate effectively with their clients about their requirements, a common language is needed which is both easy to understand and work with, and which also has a precise meaning. The Behavior Tree program development framework developed by Dromey [Dro06, Dro03] is intended to fit these criteria by allowing rapid translation of informal requirements into individual Behavior Trees, in a way which is traceable and suitable for validation by clients without knowledge of formal languages.
    [Show full text]
  • A Survey of Behavior Trees in Robotics and AI
    A Survey of Behavior Trees in Robotics and AI Matteo Iovinoa,b, Edvards Scukinsa,c, Jonathan Styruda,d, Petter Ögrena and Christian Smitha aDivision of Robotics, Perception and Learning, Royal Institute of Technology (KTH), Sweden bABB Future Labs, hosted at ABB Corporate Research, AI Lab, Sweden cSAAB Aeronautics, Sweden dABB Robotics, Sweden ARTICLEINFO Abstract Keywords: Behavior Trees (BTs) were invented as a tool to enable modular AI in computer games, Behavior Trees but have received an increasing amount of attention in the robotics community in the Robotics last decade. With rising demands on agent AI complexity, game programmers found Artificial Intelligence that the Finite State Machines (FSM) that they used scaled poorly and were difficult to extend, adapt and reuse. In BTs, the state transition logic is not dispersed across the individual states, but organized in a hierarchical tree structure, with the states as leaves. This has a significant effect on modularity, which in turn simplifies both synthesis and analysis by humans and algorithms alike. These advantages are needed not only in game AI design, but also in robotics, as is evident from the research being done. In this paper we present a comprehensive survey of the topic of BTs in Artificial Intelligence and Robotic applications. The existing literature is described and categorized based on methods, application areas and contributions, and the paper is concluded with a list of open research challenges. Dialogue ? games Platform FPS —> —> —> games games Wander Player is Has low Player is RTS Evade Find aid ? Game AI Attacking? health? visible? games Fire arrow at Swing sword Manipulation Taunt player player at player Mobile ground Domain Figure 2: An example of a BT for a First Person Shooter robots Robotic AI (FPS) game, adapted from [97].
    [Show full text]
  • Integrating Requirements: the Behavior Tree Philosophy
    Integrating Requirements: The Behavior Tree Philosophy Kirsten Winter Ian J. Hayes Robert Colvin School of ITEE, The Queensland Brain Institute, The University of Queensland, The University of Queensland, Brisbane, Qld 4072, Australia Brisbane, Qld 4072, Australia email: kirsten, [email protected] email: [email protected] This paper is dedicated to the memory of our friend and colleague Professor R. Geoff Dromey (1946 – 2009). Abstract—Behavior Trees were invented by Geoff Dromey R1 If the oven is idle and you push the button, the oven as a graphical modelling notation. Their design was driven will start cooking (that is, energise the power-tube for by the desire to ease the task of capturing functional system one minute). requirements and to bridge the gap between an informal language description and a formal model. Vital to Dromey’s R2 If the button is pushed while the oven is cooking it will intention is the idea of incrementally building the model out cause the oven to cook for an extra minute. of its building blocks, the functional requirements. This is R3 Pushing the button when the door is open has no effect done by graphically representing each requirement as its own (because it is disabled). Behavior Tree and incrementally merging the trees to form a R4 Whenever the oven is cooking or the door is open the more complete model of the system. light in the oven will be on. In this paper we investigate the essence of this constructive approach to creating a model in general notation-independent R5 Opening the door stops the cooking.
    [Show full text]
  • Applying Behavior Trees to Starcraft AI
    Applying Behavior Trees to StarCraft AI DAT5, FALL SEMESTER 2010 GROUP D518A DEPARTMENT OF COMPUTER SCIENCE AALBORG UNIVERSITY 22ND OF DECEMBER 2010 Harass enemy Attack enemies Retreat in sight Enemy Move to Timer in enemy sight? Move Enemy Attack In in Enemy Range range? Title: Applying Behavior Trees to StarCraft AI Theme: Artificial Intelligence in RTS games Project period: Dat5, fall semester 2010 Project group: d518a Group members: Søren Larsen Abstract: Jonas Groth We investigate the area of game AI with focus on the video game genre of Real-Time Strat- egy using StarCraft as test platform. We pro- Kenneth Sejrsgaard-Jacobsen ceed to discuss different AI methods that have an application in RTS games. We choose to focus on behavior trees and present our im- Torkil Olsen plementation of a behavior tree framework, for implementing behavior trees, and an editor for designing them. We test the framework by im- Long Huy Phan plementing a set of behaviors described in the report and finally conclude on the work done by proposing new possibilities for further de- Supervisor: Yifeng Zeng velopment. Copies: 7 Number of pages: 70 Appendices: 2 Completion date: 22nd of December, 2010 The contents of this report are openly available, but publication (with reference to the source) is only allowed with the agreement of the authors. Additional material available on the attached CD. Preface In this report we discuss the aspects of constructing an artificial intelligence (AI) for a computer game that can provide the human opponent with an entertaining challenge, rather than showing off super-human intelligence and decision making.
    [Show full text]
  • A Resourceful Reframing of Behavior Trees
    1 A Resourceful Reframing of Behavior Trees CHRIS MARTENS, North Carolina State University ERIC BUTLER, University of Washington JOSEPH C. OSBORN, University of California, Santa Cruz Designers of autonomous agents, whether in physical or virtual environments, need to express nondeter- minisim, failure, and parallelism in behaviors, as well as accounting for synchronous coordination between agents. Behavior Trees are a semi-formalism deployed widely for this purpose in the games industry, but with challenges to scalability, reasoning, and reuse of common sub-behaviors. We present an alternative formulation of behavior trees through a language design perspective, giving a formal operational semantics, type system, and corresponding implementation. We express specications for atomic behaviors as linear logic formulas describing how they transform the environment, and our type system uses linear sequent calculus to derive a compositional type assignment to behavior tree expressions. ese types expose the conditions required for behaviors to succeed and allow abstraction over parameters to behaviors, enabling the development of behavior “building blocks” amenable to compositional reasoning and reuse. Additional Key Words and Phrases: linear logic, behavior trees, programming languages, type systems ACM Reference format: Chris Martens, Eric Butler, and Joseph C. Osborn. 2016. A Resourceful Reframing of Behavior Trees. 1, 1, Article 1 (January 2016), 17 pages. DOI: 10.1145/nnnnnnn.nnnnnnn 1 INTRODUCTION Specifying the desired behaviors of agents in environments is a major theme in articial intelligence. Analysts oen need to dene particular policies with explicit steps, but the agents must also acknowledge salient changes in a potentially hostile or stochastic environment. is challenge arises in applications including robotics, simulation, and video game development.
    [Show full text]
  • A Semantics for Behavior Trees
    A Semantics for Behavior Trees Robert Colvin Ian J. Hayes May 2010 Technical Report SSE-2010-03 Division of Systems and Software Engineering Research School of Information Technology and Electrical Engineering The University of Queensland QLD, 4072, Australia http://www.itee.uq.edu.au/∼ sse A Semantics for Behavior Trees Robert Colvin1;2 and Ian J. Hayes1;3 1The University of Queensland 2The Queensland Brain Institute 3School of Information Technology and Electrical Engineering Abstract In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used with success in industry to systematically translate large, complex, and often erroneous requirements documents into a structured model of the system. It contains a mixture of state-based manipulations, synchronisation, message passing, and parallel, conditional, and iterative control structures. The formal semantics of a Behavior Tree is given via a structure-preserving translation to a version of Hoare's process algebra CSP, extended with state-based constructs such as guards and updates, and a message passing facility similar to that used in publish/subscribe protocols. We first provide the extension of CSP and its operational semantics, which preserves the meaning of the original CSP operators, and then the Behavior Tree notation and its translation into the extended version of CSP. Key words: Behavior Trees, operational semantics, CSP, state, process algebra, requirements modelling 1. Introduction be easy for a non-expert to understand in a rela- tively short amount of time. A system developer is often faced with a sys- Each requirement is translated into its own, tem requirements document containing hundreds, small, Behavior Tree, and each node in the tree or even thousands, of requirements, written in a is tagged with the number of the requirement from natural language, and by a varied group of people, which it was translated, allowing traceability back each with specialised domain knowledge.
    [Show full text]