Proceedings chapter
Open access

Formal development of Java based Web parallel applications

Published inProceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98, Editors Institute of Electrical and Electronics Engineers, p. 604-613
Presented at Kohala Coast (United States), 6-9 January 1998
PublisherWashington : IEEE Computer Society
  • IEEE Conference Proceedings INSPEC; 5850113
Publication date1998

The Java object oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. We present a formal development methodology based on the stepwise refinement of CO-OPN/2 formal specifications, using a real Web parallel application. Starting from a centralized view, we present the following refinement steps: data distribution, behavior distribution, communication layer, and Java program. During the whole refinement process, we study the evolution and the verification of one specific property.

  • Software engineering
  • Petri nets
  • Algebraic specifications
  • Refinement
  • Concurrent and distributed systems
  • Java
  • Web
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas. Formal development of Java based Web parallel applications. In: Proceedings of the 31st Hawaii International Conference on System Sciences - HICCS′98. Kohala Coast (United States). Washington : IEEE Computer Society, 1998. p. 604–613. (IEEE Conference Proceedings INSPEC) doi: 10.1109/HICSS.1998.649261
Main files (1)
Proceedings chapter (Published version)

Technical informations

Creation03/17/2015 7:38:00 PM
First validation03/17/2015 7:38:00 PM
Update time03/14/2023 11:02:38 PM
Status update03/14/2023 11:02:38 PM
Last indexation05/02/2024 4:03:44 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack