Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study

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.


Published in:
Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), 166-176
Year:
1998
Publisher:
IEEE Computer Society Press
Note:
Also available as Technical Report EPFL-DI No 98/267
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)