Skip to main content
SpringerLink
Log in

CLOWN as a Testbed for Concurrent Object-Oriented Concepts

  • Chapter
  • First Online:
Concurrent Object-Oriented Programming and Petri Nets

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 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 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  5. P. America, Issues in the design of a parallel object-oriented language, in “Formal Aspects of Computing”, Volume 1, pp.366–411, 1989.

    Article  Google Scholar 

  6. P. America, Designing an object-oriented programming language with behavioural subtyping, in [BRR91].

    Google Scholar 

  7. G. Agha, P. Wegner, A. Yonezawa (eds.), Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

    Google Scholar 

  8. G. Baratta: Operazioni su componenti OBJSA Master degree thesis, University of Milan, 1996 (In italian).

    Google Scholar 

  9. O. Biberstein and D. Buchs: Structured Algebraic Nets with Objectorientation; in [AD95].

    Google Scholar 

  10. 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.

    Google Scholar 

  11. E. Battiston, L. Capra, A. Chizzoni and F. De Cindio: The OBJSA Net Environment ONE. Tool presentation at the 17th ICATPN, Osaka, J, 1996.

    Google Scholar 

  12. E. Battiston, A. Chizzoni and F. De Cindio: Inheritance and Concurrency in CLOWN.; in [AD95].

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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

    Google Scholar 

  17. E. Battiston, F. De Cindio and G. Mauri, Modular Algebraic Nets to Specify Concurrent Systems, IEEE Trans.on Software Engineering, 22(10), 1996.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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).

    Google Scholar 

  20. M. Benveniste, V. Issarny, Concurrent programming notations in the object-oriented language Arche, techical report 1882, IRISA, France, 1992.

    Google Scholar 

  21. 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

  22. G.M. Birtwistle, OJ. Dahl, B. Myhrhaug and K. Nygaard, Simula Begin, Studentlitteratur, Lund, Sweden, 1979.

    Google Scholar 

  23. R. Bastide and P. Palanque, Modeling a groupware editing tool with Cooperative Objects, in [AD96].

    Google Scholar 

  24. 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.

    Google Scholar 

  25. G. Chiola, C. Dutheillet, G. Franceschinis and S. Haddad, Stochastic wellformed coloured nets for symmetric modelling applications, IEEE Trans. on Computers, 42(11), 1993.

    Google Scholar 

  26. 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.

    Google Scholar 

  27. A. Chizzoni: CLOWN: CLass Orientation With Nets. Master degree thesis, Univ. of Milan (I), 1994(In italian).

    Google Scholar 

  28. F. Conca: Implementazione di CLOWN nell’ambiente ONE. Master degree thesis, Univ. of Milan (I), 1996 (In italian).

    Google Scholar 

  29. W.R. Cook, Object-oriented programming versus abstract data types, in [BRR91].

    Google Scholar 

  30. P. Coad and E. Yourdon: Object-Oriented Analysis. 2nd edition, Yourdon Press 1991.

    Google Scholar 

  31. 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.

    Google Scholar 

  32. P. Della Rossa: Ttranslation of CLOWN classes in Smalltalk classes, Master degree thesis, Univ. of Milan (I), 1997 (In italian).

    Google Scholar 

  33. D. De Champeaux, D. Lea and P. Faure: Object-Oriented software Development. Addison Wesley 1993.

    Google Scholar 

  34. J. Engelfriet, G. Leih and G. Rozenberg, Net based description of parallel object-based systems, or POTs and POPs, in [BRR91].

    Google Scholar 

  35. 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.

    Google Scholar 

  36. J. Goguen, Parametrized programming, in “IEEE Trans. on Software Engineering”, 10(5), pp. 528–543, 1984.

    Article  Google Scholar 

  37. A. Goldberg and D. Robson, Smalltalk-80: The Language, Addison-Wesley, Reading, MA, 1989.

    Google Scholar 

  38. J. Goguen, T. Winkler, Introducing OBJ3, Technical Report SRI-CSL-88-9, SRI International, Computer Science Lab, 1988.

    Google Scholar 

  39. W. Gerteis, W. Wiraz, Synchronising objects by conditional path expressions, in TOOLS Pacific’ 91, pp. 193–201, 1991.

    Google Scholar 

  40. C. Houck and G. Agha, HAL: A High-level language and its distributed implementation, in [AWY93], 1993.

    Google Scholar 

  41. X. He and Y. Ding, Object-Oriented Specification Using Hierarchical Predicate Transition Nets, in in [AD96].

    Google Scholar 

  42. 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.

    Google Scholar 

  43. T. Holvoet and P. Verbaeten: PN-TOX: a Paradigm and Development Environment for Object Concurrency specifications. in [AD95].

    Google Scholar 

  44. K. Jensen and G. Rozenberg (eds.): High-Level Nets. Springer, 1991.

    Google Scholar 

  45. 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.

    Google Scholar 

  46. C. Lakos, A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model, in in [AD96].

    Google Scholar 

  47. J. Lilius, OOB(PN)2: An Object Oriented Petri Net Programming Notation (A status report), in in [AD96].

    Google Scholar 

  48. 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.

    Google Scholar 

  49. B. Liskov, J. M. Wing, A new definition of the subtype relation, in ECOOP’ 93 Proc., LNCS 707, Springer, 1993.

    Google Scholar 

  50. S. Omohundro, The Sather Language: Efficient, Interactive, Object-Oriented Programming, Dr. Dobbs Journal, 1993

    Google Scholar 

  51. S. Miriyala, G. Agha and Y. Sami, Visualizing Actor Programs using Predicate Transition Nets, in Journal of Visual Languages and Computing, 1992.

    Google Scholar 

  52. J. Meseguer, Solving the inheritance anomaly in concurrent objectoriented programming, in ECOOP’ 93 Proc., Springer, 1993.

    Google Scholar 

  53. J. Meseguer, A logical theory of concurrent objects and its realization in the Maude language, in [AWY93], pp. 314–390, 1993.

    Google Scholar 

  54. B. Meyer, Object-Oriented Software Construction, 2nd Ed., Prentice-Hall, Englewood Cliffs, NJ, 1993.

    Google Scholar 

  55. R. Milner, A calculus for communicating systems, LNCS 92, Springer, 1980.

    Google Scholar 

  56. D. Marca and C.L. McGowan: SADT. Structured Analysis and Design Technique. McGraw Hill 1988.

    Google Scholar 

  57. 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.

    Google Scholar 

  58. S. Matsuoka, A. Yonezawa, Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages, in [AWY93], pp.107–150.

    Google Scholar 

  59. C. Neusius, Synchronising actions, in ECOOP’ 91 Proc., P. America (ed.), LNCS 512, Springer, 1991.

    Google Scholar 

  60. O. Nierstrasz, Regular Types for Active Objects, in Proceedings of the 8th OOPSLA’93, ACM Sigplan Notices, 28(10), pp. 1–15, 1993.

    Google Scholar 

  61. 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.

    Google Scholar 

  62. 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.

    Google Scholar 

  63. 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).

    Google Scholar 

  64. W. Reisig: Petri Nets and Algebraic Specifications. TCS 80, pp. 1–34, North-Holland, 1991. Also in [JR91].

    Google Scholar 

  65. 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.

    Google Scholar 

  66. C. Sibertin-Blanc, Cooperative Nets, in Appl. and Theory of Petri Nets 1994, R. Valette (ed.), LNCS 815, pp. 471–490, Springer, 1994.

    Google Scholar 

  67. R. Valk, On Processes of Object Petri Nets, TR FBI-HH-B-185/96, Hamburg University, 1996.

    Google Scholar 

  68. P. Wegner, Concepts and Paradigms of Object-Oriented Programming, OOPS Messenger, Volume 1, Number 1, August 1990.

    Google Scholar 

  69. R. Wirfs-Brock, B. Wilkerson and L. Wiener: Designing object-oriented software, Prentice Hall, Englewood Cliffs, New Jersey, 1990.

    Google Scholar 

  70. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., Università degli Studi di Milano, Italy

    Eugenio Battiston, Alfredo Chizzoni & Fiorella De Cindio

Authors
  1. Eugenio Battiston
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfredo Chizzoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fiorella De Cindio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation