|
HKUST Institutional Repository >
Computer Science and Engineering >
CSE Journal/Magazine Articles >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1783.1/2112
|
| Title: | Behaviour analysis of distributed systems using the tracta approach |
| Authors: | Giannakopoulou, Dimitra
Kramer, Jeff
Cheung, Shing-Chi |
| Keywords: | Behaviour analysis
Distributed systems
Software development process
Compositional reachability analysis
Tracta |
| Issue Date: | Jan-1999 |
| Citation: | Automated software engineering, v. 6, no. 1, Jan. 1999, p. 7-35 |
| Abstract: | Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where complex interactions can cause unexpected and undesired system behaviour. We have addressed this problem by using a compositional approach to analysis. The software architecture of a distributed program is represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis (CRA) exploits the compositional hierarchy to incrementally construct the overall behaviour of the system from that of its subsystems. In the Tracta CRA approach, both processes and properties reflecting system specifications are modelled as state-machines. Property state machines are composed into the system and violations are detected on the global graph obtained. The property checking mechanism has been specifically designed to deal with problems related with compositional techniques. The approach is supported by an automated tool implemented in C++ and running on Unix. |
| Rights: | The original publication is available at http://www.springerlink.metapress.com/openurl.asp?genre=article&id=doi:10.1023/A:1008645800955 |
| URI: | http://hdl.handle.net/1783.1/2112 |
| Appears in Collections: | CSE Journal/Magazine Articles
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 1_3behav.pdf | pre-published version | 2508Kb | Adobe PDF | View/Open |
|
Find published version via |
All items in this Repository are protected by copyright, with all rights reserved.
|
