Loading...
conference paper
Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study
Di Marzo Serugendo, Giovanna
•
Guelfi, Nicolas
1998
Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98)
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.
Loading...
Name
dimarzo-csd98.ps.gz.gz
Access type
openaccess
Size
84.91 KB
Format
Unknown
Checksum (MD5)
550873bbc0b070678d434451108e56bd