Formalisation of the integration of behavior trees

Kushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar

Abstract

In this paper, we present a formal definition of the integration of the requirements modeling language Behavior Trees (BTs). We first provide the semantic integration of two interrelated BTs using an extended version of Communicating Sequential Processes. We then use a Semantic Network Model to capture a set of interrelated BTs, and develop algorithm to integrate them all into one BT. This formalisation facilitates developing (semi-)automated tools for modeling the requirements of large-scale software intensive systems.

BibTeX

@inproceedings{Ahmed-al:ASE14,
  author    = {Kushal Ahmed and
               M. A. Hakim Newton and
               Lian Wen and
               Abdul Sattar},
  title     = {Formalisation of the integration of behavior trees},
  booktitle = {ASE},
  pages     = {779--784},
  publisher = {{ACM}},
  year      = {2014},
}

Formalisation of the integration of behavior trees

Abstract

Related papers