Show simple item record

dc.contributor.authorYatapanage, Nisansalaen_US
dc.contributor.authorWinter, Kirstenen_US
dc.contributor.authorZafar, Saaden_US
dc.contributor.editorChristian S.Calude and Vladimiro Sassoneen_US
dc.date.accessioned2017-05-03T14:40:03Z
dc.date.available2017-05-03T14:40:03Z
dc.date.issued2010en_US
dc.date.modified2010-10-15T07:29:17Z
dc.identifier.refurihttp://www.wcc2010.org/en_AU
dc.identifier.doi10.1007/978-3-642-15240-5_10en_AU
dc.identifier.urihttp://hdl.handle.net/10072/34667
dc.description.abstractProgram slicing is a reduction technique that removes irrelevant parts of a program automatically, based on dependencies. It is used in the context of documentation to improve the user's understanding as well as for reducing the size of a program when analysing. In this paper we describe an approach for slicing not program code but models of software or systems written in the graphical Behavior Tree language. Our focus is to utilise this reduction technique when model checking Behavior Tree models. Model checking as a fully automated analysis technique is restricted in the size of the model and slicing provides one means to improve on the inherent limitations. We present a Health Information System as a case study. The full model of the system could not be verified due to memory limits. However, our slicing algorithm renders the model to a size for which the model checker terminates. The results nicely demonstrate and quantify the benefits of our approach.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent241381 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename6th IFIP International Conference on Theoretical Computer Scienceen_US
dc.relation.ispartofconferencetitleTheoretical Computer Scienceen_US
dc.relation.ispartofdatefrom2010-09-20en_US
dc.relation.ispartofdateto2010-09-23en_US
dc.relation.ispartoflocationBrisbane, Australiaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchSoftware Engineeringen_US
dc.subject.fieldofresearchcode080309en_US
dc.titleSlicing Behavior Tree Models for Verificationen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightIFIP, 2010. This is the author's version of the work. It is posted here by permission of IFIP for your personal use. Not for redistribution. The definitive version was published in Theoretical Computer Science, IFIP AICT, Vol. 323, (Boston:Springer), pp.125-139.en_AU
gro.date.issued2010
gro.hasfulltextFull Text


Files in 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