Toggle Main Menu Toggle Search

ePrints

The ERT Model of Fault-Tolerant Computing and Its Application to a Formalisation of Coordinated Atomic Actions

Lookup NU author(s): Professor Maciej Koutny

Downloads


Abstract

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.


Publication metadata

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


Share