Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study

Di Marzo Serugendo, Giovanna; Guelfi, Nicolas

doi:10.1109/CSD.1998.657549

Proceedings chapter

Open access

English

Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study

ContributorsDi Marzo Serugendo, Giovanna

; Guelfi, Nicolas

Published inProceedings of the 1998 International Conference on Application of Concurrency to System Design, Editors Institute of Electrical and Electronics Engineers, p. 166-176

Presented at Fukushima (Japan), 23-26 March 1998

PublisherWashington : IEEE Computer Society

Collection

IEEE Conference Proceedings INSPEC; 5871176

Publication date1998

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

Affiliation

Faculté d'économie et de management / Information Science Institute

Citation (ISO format)

DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas. Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study. In: Proceedings of the 1998 International Conference on Application of Concurrency to System Design. Fukushima (Japan). Washington : IEEE Computer Society, 1998. p. 166–176. (IEEE Conference Proceedings INSPEC) doi: 10.1109/CSD.1998.657549

Proceedings chapter (Published version)

Identifiers

PID : unige:48309
DOI : 10.1109/CSD.1998.657549

Commercial URLhttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=657549

ISBN978-0-8186-8350-3

614views

216downloads

Creation03/17/2015 7:26:00 PM

First validation03/17/2015 7:26:00 PM

Update time03/14/2023 11:02:39 PM

Status update03/14/2023 11:02:39 PM

Last indexation08/29/2023 3:23:03 PM

Archive ouverte UNIGE

Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study

Technical informations