Paper Info
Title
Formal Development and Validation of Java Dependable Distributed Systems
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 realized. The CO-OPN/2 language is used to express specification 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.
Year
DOI
Venue
1999
10.1109/ICECCS.1999.802854
ICECCS
Keywords
Field
DocType
formal specification,java,software fault tolerance,distributed application,dependability,stepwise refinement,distributed programming,distributed system
Dependability,Software engineering,Computer science,Software fault tolerance,Real time Java,Formal specification,Real-time computing,Software,Fault tolerance,strictfp,Java,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-0434-5
7
0.67
References 
Authors
4
4
Name
Order
Citations
PageRank
Giovanna Di Marzo Serugendo1131088.49
Nicolas Guelfi249648.73
Alexander B. Romanovsky338641.97
Avelino F. Zorzo4264.10