HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Journal/Magazine Articles >

Please use this identifier to cite or link to this item:
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
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
Appears in Collections:CSE Journal/Magazine Articles

Files in This Item:

File Description SizeFormat
1_3behav.pdfpre-published version2508KbAdobe PDFView/Open

Find published version via OpenURL Link Resolver

All items in this Repository are protected by copyright, with all rights reserved.