CoOperative objects: principles, use and implementation It is no longer relevant to praise the qualities of the Object-Oriented Approach and the Petri Net Theory. Each of them has proved to be a powerful framework in its field of application. However it is a challenge to associate them into a conceptual framework which combines the expressive power of both approaches while maintaining their respective merits. Moreover, it must be shown that such a formalism can be implemented in a sound and efficient manner. par This paper is a comprehensive presentation of the CoOperative Objects formalism. This formalism embraces the theoretical and pragmatic features of both the Petri net and the Object-Oriented approaches by thoroughly integrating their concepts. It is as well-adapted to the specification and the validation of open distributed systems as to their implementation. The basic idea is that a Petri net processes data objects as tokens, while the behaviour of an active object is defined by a Petri net. This paper also proposes a CoOperative Object solution to the dynamic dining philosophers problem, and tackles implementation issues through the presentation of SYROCO, a CoOperative Objects compiler.
Keywords for this software
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
- Haddad, Serge; Poitrenaud, Denis: Recursive Petri nets (2007)
- Sibertin-Blanc, Christophe; Mauran, Philippe; Padiou, Gérard: Safe adaptation of component coordination. (2007)
- Barros, João Paulo; Gomes, Luís: On the use of coloured Petri nets for object-oriented design (2004)
- Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria: Compositional modeling of complex systems: Contact center scenarios in OsMoSys (2004)
- Hameurlain, Nabil: Behavioural subtyping and property preservation for active objects. (2002)
- Sibertin-Blanc, C.: CoOperative objects: principles, use and implementation (2001)
- Frappier, Marc (ed.); Habrias, Henri (ed.): Software specification methods. An overview using a case study (2000)
- Tsiatsoulis, Z.; Cotronis, J.Y.: Testing and debugging message passing programs in synergy with their specifications (2000)