Proceedings chapter
OA Policy
English

COALA - A Formal Language for Coordinated Atomic Actions

Publication date1998
Abstract

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)
accessLevelPublic
Identifiers
  • PID : unige:48373
Additional URL for this publicationhttp://infoscience.epfl.ch/record/54635
657views
97downloads

Technical informations

Creation19/03/2015 19:55:00
First validation19/03/2015 19:55:00
Update time14/03/2023 23:03:12
Status update14/03/2023 23:03:12
Last indexation30/10/2024 23:36:13
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack