UNIGE document Chapitre d'actes
previous document  unige:48309  next document
add to browser collection
Title

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

Authors
Guelfi, Nicolas
Published in Institute of Electrical and Electronics Engineers. Proceedings of the 1998 International Conference on Application of Concurrency to System Design. Fukushima (Japan) - 23-26 March 1998 - Washington: IEEE Computer Society. 1998, p. 166-176
Collection IEEE Conference Proceedings INSPEC; 5871176
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 netsAlgebraic specificationClient-server systemsObject-oriented languagesObject-oriented programmingReverse engineeringSpecification languages
Identifiers
ISBN: 978-0-8186-8350-3
Full text
Structures
Research group Institute of Information Service Science (ISS)
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: Institute of Electrical and Electronics Engineers (Ed.). 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; 5871176) https://archive-ouverte.unige.ch/unige:48309

313 hits

45 downloads

Update

Deposited on : 2015-03-18

Export document
Format :
Citation style :