Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions

Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino

Advanced search

Browse by...

Deposit

Highlights

More informations

Title		Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
Authors		Di Marzo Serugendo, Giovanna Guelfi, Nicolas Romanovsky, Alexander Zorzo, Avelino
Publication		Lausanne: Software Engineering Laboratory, Swiss Federal Institute of Technology, 1998
Description		24 p.
Abstract		The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable distributed applications. It is based on the stepwise refinement of model-oriented formal specifications, and enables validation of the obtained system wrt the client's requirements. Three refinement steps have been identified in the case of fault-tolerant distributed applications: first, starting from informal requirements, an initial formal specification is derived. It does not depend on implementation constraints and provides a centralized solution, second, dependability and distribution constraints are integrated; third, the Java implementation is realised. The CO-OPN/2 language is used to express specifications formally; and the dependability and distribution design is based on the Coordinated Atomic action concept. The methodology and the three refinement steps are presented through a very simple fault-tolerant distributed Java application.
Keywords		Structuring complex concurrent systems — CO-OPN/2 — Formal development — Stepwise refinement — Design for validation — Coordinated atomic actions — Java
Full text		Report (Accepted version) (570 Kb) - Free access Other version: http://cui.unige.ch/~dimarzo/papers/TR-98-265.pdf
Structures		Faculté d'économie et de management / Institute of Information Service Science
Research group		Institute of Information Service Science (ISS)
Citation (ISO format)		DI MARZO SERUGENDO, Giovanna et al. Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions. 1998 https://archive-ouverte.unige.ch/unige:55426