Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study

Author

Di Marzo Serugendo, Giovanna ; Guelfi, Nicolas

Author_Institution

CUI, Geneva Univ., Switzerland

fYear

1998

fDate

23-26 Mar 1998

Firstpage

166

Lastpage

176

Abstract

The problem addressed in this paper is the following: how to use high-level Petri nets for the reverse engineering of implemented distributed applications. The paper presents a reverse engineering methodology applied on a real (simple) Java applet based client/server application. First, starting from the Java program, several abstraction steps are described using the CO-OPN/2 formal specification language. Then, the paper presents brand new research that studies property preservations during the refinement process

Keywords

Petri nets; algebraic specification; client-server systems; object-oriented languages; object-oriented programming; reverse engineering; specification languages; CO-OPN/2; Java programs; algebraic specification; case study; client server application; distributed applications; high-level Petri nets; object oriented algebraic nets; property preservations; refinement process; reverse engineering; specification language; Application software; Collaboration; Computer aided software engineering; Data structures; Java; Logic; Petri nets; Protection; Reverse engineering; Software engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on

Conference_Location

Fukushima

Print_ISBN

0-8186-8350-3

Type

conf

DOI

10.1109/CSD.1998.657549

Filename

657549