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

English

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

ContributorsDi Marzo Serugendo, Giovanna

; Guelfi, Nicolas

Presented atFukushima (Japan), 23-26 March 1998

Published inInstitute of Electrical and Electronics Engineers (Ed.), Proceedings of the 1998 International Conference on Application of Concurrency to System Design, p. 166-176

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 entities

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. Institute of Electrical and Electronics Engineers (Ed.). 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

660views

276downloads

Creation17/03/2015 20:26:00

First validation17/03/2015 20:26:00

Update time15/03/2023 00:02:39

Status update15/03/2023 00:02:39

Last indexation31/10/2024 00:34:28

Archive ouverte UNIGE

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

Technical informations