Formalisation of the Integration of Behavior Trees

Thumbnail
View/Open
Author(s)
Ahmed, K
Newton, MAH
Wen, L
Sattar, A
Griffith University Author(s)
Year published
2014
Metadata
Show full item record
Abstract
In this paper, we present a formal de nition of the integration of the requirements modeling language Behavior Trees(BTs). We rst 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.
Conference Title
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
Publisher URI
DOI
Copyright Statement
Copyright ACM, 2014. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ISBN: 978-1-4503-3013-8 , http://dx.doi.org/10.1145/2642937.2642945.
Subject
Software Engineering
Publication URI
Collection