Show simple item record

dc.contributor.authorWen, Lian
dc.contributor.authorColvin, Robert
dc.contributor.authorLin, Kai
dc.contributor.authorSeagrott, John
dc.contributor.authorYatapanage, Nisansala
dc.contributor.authorDromey, Geoff
dc.contributor.editorLuo, YH
dc.date.accessioned2017-05-03T14:08:10Z
dc.date.available2017-05-03T14:08:10Z
dc.date.issued2007
dc.date.modified2008-05-09T06:37:23Z
dc.identifier.isbn978-3-540-74779-6
dc.identifier.issn0302-9743
dc.identifier.refurihttp://www.cdve.org/index.html
dc.identifier.doi10.1007/978-3-540-74780-2_14
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent124775 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeHeidelberg
dc.publisher.urihttp://www.cdve.org/index.html
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename4th International Conference on Cooperative Design, Visualization, and Engineering
dc.relation.ispartofconferencetitleCOOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING
dc.relation.ispartofdatefrom2007-09-16
dc.relation.ispartofdateto2007-09-20
dc.relation.ispartoflocationShanghai, PEOPLES R CHINA
dc.relation.ispartofpagefrom122
dc.relation.ispartofpagefrom4 pages
dc.relation.ispartofpageto+
dc.relation.ispartofpageto4 pages
dc.relation.ispartofvolume4674
dc.rights.retentionY
dc.subject.fieldofresearchcode280302
dc.title"Integrare", a Collaborative Environment for Behavior-Oriented Design
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 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.
gro.date.issued2007
gro.hasfulltextFull Text
gro.griffith.authorDromey, Geoff
gro.griffith.authorSeagrott, John
gro.griffith.authorWen, Larry
gro.griffith.authorLin, Kai
gro.griffith.authorYatapanage, Nisansala P.


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