Formalisation of the Integration of Behavior Trees

View/ Open
Author(s)
Ahmed, K
Newton, MAH
Wen, L
Sattar, A
Year published
2014
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
Conference Title
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
Publisher URI
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