Publication

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

1998
Conference Papers

Résumé

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.

Source officielle

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

Chattez avec Graph Search

Path invariants

A development method boosted by synchronous active objects

Neko: A Single Environment to Simulate and Prototype Distributed Algorithms