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 netbased 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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Aksit, J. Bosch, W. van der Sterren, L. Bergmans, Real-time specification inheritance anomalies and real-time filters, in ECOOP’ 94 Proc., M. Tokoro, R. Pareschi (eds.), LNCS 821, 1994.
G. Agha and F. De Cindio (eds.), Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, held within 16th Int. Conf on Appl. and Theory of Petri Nets, Torino (I), 1995.
G. Agha and F. De Cindio (eds.), Proc. of 2nd Workshop on Objectoriented Programming and Models of Concurrency, held within 17th Int. Conf on Appl. and Theory of Petri Nets, Osaka (JP), 1996.
G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
P. America, Issues in the design of a parallel object-oriented language, in “Formal Aspects of Computing”, Volume 1, pp.366–411, 1989.
P. America, Designing an object-oriented programming language with behavioural subtyping, in [BRR91].
G. Agha, P. Wegner, A. Yonezawa (eds.), Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.
G. Baratta: Operazioni su componenti OBJSA Master degree thesis, University of Milan, 1996 (In italian).
O. Biberstein and D. Buchs: Structured Algebraic Nets with Objectorientation; in [AD95].
E. Battiston, O. Botti, E. Crivelli and F. De Cindio: An incremental specification of a Hidroelectric Power Plant Control System using a class of modular algebraic nets. in G. De Michelis and M. Diaz (eds.), Appl. and Theory of Petri Nets 1995, LNCS 935, Springer, 1995.
E. Battiston, L. Capra, A. Chizzoni and F. De Cindio: The OBJSA Net Environment ONE. Tool presentation at the 17th ICATPN, Osaka, J, 1996.
E. Battiston, A. Chizzoni and F. De Cindio: Inheritance and Concurrency in CLOWN.; in [AD95].
L. Bernardinello, F. De Cindio, A survey of basic net models and modular net classes, in G. Rozenberg (ed.), Advances of Petri Nets 1992, LNCS 609, Springer, 1992.
E. Battiston, F. De Cindio, Class Orientation and Inheritance in Modular Algebraic Nets, in Proc. “IEEE 1993 Intern. Conf. on Systems, Man and Cybernetics, Le Touquet, F, October 17–20 1993”, Vol. II, pp.717–723, 1993.
E. Best, R. Devillers and J. Hall, The Petri Box Calculus: a new causal algebra with multilabel communication, in G. Rozenberg (ed.), Advances of Petri Nets 1992, LNCS 609, Springer, 1992.
E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets: a class of high level nets having objects as domains, in Advances in Petri Nets 88, G. Rozenberg (ed.), LNCS 340, Springer Verlag, 1988
E. Battiston, F. De Cindio and G. Mauri, Modular Algebraic Nets to Specify Concurrent Systems, IEEE Trans.on Software Engineering, 22(10), 1996.
L. Bergmans, Composing concurrent objects: applying composition filters for the development and reuse of concurrent object-oriented programs, PhD Thesis, TRESE, Univ. of Twente, The Netherlands, 1994.
S. Beretta: Uno strumento per la fase iniziale della specifica di unsistema con le Reti OBJSA., Master degree thesis, Univ. of Milan (I), 1995 (Initalian).
M. Benveniste, V. Issarny, Concurrent programming notations in the object-oriented language Arche, techical report 1882, IRISA, France, 1992.
R. Bastide, C. Lakos, P. Palanque, A Cooperative Petri Net Editor, Case Study proposal for the 2nd Workshop on Object-Oriented Programming and Models of Concurrency, available at http://wrcm.dsi.unimi.it/PetriLab/ws96/case.html
G.M. Birtwistle, OJ. Dahl, B. Myhrhaug and K. Nygaard, Simula Begin, Studentlitteratur, Lund, Sweden, 1979.
R. Bastide and P. Palanque, Modeling a groupware editing tool with Cooperative Objects, in [AD96].
J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.), Proc. of “School/Workshop in Foundations of Object-Oriented Languages”, LNCS 489, Springer, 1991.
G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad, Stochastic wellformed coloured nets for symmetric modelling applications, IEEE Trans. on Computers, 42(11), 1993.
M. Clavel, S. Eker, P. Lincoln and J. Meseguer, Principles of Maude, in Proc. of 1st Workshop on Rewriting Logic and its Applications, Pacific Grove, CA, pp. 65–89, 1996.
A. Chizzoni: CLOWN: CLass Orientation With Nets. Master degree thesis, Univ. of Milan (I), 1994(In italian).
F. Conca: Implementazione di CLOWN nell’ambiente ONE. Master degree thesis, Univ. of Milan (I), 1996 (In italian).
W.R. Cook, Object-oriented programming versus abstract data types, in [BRR91].
P. Coad and E. Yourdon: Object-Oriented Analysis. 2nd edition, Yourdon Press 1991.
F. De Cindio, G. De Michelis, L. Pomello and C. Simone, Superposed Automata nets, in C. Girault and W. Reisig (eds.), Application and Theory of Petri Nets, IFB 52, Springer, 1982.
P. Della Rossa: Ttranslation of CLOWN classes in Smalltalk classes, Master degree thesis, Univ. of Milan (I), 1997 (In italian).
D. De Champeaux, D. Lea and P. Faure: Object-Oriented software Development. Addison Wesley 1993.
J. Engelfriet, G. Leih and G. Rozenberg, Net based description of parallel object-based systems, or POTs and POPs, in [BRR91].
W. El Kaim and F. Kordon, An integrated Framework for Rapid System Prototyping and Automatic Code Distribution, in Procs. of 5th International Workshop or Rapid System Prototyping, N. Kanopoulos (ed.), IEEE Comp. Soc. Press, Grenoble, June, 1994.
J. Goguen, Parametrized programming, in “IEEE Trans. on Software Engineering”, 10(5), pp. 528–543, 1984.
A. Goldberg and D. Robson, Smalltalk-80: The Language, Addison-Wesley, Reading, MA, 1989.
J. Goguen, T. Winkler, Introducing OBJ3, Technical Report SRI-CSL-88-9, SRI International, Computer Science Lab, 1988.
W. Gerteis, W. Wiraz, Synchronising objects by conditional path expressions, in TOOLS Pacific’ 91, pp. 193–201, 1991.
C. Houck and G. Agha, HAL: A High-level language and its distributed implementation, in [AWY93], 1993.
X. He and Y. Ding, Object-Oriented Specification Using Hierarchical Predicate Transition Nets, in in [AD96].
P. Heber, K. Jensen and R.M. Shapiro, Hierarchies in Coloured petri Nets, in G. Rozenberg (ed.), Advances in Petri Nets 1990, LNCS 383, Springer, 1990.
T. Holvoet and P. Verbaeten: PN-TOX: a Paradigm and Development Environment for Object Concurrency specifications. in [AD95].
K. Jensen and G. Rozenberg (eds.): High-Level Nets. Springer, 1991.
C. Lakos, The Consistent use of Names and Polymorphism in the Definition of Object Petri Nets, in J. Billigton and W. Reisig (eds.), Appl. and Theory of Petri Nets 1996, LNCS 1091, Springer, 1996.
C. Lakos, A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model, in in [AD96].
J. Lilius, OOB(PN)2: An Object Oriented Petri Net Programming Notation (A status report), in in [AD96].
B. Liskov, J. M. Wing, Specifications and their use in defining subtypes, in OOPSLA’ 93 Proc., ACM SIGPLAN Notices, Vol. 28, No. 10, pp. 16–28.
B. Liskov, J. M. Wing, A new definition of the subtype relation, in ECOOP’ 93 Proc., LNCS 707, Springer, 1993.
S. Omohundro, The Sather Language: Efficient, Interactive, Object-Oriented Programming, Dr. Dobbs Journal, 1993
S. Miriyala, G. Agha and Y. Sami, Visualizing Actor Programs using Predicate Transition Nets, in Journal of Visual Languages and Computing, 1992.
J. Meseguer, Solving the inheritance anomaly in concurrent objectoriented programming, in ECOOP’ 93 Proc., Springer, 1993.
J. Meseguer, A logical theory of concurrent objects and its realization in the Maude language, in [AWY93], pp. 314–390, 1993.
B. Meyer, Object-Oriented Software Construction, 2nd Ed., Prentice-Hall, Englewood Cliffs, NJ, 1993.
R. Milner, A calculus for communicating systems, LNCS 92, Springer, 1980.
D. Marca and C.L. McGowan: SADT. Structured Analysis and Design Technique. McGraw Hill 1988.
S. Matsuoka, K. Wakita, A. Yonezawa, Synchronisation constraints with inheritance: What is not possible-So what is?, technical report 90-010, Dept. of Information Science, University of Tokyo, Japan, 1990.
S. Matsuoka, A. Yonezawa, Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages, in [AWY93], pp.107–150.
C. Neusius, Synchronising actions, in ECOOP’ 91 Proc., P. America (ed.), LNCS 512, Springer, 1991.
O. Nierstrasz, Regular Types for Active Objects, in Proceedings of the 8th OOPSLA’93, ACM Sigplan Notices, 28(10), pp. 1–15, 1993.
L. Pomello, G. Rozenberg, C. Simone, A Survey of Equivalence Notions for Net based systems, in “Advances of Petri Nets 92”, G. Rozenberg(ed.), LNCS 609, Springer, 1992.
L. Pomello and C. Simone, A state transformation preorder over a class of EN systems, in “Advances of Petri Nets 90”, G. Rozenberg (ed.), LNCS 483, Springer, 1991.
G. Raccagni: Sviluppo e integrazione di strumenti su supporto alla ricerca di invarianti su reti modulari di alto livello, Master degree thesis, Univ. of Milan (I), 1994 (In italian).
W. Reisig: Petri Nets and Algebraic Specifications. TCS 80, pp. 1–34, North-Holland, 1991. Also in [JR91].
L. Recalde, E. Teruel and M. Silva, *ECS: A Class of Modular and Hierarchical Cooperating Systems, in Appl. and Theory of Petri Nets 1996, J. Billigton and W. Reisig (eds.), LNCS 1091, Springer, 1996.
C. Sibertin-Blanc, Cooperative Nets, in Appl. and Theory of Petri Nets 1994, R. Valette (ed.), LNCS 815, pp. 471–490, Springer, 1994.
R. Valk, On Processes of Object Petri Nets, TR FBI-HH-B-185/96, Hamburg University, 1996.
P. Wegner, Concepts and Paradigms of Object-Oriented Programming, OOPS Messenger, Volume 1, Number 1, August 1990.
R. Wirfs-Brock, B. Wilkerson and L. Wiener: Designing object-oriented software, Prentice Hall, Englewood Cliffs, New Jersey, 1990.
P. Wegner, S. B. Zdonik, Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like, in ECOOP’ 88 Proc., LNCS 322, Springer, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Battiston, E., Chizzoni, A., De Cindio, F. (2001). CLOWN as a Testbed for Concurrent Object-Oriented Concepts. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_4
Download citation
DOI: https://doi.org/10.1007/3-540-45397-0_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41942-6
Online ISBN: 978-3-540-45397-0
eBook Packages: Springer Book Archive