Please use this identifier to cite or link to this item:

Behaviour Analysis of Distributed Systems Using the Tracta Approach

Authors Giannakopoulou, Dimitra
Kramer, Jeff
Cheung, Shing Chi View this author's profile
Issue Date 1999
Source Automated Software Engineering , v. 6, (1), January 1999, p. 7-35
Summary 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 advocate the use of 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 for incrementally constructing 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 reachability graph obtained. The property checking mechanism has been specifically designed to deal with compositional techniques. Tracta is supported by an automated tool compatible with our environment for the development of distributed applications.
ISSN 0928-8910
Rights The original publication is available at
Language English
Format Article
Access View full-text via DOI
View full-text via Scopus
Files in this item:
File Description Size Format
1_3behav.pdf 2568561 B Adobe PDF