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

Formal development and validation of Java dependable distributed systems

Authors
Guelfi, Nicolas
Romanovsky, Alexander
Zorzo, Avelino Francisco
Published in Institute of Electrical and Electronics Engineers. Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99. Las Vegas (United States) - 18-21 October 1999 - Washington: IEEE Computer Society. 1999, p. 98-108
Collection IEEE Conference Proceedings INSPEC; 6423162
Abstract 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. The methodology and the three refinement steps are presented through a very simple fault tolerant distributed Java application.
Keywords JavaDistributed programmingFormal specificationProgram verification software fault tolerance
Identifiers
ISBN: 978-0-7695-0434-5
Full text
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna et al. Formal development and validation of Java dependable distributed systems. In: Institute of Electrical and Electronics Engineers (Ed.). Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99. Las Vegas (United States). Washington : IEEE Computer Society, 1999. p. 98-108. (IEEE Conference Proceedings INSPEC; 6423162) https://archive-ouverte.unige.ch/unige:48311

288 hits

38 downloads

Update

Deposited on : 2015-03-18

Export document
Format :
Citation style :