Skip to main content
SpringerLink
Log in

Net-based description of parallel object-based systems, or POTs and POPs

  • Technical Contributions
  • Conference paper
  • First Online:
Book cover Foundations of Object-Oriented Languages (REX 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 489))

Abstract

Two formalisms, called POT and POP, are introduced for modelling parallel object-based systems. The first formalism is on the level of transition systems and the second on the program level. Both formalisms are based on Petri nets. A POT is obtained from a Petri net by the addition of components that handle specific object-based features such as object identity, object creation (and destruction), private memory of objects, and references to objects. Parallelism and synchronization are handled by the Petri net. A POP is a program that may be viewed as an abbreviation of a (usually infinite) POT, comparable to a high-level Petri net.

The work of this author was conducted as part of the PRISMA project, a joint effort with Philips Research, partially supported by the Dutch "stimuleringsprojectteam informaticaonderzoek" (SPIN)

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha; Actors: a model of concurrent computation in distributed systems, The MIT Press, Cambridge, Mass., 1986

    Google Scholar 

  2. P. America; Object-oriented programming: a theoretician's introduction, Bulletin of the EATCS 29 (1986), 69–84

    Google Scholar 

  3. P. America; Issues in the design of a parallel object-oriented language, Formal Aspects of Computing 1 (1989), 366–411

    Google Scholar 

  4. P. America, J.W. de Bakker; Designing equivalent semantic models for process creation, Theor. Comput. Science 60 (1988), 109–176

    Google Scholar 

  5. P.America, J.W.de Bakker, J.N.Kok, J.J.M.M.Rutten; Operational semantics of a parallel object-oriented language, in Conf. Record of the 13th Symp. on Principles of Programming Languages, Florida, 1986, 194–208

    Google Scholar 

  6. P.America, J.Rutten; A parallel object-oriented language: design and semantic foundations, Ph.D. Theses, 1989

    Google Scholar 

  7. H.E. Bal, J.G. Steiner, A.S. Tanenbaum; Programming languages for distributed computing systems, ACM Computing Surveys 21 (1989), 261–322

    Google Scholar 

  8. J.-P.Banatre, A.Coutant, D.Le Metayer; Parallel machines for multiset transformation and their programming style, Report No.759, INRIA, Rennes, 1987

    Google Scholar 

  9. J.-P.Banatre, D.Le Metayer; Programming by multiset transformation, Report No.1205, INRIA, Rennes, 1990

    Google Scholar 

  10. E. Battiston, F. De Cindio, G. Mauri; OBJSA nets: a class of high-level nets having objects as domain, in "Advances in Petri Nets 1988" (G. Rozenberg, ed.), Lecture Notes in Computer Science 340, Springer-verlag, Berlin, 1988, 20–43

    Google Scholar 

  11. G.Berry, G.Boudol; The chemical abstract machine, Report No. 1133, INRIA, Sophia Antipolis, 1989

    Google Scholar 

  12. E.Best; COSY: its relation to nets and CSP, in [BraReiRoz], Part II, 416–440

    Google Scholar 

  13. E. Best, C. Fernández C.; "Nonsequential processes", EATCS Monographs on Theoretical Computer Science Vol. 13, Springer-Verlag, Berlin, 1988

    Google Scholar 

  14. W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri nets: central models and their properties, and Petri nets: applications and relationships to other models of concurrency, Lecture Notes in Computer Science 254 and 255, Springer-Verlag, Berlin, 1987

    Google Scholar 

  15. N. Carriero, D. Gelernter; Linda in context, Comm. of the ACM 32 (1989), 444–458

    Google Scholar 

  16. K.M. Chandy, J. Misra; "Parallel program design", Addison-Wesley Pub. Co., Reading, Mass., 1988

    Google Scholar 

  17. W.D.Clinger; Foundations of actor semantics, Ph.D.Thesis, Technical Report 633, MIT AI Lab, 1981

    Google Scholar 

  18. F.De Cindio, G.De Michelis, L.Pomello, C.Simone; Superposed Automata nets, in "Application and Theory of Petri Nets" (C.Girault, W.Reisig, eds.), IFB 52, Springer-Verlag, 1982

    Google Scholar 

  19. P. Degano, R. DeNicola, U. Montanari; A distributed operational semantics for CCS based on Condition/Event systems, Acta Informatica 26 (1988), 59–92

    Google Scholar 

  20. P. Deransart, M. Jourdan, B. Lorho; "Attribute Grammars; Definitons, Systems and Bibliography", Lecture Notes in Computer Science 323, Springer-Verlag, Berlin, 1988

    Google Scholar 

  21. E.W. Dijkstra; "A discipline of programming", Prentice-Hall, Englewood Cliffs, N.J., 1976

    Google Scholar 

  22. J.Engelfriet, G.Leih, G.Rozenberg; Parallel object-based systems and Petri nets, Technical Reports 90-04 and 90-05, Leiden University, 1990

    Google Scholar 

  23. J. Engelfriet, G. Leih, G. Rozenberg; Formalizing the behaviour of parallel object-based systems by Petri nets, in "Semantics for Concurrency, Leicester 1990" (eds. M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas), Workshops in Computing, Springer-Verlag, Berlin, 1990, 204–221

    Google Scholar 

  24. G. Findlow, J. Billington; High-level nets for dynamic dining philosophers systems, in "Semantics for Concurrency, Leicester 1990" (eds. M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas), Workshops in Computing, Springer-Verlag, Berlin, 1990, 185–203

    Google Scholar 

  25. H.J. Genrich, K. Lautenbach; System modelling with high-level Petri nets, Theor. Comput. Sci. 13 (1981), 109–136

    Google Scholar 

  26. U. Goltz; On representing CCS programs by finite Petri nets, in Proc. of Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 324, Springer-Verlag, Berlin, 1988, 339–350

    Google Scholar 

  27. U. Goltz, W. Reisig; The non-sequential behaviour of Petri nets, Inform. and Control 57 (1983), 125–147

    Google Scholar 

  28. C. Hewitt; Viewing control structures as patterns of passing messages, Journal of Artificial Intelligence 8 (1977), 323–364

    Google Scholar 

  29. C.Hewitt, H.Baker; Laws for communicating parallel processes, IFIP-77, Toronto, 1977, 987–992

    Google Scholar 

  30. C.Hewitt, H.Baker; Actors and continuous functionals, Formal Description of Progr. Concepts, 1977, 367–390

    Google Scholar 

  31. C.A.R. Hoare; Communicating sequential processes, Comm. of the ACM 21 (1978), 666–677

    Google Scholar 

  32. G. Hotz; Eine Algebraisierung des Sytheseproblems von Schaltkreisen, EIK 1 (1965), 185–205 and 209–231

    Google Scholar 

  33. D. Janssens, G. Rozenberg; Basic notions of actor grammars: a graph grammar model for actor computation, in Graph-grammars and their application to computer science, Lecture Notes in Computer Science 291, Springer-Verlag, Berlin, 1987, 280–298

    Google Scholar 

  34. D. Janssens, G. Rozenberg; Actor grammars, Math. Syst. Theory 22 (1989), 75–107

    Google Scholar 

  35. D.E. Knuth; Semantics of context-free languages, Math. Syst. Theory 2 (1968), 127–145; Correction: Math.Syst. Theory 5 (1971), 95–96

    Google Scholar 

  36. G. Leih; Actor graph grammars and POOL2, Document no.PO396, Philips Research Laboratories, Eindhoven, 1988

    Google Scholar 

  37. G. Leih; Object-based graph grammars and Petri nets, Technical Report 90-21, Leiden University, 1990

    Google Scholar 

  38. J.Meseguer; Rewriting as a unified model of concurrency, Technical Report SRI-CSL-90-02, SRI International, 1990 (an abstract will appear in LNCS, Proc. Concur '90, Amsterdam)

    Google Scholar 

  39. J.Meseguer; A logical theory of concurrent objects, Technical Report SRI-CSL-90-07, SRI International, to appear in ACM Proc. ECOOP/OOPSLA '90, Ottawa

    Google Scholar 

  40. B.Meyer; "Object-oriented Software Construction", Prentice Hall, 1988

    Google Scholar 

  41. W. Reisig; "Petri nets: an introduction", EATCS Monographs on Theoretical Computer Science Vol.4, Springer-Verlag, Berlin, 1985

    Google Scholar 

  42. G.Rozenberg; Behaviour of elementary net systems, in [BraReiRoz], 60–94

    Google Scholar 

  43. J.J.M.M. Rutten; Semantic correctness for a parallel object-oriented language, SIAM J. on Computing 19 (1990), 341–383

    Google Scholar 

  44. D. Taubner; "Finite representations of CCS and TCSP programs by automata and Petri nets", Lecture Notes in Computer Science 369, Springer-Verlag, Berlin, 1989

    Google Scholar 

  45. D.A.Watt; Contextual constraints, in "Methods and tools for compiler construction" (B.Lorho, ed.), Cambridge University Press, 1984

    Google Scholar 

  46. P. Wegner; Learning the language, Byte Vol.14 No.3, March 1989, 245–253

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Leiden University, P.O.Box 9512, 2300 RA, Leiden, The Netherlands

    Joost Engelfriet, George Leih & Grzegorz Rozenberg

Authors
  1. Joost Engelfriet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. George Leih
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Grzegorz Rozenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker W. P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Engelfriet, J., Leih, G., Rozenberg, G. (1991). Net-based description of parallel object-based systems, or POTs and POPs. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Foundations of Object-Oriented Languages. REX 1990. Lecture Notes in Computer Science, vol 489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019446

Download citation

  • DOI: https://doi.org/10.1007/BFb0019446

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53931-5

  • Online ISBN: 978-3-540-46450-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation