Title :
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
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;
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-8350-3
DOI :
10.1109/CSD.1998.657549
