Toggle Main Menu Toggle Search

Open Access padlockePrints

Using the B Method for the Formalization of Coordinated Atomic Actions

Lookup NU author(s): Professor Alexander Romanovsky

Downloads


Abstract

Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then allows developing dependable systems, where the B formal specification can be refined to obtain a correct implementation of the associated runtime support.


Publication metadata

Author(s): Tartanoglu F, Levy N, Issarny V, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 17

Print publication date: 01/10/2004

Source Publication Date: October 2004

Report Number: 865

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/865.pdf


Share