Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Development and Validation of Java Dependable Distributed Systems

Lookup NU author(s): Professor Alexander RomanovskyORCiD, Avelino Zorzo


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


The rapid expansion of Java programs into the software market is often not supported by a proper development methodology. 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 as based on the Coordinated Atomic action concept.

Publication metadata

Author(s): Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo AF

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Year of Conference: 1999

Pages: 98-108

Publisher: IEEE Computer Society Press


DOI: 10.1109/ICECCS.1999.802854

Library holdings: Search Newcastle University Library for this item

ISBN: 0769504345