Formal development of Java based Web parallel applications

Author

Di Marzo Serugendo, Giovanna ; Guelfi, Nicolas

Author_Institution

CUI, Geneva Univ., Switzerland

Volume

7

fYear

1998

fDate

6-9 Jan 1998

Firstpage

604

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

Internet; formal specification; object-oriented languages; object-oriented programming; parallel programming; CO-OPN/2 formal specifications; Java based Web parallel applications; Java object oriented programming language; Java program; Java programs; behavior distribution; centralized view; commercial products; communication layer; complex parallel applications; data distribution; formal development; formal development methodology; real Web parallel application; refinement process; refinement steps; software engineers; stepwise refinement; Application software; Buildings; Computer languages; Formal specifications; Java; Object oriented programming; Petri nets; Refining; Sockets; Software engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1998., Proceedings of the Thirty-First Hawaii International Conference on

Conference_Location

Kohala Coast, HI

Print_ISBN

0-8186-8255-8

Type

conf

DOI

10.1109/HICSS.1998.649261

Filename

649261