• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    • Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Formalisation of the Integration of Behavior Trees

    Thumbnail
    View/Open
    100931_1.pdf (747.5Kb)
    Author(s)
    Ahmed, K
    Newton, MAH
    Wen, L
    Sattar, A
    Griffith University Author(s)
    Sattar, Abdul
    Wen, Larry
    Year published
    2014
    Metadata
    Show full item record
    Abstract
    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

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander