Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
The Coordinated Atomic (CA) action concept is an approach to structuring complex concurrent activities in a distributed environment, aimed at supporting fault tolerance in the design of object-oriented systems. In this paper we investigate the issues involved in the formalisation of systems based on CA actions. For this investigation we have chosen a compositional model of system behaviour which enables one to relate the behaviour of (simple) base processes and their (complex) implementations, and state the correctness of the latter in terms of the former. The base processes can be thought of as specifications, or ideal processes operating in an error-free environment, while the implementations model their actual realisation which can exploit CA actions, possibly combined with a variety of fault-tolerant techniques to deliver reliable results.
Author(s): Koutny M, Pappalardo G
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1998
Pages: 36
Report Number: 636
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/636.pdf
