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

Formal development of Java based Web parallel applications

Authors
Guelfi, Nicolas
Published in Institute of Electrical and Electronics Engineers. Proceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98. Kohala Coast (United States) - 6-9 January 1998 - Washington: IEEE Computer Society. 1998, p. 604-613
Collection IEEE Conference Proceedings INSPEC; 5850113
Abstract 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.
Keywords Software engineeringPetri netsAlgebraic specificationsRefinementConcurrent and distributed systemsJavaWeb
Identifiers
ISBN: 978-0-8186-8255-8
Full text
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas. Formal development of Java based Web parallel applications. In: Institute of Electrical and Electronics Engineers (Ed.). 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; 5850113) https://archive-ouverte.unige.ch/unige:48308

237 hits

42 downloads

Update

Deposited on : 2015-03-18

Export document
Format :
Citation style :