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 Cindio
Ultimo
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 language
Settore INF/01 - Informatica
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]
Book (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/201355
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact