Software modeling and analysis using a hierarchical object-oriented Petri net

Information sciences

Volumn 130, Issue 1-4, 2000, Pages 133-164

  Hong, Jang Eui ^a   Bae, Doo Hwan ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL SYSTEMS; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; PETRI NETS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

HIERARCHICAL OBJECT-ORIENTED PETRI NETS;

OBJECT ORIENTED PROGRAMMING;

EID: 0034497238     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(00)00090-6     Document Type: Article

References (29)

1. Ajroud H.B., Jaoua A. Abstraction of objects by conceptual clustering. Int. J. Information Sci. 109:1998;79-94.
2. R. Bastide, Approaches in unifying Petri nets and the object-oriented approach, in: Proceeding of the International Workshop on Object-oriented Programming and Models of Concurrency, Turin, Italy, June, 1995, http://wrcm.dsi.unimi.it/PetriLab/ws95/home.html.
3. E. Battiston, F.D. Cindio, G. Mauri, OBJSA Nets: a class of high-level nets having objects as domains, in: APN'88, Lecture Notes in Computer Science, vol. 340, 1988, pp. 20-43.
4. O. Biberstein, D. Buchs, An object-oriented specification language based on hierarchical algebraic Petri nets, in: Proceedings of the IS-CORE Workshop Amsterdam, September 1994 (and TR: EPFL-DI 94-76).
5. O. Biberstein, D. Buchs, N. Guelfi, Modeling of cooperative editors using COOPN/2, in; Proceeding of the International Workshop on Object-Oriented Programming and Models of Concurrency, Osaka, Japan, June 1996.
6. W. Brauer, R. Gold, W. Vogler, A survey of behaviour and equivalence preserving refinement of Petri nets, in: APN'90, Lecture Noters in Computer Science, vol. 483, 1990, pp. 1-46.
7. J. Cardoso, R. Valette, D. Dubios, Petri nets with uncertain markings, in: APN'90, Lecture Notes in Computer Science, vol. 483, 1991, pp. 64-78.
8. Desharnais et al J. Integration of sequential scenarios. IEEE Trans. Software Eng. 24(9):1998;695-708.
9. Eliens A. Principles of Object-Oriented Software Development. 1995;Addison-Wesley, Wokhingham, UK.
10. R. Fehling, A concept of hierarchical Petri nets with building blocks, in: APN'93, Lecture Notes in Computer Science, vol. 674, 1993, pp. 148-168.
11. H. Giese, J. Graf, G. Wirtz, Modeling distributed software systems with object coordination nets, in: Proceedings for the International Symposium on Software Engineering for Parallel and Distributed Systems, Japan, April 1998, pp. 39-49.
12. D. Harel, E. Gery, Executable object modeling with statechart, in: Proceedings of the 18th International Conference on Software Engineering, Germany, March 1996, pp. 246-257.
13. T. Holvoet, P. Verbaeten, PN-TOX: a paradigm and development environment for object concurrency specification, in: Proceeding of the International Workshop on Object-oriented Programming and Models of Concurrency, Turin, Italy, June 1995, http://wrcm.dsi.unimi.it/PetriLab/ws95/home.html.
14. J.-E. Hong, N.H. Lee, S.D. Cha, D.H. Bae, Towards reusable colored Petri nets, in: Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, April 1998. pp. 223-229.
15. J.-E. Hong, Doo-Hwan Bae, HOONet: hierarchical object-oriented Petri net for system modeling and analysis, Technical Report CS-TR-98-132, Department of Computer Science, KAIST, November 1998.
16. P. Huber, K. Jensen, R.M. Shapiro, Hierarchies in coloured Petri nets, in: APN'90, Lecture Notes in Computer Science, vol. 483, 1991, pp. 313-341.
17. Jacobson I.et al. Object-Oriented Software Engineering: A Use Case Driven Approach. 1992;Addison-Wesley, Wokhingham, UK.
18. K. Jensen, Coloured Petri Nets: Basic concepts, Analysis methods, and Practical use, vol. 1.2, Springer, Berlin, 1992.
19. C. Lakos, C. Keen, LOOPN++: a new language for object-oriented Perti nets, Technical Report R94-4, Networking Research Group, Univesity of Tasmania, Australia, April 1994.
20. C. Lakos, The object orientation of object Petri nets, in: Proceeding of the International Workshop on Object-oriented and Models of Concurrency Turin, Italy, June 1995 (within the 16th International conference on ATPN 95).
21. C. Lakos, On the abstraction of coloured Petri nets, in: Proceedings of Petri Net Conference 97, Touloure, France, 1997.
22. Lee Y.K., Park S.J. OPNets: an object-oriented high-level Petri net model for real-time system modeling. J. Syst. Software. 20:1993;69-86.
23. Murata T. Petri nets: properties, analysis and applications. Proc. IEEE. 77(4):1989;541-580.
24. Perkusich A., Figueiredo J.C.A. G-Nets: a Petri net based approach for logical and timing analysis of complex software systems. J. Syst. Software. 39:1997;39-59.
25. Rumbaughetal J. Object-oriented Modeling and Design. 1991;Prentice-Hall, Englewood Cliffs, NJ.
26. Schuman S.A. Formal Object-oriented Development. 1997;Springer, Berlin.
27. S. Some, R. Dssouli, An enhancement of timed automata generation from timed scenarios using grouped states, Technical Report 1029, University of Montreal, Canada, April 1996.
28. Thayer R.H., Dortman M. Software Requirement Engineering. 1997;IEEE Computer Society Press, Silver Spring.
29. J.D. Ullman, Elements of ML Programming, ML97 Edition, Prentice-Hall, Englewood Cliffs, NJ, 1998.