CLOWN as a testbed for concurrent object-oriented concepts

DOI10.1007/3-540-45397-0_4MaRDI QIDQ2761710zbMATH OpenFDO

Authors Eugenio Battiston, Alfredo Chizzoni, Fiorella de Cindio

Publication date 7 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2001/20010131

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Review text

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. This paper presents 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. For the entire collection see [Zbl 0976.68544].

Recommendations

• Integrated Formal Methods
• The inheritance of PN-COOPN
• Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
• On the use of coloured Petri nets for object-oriented design
• The challenge of object orientation for the analysis of concurrent systems

Cited in

(4)

• A wide-spectrum language for object-based development of real-time systems
• The challenge of object orientation for the analysis of concurrent systems
• Clowns to the left of me, jokers to the right (pearl)
• The consistent use of names and polymorphism in the definition of object Petri nets

Describes a project that uses

Uses Software

• Smalltalk

This page was built for publication: CLOWN as a testbed for concurrent object-oriented concepts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761710)