"Integrare", a Collaborative Environment for Behavior-Oriented Design

File Size Format
43991_1.pdf 121Kb Adobe PDF View
Title "Integrare", a Collaborative Environment for Behavior-Oriented Design
Author Wen, Larry; Colvin, Robert; Lin, Kai; Seagrott, John; Yatapanage, Nisansala Prasanthi; Dromey, Geoff
Publication Title Cooperative Design, Visualisation, and Engineering: 4th International Conference CDVE 2007
Editor Prof. Y. Luo
Year Published 2007
Place of publication Heidelberg
Publisher Springer
Abstract In 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.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.cdve.org/index.html
Alternative URI http://dx.doi.org/10.1007/978-3-540-74780-2_14
Copyright Statement 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.
ISBN 9783540747796
Conference name the Fourth International Conference on Cooperative Design, Visualization and Engineering
Location ShangHai, China
Date From 2007-09-16
Date To 2007-09-20
URI http://hdl.handle.net/10072/18625
Date Accessioned 2007-06-22
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Software Engineering
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice