Proceedings chapter
Open access

COALA - A Formal Language for Coordinated Atomic Actions

Publication date1998

A Coordianted Atomic Action (CA Action) is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in distributed object-oriented systems. They constitute a very interesting concept for the structured developement of fault-tolerant distributed applications. To formalize the design of CA actions, this paper introduces a new language called COALA (COordinateed Atomic actions LAnguage). COALA provides both a concrete syntax to write CA actions and a semantics which formally explains the concept. The semantics is given in the formal object-oriented specification language CO-OPN/2. COALA can thus benefit form the formal techniques developed around CO-OPN/2 and use them for the validation and the test of applications written with COALA CA actions.

Citation (ISO format)
DI MARZO SERUGENDO, Giovanna et al. COALA - A Formal Language for Coordinated Atomic Actions. In: Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers). [s.l.] : [s.n.], 1998. p. 43–86.
Main files (1)
Proceedings chapter (Accepted version)
  • PID : unige:48373

Technical informations

Creation03/19/2015 7:55:00 PM
First validation03/19/2015 7:55:00 PM
Update time03/14/2023 11:03:12 PM
Status update03/14/2023 11:03:12 PM
Last indexation08/29/2023 3:24:13 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack