A semantics for Behavior Trees using CSP with specification commands

Colvin, Robert J. and Hayes, Ian J. (2011) A semantics for Behavior Trees using CSP with specification commands. Science of Computer Programming, 76 10: 891-914. doi:10.1016/j.scico.2010.11.007

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Colvin, Robert J.
Hayes, Ian J.
Title A semantics for Behavior Trees using CSP with specification commands
Journal name Science of Computer Programming   Check publisher's open access policy
ISSN 0167-6423
Publication date 2011-10
Year available 2010
Sub-type Article (original research)
DOI 10.1016/j.scico.2010.11.007
Open Access Status
Volume 76
Issue 10
Start page 891
End page 914
Total pages 24
Place of publication Amsterdam, Netherlands
Publisher Elsevier BV
Collection year 2011
Language eng
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 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. © 2010 Elsevier B.V. All rights reserved.
Keyword Structural operational semantics
Communicating Sequential Processes (CSP)
Hierarchical state
Specification commands
Process algebras
Behavior Trees
Requirements modelling
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Article in Press. Available online 9 December 2010.

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 9 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 18 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 25 Mar 2011, 13:20:32 EST by Debra McMurtrie on behalf of Queensland Brain Institute