Show simple item record

dc.contributor.authorWen, Larryen_US
dc.contributor.authorColvin, Roberten_US
dc.contributor.authorLin, Kaien_US
dc.contributor.authorSeagrott, Johnen_US
dc.contributor.authorYatapanage, Nisansalaen_US
dc.contributor.authorDromey, Geoffen_US
dc.contributor.editorProf. Y. Luoen_US
dc.date.accessioned2017-05-03T14:08:10Z
dc.date.available2017-05-03T14:08:10Z
dc.date.issued2007en_US
dc.date.modified2008-05-09T06:37:23Z
dc.identifier.refurihttp://www.cdve.org/index.htmlen_AU
dc.identifier.doi10.1007/978-3-540-74780-2_14en_AU
dc.identifier.urihttp://hdl.handle.net/10072/18625
dc.description.abstractIn this paper, we introduce a new cooperative design and visualization environment, called "Integrare", which supports designers and developers in building dependable, component-based systems using a new behavior-oriented design method. This method has advantages in terms of its abilities to manage complexity, find defects and make checks of dependability. The environment integrates and unifies several tools that support multiple phases of the design process, allowing them to interact and exchange information, as well as providing efficient editing capabilities. It can help formalize individual natural language functional requirements as Behavior Trees. These trees can be composed to create an integrated tree-like view of all the formalized requirements. The environment manages complexity by allowing multiple users to work independently on requirements translation and tree editing in a collaborative mode. Once a design is constructed from the requirements, it can be visually simulated with respect to an underlying operational semantics, and formally verified by way of a model checker.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent124775 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeHeidelbergen_US
dc.publisher.urihttp://www.cdve.org/index.htmlen_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenamethe Fourth International Conference on Cooperative Design, Visualization and Engineeringen_US
dc.relation.ispartofconferencetitleCooperative Design, Visualisation, and Engineering: 4th International Conference CDVE 2007en_US
dc.relation.ispartofdatefrom2007-09-16en_US
dc.relation.ispartofdateto2007-09-20en_US
dc.relation.ispartoflocationShangHai, Chinaen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280302en_US
dc.title"Integrare", a Collaborative Environment for Behavior-Oriented Designen_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.copyrightCopyright 2007 Springer. The attached file is reproduced here in accordance with the copyright policy of the publisher. Use hypertext link to access publisher's website.en_AU
gro.date.issued2007
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