Show simple item record

dc.contributor.authorAnwer, Sajid
dc.contributor.authorWen, Lian
dc.contributor.authorWang, Zhe
dc.date.accessioned2021-03-15T03:20:40Z
dc.date.available2021-03-15T03:20:40Z
dc.date.issued2020
dc.identifier.doi10.1109/apsec51365.2020.00057
dc.identifier.urihttp://hdl.handle.net/10072/403150
dc.description.abstractIn the last two decades, several studies have been carried out to translate Behavior Trees (BTs) into other formal languages. However, as BTs are usually drawn directly from natural languages, there is no formal grammar to define what is a valid BT. In this research, we first propose a normal form for requirement BT as a building block for a valid BT, and then design a context-free grammar that can generate and verify all valid BTs. This work provides a solid foundation for BT research and will improve the quality of requirements modeling by identifying some common requirement defects.
dc.publisherIEEE
dc.relation.ispartofconferencename2020 27th Asia-Pacific Software Engineering Conference (APSEC)
dc.relation.ispartofconferencetitle2020 27th Asia-Pacific Software Engineering Conference (APSEC)
dc.relation.ispartofdatefrom2020-12-01
dc.relation.ispartofdateto2020-12-04
dc.relation.ispartoflocationSingapore
dc.relation.ispartofpagefrom465
dc.relation.ispartofpageto469
dc.titleA Formal Model for Behavior Trees Based on Context - Free Grammar
dc.typeConference output
dcterms.bibliographicCitationAnwer, S; Wen, L; Wang, Z, A Formal Model for Behavior Trees Based on Context - Free Grammar, 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020, pp. 465-469
dc.date.updated2021-03-12T07:02:19Z
gro.hasfulltextNo Full Text
gro.griffith.authorAnwer, Sajid
gro.griffith.authorWen, Larry
gro.griffith.authorWang, Zhe


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record