Petri nets have been considered among the variety of formalisms and theories taken into account for giving a sound semantic basis to (concurrent) object-oriented systems and languages. Pursuing this research direction, we have defined a formalism called CLOWN (CLass Orientation With Nets) and discussed on it many object-oriented concepts, with special regards to a net-based notion of inheritance. We present the insights about the principles and the open problems of object-orientation that we derived by modelling in CLOWN a number of small to medium case studies. The current results suggest, as promising future efforts, the tighter integration with object-oriented analysis and design methodologies, especially aimed at the Smalltalk language
CLOWN as a testbed for concurrent object-oriented concepts / E. Battiston, A. Chizzoni, F. De Cindio ; [a cura di] G. A. Agha, F. De Cindio, G. Rozenberg (Eds.). - Berlin : SPRINGER, 2001. - ISBN 3-540-41942-X. [10.1007/3-540-45397-0_4]
CLOWN as a testbed for concurrent object-oriented concepts
F. De CindioUltimo
2001
Abstract
Petri nets have been considered among the variety of formalisms and theories taken into account for giving a sound semantic basis to (concurrent) object-oriented systems and languages. Pursuing this research direction, we have defined a formalism called CLOWN (CLass Orientation With Nets) and discussed on it many object-oriented concepts, with special regards to a net-based notion of inheritance. We present the insights about the principles and the open problems of object-orientation that we derived by modelling in CLOWN a number of small to medium case studies. The current results suggest, as promising future efforts, the tighter integration with object-oriented analysis and design methodologies, especially aimed at the Smalltalk languagePubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.