A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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 CO-OPN/2 formal specification language. Then, we present a brand new research that studies properties preservations during a refinement process.