Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study
Di Marzo Serugendo, Giovanna; Guelfi, Nicolas
1998

Files

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 ?. We present 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 COOPNTWO formal specification language. Then, we present a brand new research that studies properties preservations during a refinement process.

Details

Title Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study
Author(s) Di Marzo Serugendo, Giovanna ; Guelfi, Nicolas
Published in Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98)
Pages 166-176
Date 1998
Publisher IEEE Computer Society Press
Note Also available as Technical Report EPFL-DI No 98/267
DOI https://doi.org/10.1109/CSD.1998.657549
Laboratories LGL
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Record creation date 2005-09-20

Actions