'Integrare', a collaborative environment for behavior-oriented design

Wen, Lian, Colvin, Robert, Lin, Kai, Seagrott, John, Yatapanage, Nisansala and Dromey, Geoff (2007). 'Integrare', a collaborative environment for behavior-oriented design. In: Proceedings o f the 4th International Conference on Cooperative Design, Visualization, and Engineering. 4th International Conference, CDVE 2007 Cooperative Design, Visualization, and Engineering, Shanghai, China, (122-131). 16-20 September 2007. doi:10.1007/978-3-540-74780-2_14


Author Wen, Lian
Colvin, Robert
Lin, Kai
Seagrott, John
Yatapanage, Nisansala
Dromey, Geoff
Title of paper 'Integrare', a collaborative environment for behavior-oriented design
Conference name 4th International Conference, CDVE 2007 Cooperative Design, Visualization, and Engineering
Conference location Shanghai, China
Conference dates 16-20 September 2007
Proceedings title Proceedings o f the 4th International Conference on Cooperative Design, Visualization, and Engineering   Check publisher's open access policy
Journal name Lecture notes in computer science: Cooperative Design, Visualization, and Engineering   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer
Publication Year 2007
Sub-type Fully published paper
DOI 10.1007/978-3-540-74780-2_14
ISBN 9783540747796
ISSN 0302-9743
1611-3349
Volume 4674
Start page 122
End page 131
Total pages 10
Collection year 2008
Language eng
Abstract/Summary 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.
Subjects 280302 Software Engineering
700102 Application tools and system utilities
Keyword Behavior-oriented design
Behavior Trees
Software environment
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 9 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 06 May 2008, 19:34:19 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering