UNIGE document Technical Report
previous document  unige:55429  next document
add to browser collection

CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions

Guelfi, Nicolas
Romanovsky, Alexander
Zorzo, Avelino
Publication Newcastle: Department of Computing Science, University of Newcastle upon Tyne, 1998
Collection Department of Computing Science Technical Report Series
Description 29 p.
Abstract The objective of this paper are twofold. On the one hand, it sims to show the advantages of Co-ordinated Atomic actions (CA actions) as a design concept for dependable distributed system development, and on the other hand, it explains how the formal language CO-OPN/2 can be used to express the semantics of CA action design. A fault-tolerant distributed application is developed according to a simple development life cycle: informal requirements, specification, design, implementation. The design phase is built according to the CA action concept. The CO-OPN/2 language is used to formally express the design phase. The implementation is made in Java based on a library of generic classes implementing the CA action concept. The paper is to seve as a basis for a more general approach aimed at defining CA action semantics.
Keywords CO-OPN2Co-ordinated atomic actionDesign for validationFormal developmentGamma computationJavaStructuring complex concurrent systems
Full text
Research group Institute of Information Service Science (ISS)
(ISO format)
DI MARZO SERUGENDO, Giovanna et al. CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions. 1998 https://archive-ouverte.unige.ch/unige:55429

451 hits



Deposited on : 2015-04-12

Export document
Format :
Citation style :