Show simple item record

dc.contributor.authorChan, Lin Wah
dc.contributor.authorHexel, Rene
dc.contributor.authorWen, Lian
dc.contributor.editorJean-Guy Schneider and Doug Grant
dc.date.accessioned2017-05-03T11:44:22Z
dc.date.available2017-05-03T11:44:22Z
dc.date.issued2013
dc.date.modified2014-02-19T22:40:32Z
dc.identifier.isbn9780769549958
dc.identifier.issn1530-0803
dc.identifier.refurihttp://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6601074
dc.identifier.doi10.1109/ASWEC.2013.13
dc.identifier.urihttp://hdl.handle.net/10072/56897
dc.description.abstractRequirement engineering is a difficult task which has a critical impact on software quality. Errors related to requirements are considered the most expensive types of software errors. They are the major cause of project delays and cost overruns. Software developers need to cooperate with multiple stakeholders with different backgrounds and concerns. The developers need to investigate an unfamiliar problem space and make the transition from the informal problem space to the formal solution space. The requirement engineering process should use systematic methods which are constructive, incremental, and rigorous. The methods also need to be easy to use and understand so that they can be used for communication among different stakeholders. Is it possible to invent a human intuitive modelling methodology which systematically translates the informal requirements into a formally defined model? Behaviour Engineering has arguably solved many problems. However, the size and low level of the final Behavior Tree makes it hard to match with the original requirements. Here, we propose a new requirement modelling approach called Rule-Based Behaviour Engineering. We separate two concerns, rules and procedural behaviours, right at the beginning of the requirement modelling process. We combine the Behavior Tree notation for procedural behaviour modelling with a non-monotonic logic called Clausal Defeasible Logic for rule modelling. In a systematic way, the target model is constructed incrementally in four well-defined steps. Both the representa- tions of rules and procedural flows are humanly readable and intuitive. The result is an effective mechanism for formally modelling requirements, detecting requirement defects, and providing a set of tools for communication among stakeholders.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent301592 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.publisherIEEE
dc.publisher.placeAustralia
dc.publisher.urihttp://aswec2013.ict.swin.edu.au/
dc.relation.ispartofstudentpublicationY
dc.relation.ispartofconferencename22nd Australasian Conference on Software Engineering (ASWEC)
dc.relation.ispartofconferencetitle2013 22ND AUSTRALASIAN CONFERENCE ON SOFTWARE ENGINEERING (ASWEC)
dc.relation.ispartofdatefrom2013-06-04
dc.relation.ispartofdateto2013-06-07
dc.relation.ispartoflocationSwinburne Univ Technol, Hawthorn Campus, Melbourne, AUSTRALIA
dc.relation.ispartofpagefrom20
dc.relation.ispartofpagefrom10 pages
dc.relation.ispartofpageto29
dc.relation.ispartofpageto10 pages
dc.rights.retentionY
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchcode080309
dc.titleRule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
gro.date.issued2013
gro.hasfulltextFull Text
gro.griffith.authorHexel, Rene
gro.griffith.authorChan, Lin W.
gro.griffith.authorWen, Larry


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