A metamodel for the behavior trees modelling technique

Behavior trees have been used as a modelling technique to successfully develop a number of complex software systems. However, the only available formal characterisation of this technique makes heavy use of CSP, which is not very accessible for the object-oriented community where this technique could find valuable usage. This also makes behavior trees hard to learn, communicate, use and implement in software tools. This paper offers a comprehensive metamodel that formally describes the main areas of the behavior trees technique, thus improving its usability and overall value for the object-oriented community.

[1]  Tharam S. Dillon,et al.  Keynote 2: Trust and Reputation Relationships in Service-Oriented Environments , 2005, ICITA.

[2]  R. Geoff Dromey,et al.  From requirements to design: formalizing the key steps , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[3]  Saqib Ali,et al.  Design and implementation of a model for business rules automation , 2005, Third International Conference on Information Technology and Applications (ICITA'05).

[4]  Peter A. Lindsay,et al.  An environment for building a system out of its requirements , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

[5]  Mohamed Jmaiel,et al.  Using UML2.0 and GG for describing the dynamic of software architectures , 2005, Third International Conference on Information Technology and Applications (ICITA'05).

[6]  Robert L. Glass.  Is this a revolutionary idea, or not? , 2004, CACM.

[7]  Sai Peck Lee,et al.  Applying machine learning using case-based reasoning (CBR) and rule-based reasoning (RBR) approaches to object-oriented application framework documentation , 2005, Third International Conference on Information Technology and Applications (ICITA'05).

[8]  Lian Wen,et al.  From requirements change to design change: a formal path , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..