Using the B Method for the Formalization of Coordinated Atomic Actions

@inproceedings{Tartanoglu2004UsingTB,
  title={Using the B Method for the Formalization of Coordinated Atomic Actions},
  author={Ferda Tartanoglu and Nicole L{\'e}vy and Val{\'e}rie Issarny and Alexander Romanovsky and France},
  year={2004}
}
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… CONTINUE READING