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 / Information Science Institute
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