Formalisation of the Integration of Behavior Trees
MetadataShow full item record
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.
29th IEEE/ACM International Conference on Automated Software Engineering
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.