Formalisation of the Integration of Behavior Trees

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 >

Conference Title

ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Publisher URI

http://ase2014.org/

DOI

https://doi.org/10.1145/2642937.2642945

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

http://hdl.handle.net/10072/66744

Collection

Conference outputs