UNIGE document Chapitre d'actes
previous document  unige:48373  next document
add to browser collection
Title

COALA - A Formal Language for Coordinated Atomic Actions

Authors
Vachon, Julie
Buffo, Mathieu
Randell, Brian
Romanovsky, Sascha
Stroud, Robert
Xu, Jie
Published in Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers). 1998, p. 43-86
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.
Full text
Structures
Research group Institute of Information Service Science (ISS)
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. https://archive-ouverte.unige.ch/unige:48373

300 hits

31 downloads

Update

Deposited on : 2015-03-23

Export document
Format :
Citation style :