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

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 1998-March, Issue , 1998, Pages 166-176

  Serugendo, Giovanna Di Marzo ^a,b   Guel, Nicolas ^b  

^a UNIVERSITY OF GENEVA   (Switzerland)

^b EPFL   (Switzerland)

Author keywords

Alge braic specifications; Concurrent and distributed systems; Java; Petri nets; Property verification; Reverse engineering

Indexed keywords

COMPUTER SOFTWARE; FORMAL SPECIFICATION; OBJECT ORIENTED PROGRAMMING; PETRI NETS; REVERSE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYSTEMS ANALYSIS;

CLIENT/SERVER APPLICATION; CONCURRENT AND DISTRIBUTED SYSTEMS; DISTRIBUTED APPLICATIONS; ENGINEERING METHODOLOGY; HIGH-LEVEL PETRI NETS; JAVA; PROPERTY PRESERVATION; PROPERTY VERIFICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 33646211934     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.1998.657549     Document Type: Conference Paper

References (12)

1. Ken Arnold and James Gosling. The Java Program- ming Language. The Java Series. Addison-Wesley, 1996.
2. J.-P. Banatre and D. Le M-etayer. Gamma and the Chemical Reaction Model: Ten Years After. In J.- M. Andreoli, C. Hankin, and D. Le M-etayer, editors, Coordination Programming: Mechanisms, Models and Semantics, pages 3-41. Imperial College Press, 1996.
3. Olivier Biberstein, Didier Buchs, and Nicolas Guel. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In G. Agha and F. De Cindio, editors, Advances in Petri Nets on Object-Orientation, volume to appear of Lecture Notes in Computer Sci- ence. Springer-Verlag, 1997.
4. Wilfried Brauer, Robert Gold, and Walter Volger. A survey of behaviour and equivalence preserving refine- ment of Petri nets. In Advances in Petri Nets 1990, volume 483, pages 1-46. Lecture Notes in Computer Science, 1992.
5. G. Di Marzo Serugendo, N. Guel, A. Romanovski, and A. Zorzo. Formal development and validation of the DSGamma system based on CO-OPN/2 and Co- ordinated Atomic Actions. Technical Report of the Esprit Long Term Research Project 20072 'Design For Validation', University of Newcastle Upon Tyne, De- partment of Computer Science, 1997.
6. Giovanna Di Marzo Serugendo and Nicolas Guel. For- mal development of Java programs. Technical Report 97/248, Software Engineering Laboratory, Swiss Fed- eral Institute of Technology, Lausanne, Switzerland, 1997.
7. Leslie Lamport. The temporal logic of actions. Tech- nical Report 79, Digital Equipment Corporation, Sys- tems Research Centre, 25 December 1991.
8. K. Lano. Formal Object-Oriented Development. Springer-Verlag, London, 1995.
9. Wolfgang Reisig. Petri nets and algebraic specifica- tions. In Theoretical Computer Science, volume 80, pages 1-34. Elsevier, 1991.
10. N. Uchihira and S. Honiden. Verification and syn- Thesis of concurrent programs using Petri nets and temporal logic. The transaction of the institute of electronics, information and communication engineers, E73(12): 2001-2009, December 1990.
11. Martin Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Methods and Semantics, chapter 13, pages 675-788. North-Holland, Amster- dam, 1990.
12. P. Yurkowski and C. M. Laucht. Combining Petri nets and temporal logic to model and analyse distributed systems. In Proc. of the Fifteenth Manitoba Conf. on Numerical Mathematics and Computing, pages 211- 227, 1986. NewsletterInfo: 30.