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)
Preview
Unable to display preview. Download preview PDF.
References
G. Agha; Actors: a model of concurrent computation in distributed systems, The MIT Press, Cambridge, Mass., 1986
P. America; Object-oriented programming: a theoretician's introduction, Bulletin of the EATCS 29 (1986), 69–84
P. America; Issues in the design of a parallel object-oriented language, Formal Aspects of Computing 1 (1989), 366–411
P. America, J.W. de Bakker; Designing equivalent semantic models for process creation, Theor. Comput. Science 60 (1988), 109–176
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
P.America, J.Rutten; A parallel object-oriented language: design and semantic foundations, Ph.D. Theses, 1989
H.E. Bal, J.G. Steiner, A.S. Tanenbaum; Programming languages for distributed computing systems, ACM Computing Surveys 21 (1989), 261–322
J.-P.Banatre, A.Coutant, D.Le Metayer; Parallel machines for multiset transformation and their programming style, Report No.759, INRIA, Rennes, 1987
J.-P.Banatre, D.Le Metayer; Programming by multiset transformation, Report No.1205, INRIA, Rennes, 1990
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
G.Berry, G.Boudol; The chemical abstract machine, Report No. 1133, INRIA, Sophia Antipolis, 1989
E.Best; COSY: its relation to nets and CSP, in [BraReiRoz], Part II, 416–440
E. Best, C. Fernández C.; "Nonsequential processes", EATCS Monographs on Theoretical Computer Science Vol. 13, Springer-Verlag, Berlin, 1988
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
N. Carriero, D. Gelernter; Linda in context, Comm. of the ACM 32 (1989), 444–458
K.M. Chandy, J. Misra; "Parallel program design", Addison-Wesley Pub. Co., Reading, Mass., 1988
W.D.Clinger; Foundations of actor semantics, Ph.D.Thesis, Technical Report 633, MIT AI Lab, 1981
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
P. Degano, R. DeNicola, U. Montanari; A distributed operational semantics for CCS based on Condition/Event systems, Acta Informatica 26 (1988), 59–92
P. Deransart, M. Jourdan, B. Lorho; "Attribute Grammars; Definitons, Systems and Bibliography", Lecture Notes in Computer Science 323, Springer-Verlag, Berlin, 1988
E.W. Dijkstra; "A discipline of programming", Prentice-Hall, Englewood Cliffs, N.J., 1976
J.Engelfriet, G.Leih, G.Rozenberg; Parallel object-based systems and Petri nets, Technical Reports 90-04 and 90-05, Leiden University, 1990
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
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
H.J. Genrich, K. Lautenbach; System modelling with high-level Petri nets, Theor. Comput. Sci. 13 (1981), 109–136
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
U. Goltz, W. Reisig; The non-sequential behaviour of Petri nets, Inform. and Control 57 (1983), 125–147
C. Hewitt; Viewing control structures as patterns of passing messages, Journal of Artificial Intelligence 8 (1977), 323–364
C.Hewitt, H.Baker; Laws for communicating parallel processes, IFIP-77, Toronto, 1977, 987–992
C.Hewitt, H.Baker; Actors and continuous functionals, Formal Description of Progr. Concepts, 1977, 367–390
C.A.R. Hoare; Communicating sequential processes, Comm. of the ACM 21 (1978), 666–677
G. Hotz; Eine Algebraisierung des Sytheseproblems von Schaltkreisen, EIK 1 (1965), 185–205 and 209–231
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
D. Janssens, G. Rozenberg; Actor grammars, Math. Syst. Theory 22 (1989), 75–107
D.E. Knuth; Semantics of context-free languages, Math. Syst. Theory 2 (1968), 127–145; Correction: Math.Syst. Theory 5 (1971), 95–96
G. Leih; Actor graph grammars and POOL2, Document no.PO396, Philips Research Laboratories, Eindhoven, 1988
G. Leih; Object-based graph grammars and Petri nets, Technical Report 90-21, Leiden University, 1990
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)
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
B.Meyer; "Object-oriented Software Construction", Prentice Hall, 1988
W. Reisig; "Petri nets: an introduction", EATCS Monographs on Theoretical Computer Science Vol.4, Springer-Verlag, Berlin, 1985
G.Rozenberg; Behaviour of elementary net systems, in [BraReiRoz], 60–94
J.J.M.M. Rutten; Semantic correctness for a parallel object-oriented language, SIAM J. on Computing 19 (1990), 341–383
D. Taubner; "Finite representations of CCS and TCSP programs by automata and Petri nets", Lecture Notes in Computer Science 369, Springer-Verlag, Berlin, 1989
D.A.Watt; Contextual constraints, in "Methods and tools for compiler construction" (B.Lorho, ed.), Cambridge University Press, 1984
P. Wegner; Learning the language, Byte Vol.14 No.3, March 1989, 245–253
Author information
Authors and Affiliations
Editor information
Rights 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