Graph grammar-based description of object-based systems
- 118 Downloads
Actor grammars are a model of actor systems based on graph rewriting. Using this model, the problem of understanding the dynamic behaviour of actor systems may be translated into the problem of understanding rewriting processes in actor grammars. To this aim, two ways of describing such rewriting processes are introduced: computation graphs and structured transformations. While computation graphs take into account the internal structure of a rewriting process, structured transformations describe only the external effect of a rewriting process. The relationship between both notions is investigated.
KeywordsActor systems Graph grammars Concurrency Processes
Unable to display preview. Download preview PDF.
- [A]G.A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, M.I.T. Press, Cambridge, MA, 1986.Google Scholar
- [C]W.D. Clinger, Foundations of Actor Semantics, Ph.D. Thesis, Massachusetts Institute of Technology, 1981. Available as Technical Report 633, AI Lab, Massachusetts Institute of Technology.Google Scholar
- [E]H. Ehrig, Introduction to the Algebraic Approach of Graph Grammars, in [ENRR], 3–14.Google Scholar
- [ELR]J. Engelfriet, G. Leih, and G. Rozenberg, Net-Based Description of Parallel Object-oriented Systems, or POTs and POPs, in this volume.Google Scholar
- [ENRR]H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, eds., Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, Vol. 291, Springer-Verlag, Berlin, 1987.Google Scholar
- [He]C. Hewitt, Viewing Control Structures as Patterns of Passing Messages, J. Artificial Intel., 8 (1977), 323–364.Google Scholar
- [HB]C. Hewitt and H. Baker, Laws for Communicating Parallel Processes, Proc. IFIP 77, Toronto, 1977, 987–992.Google Scholar
- [JR]D. Janssens and G. Rozenberg, Actor Grammars, Math. Systens Theory, 22 (1989), 75–107.Google Scholar
- [M]J. Messeguer, Rewriting as a Unified Model of Concurrency, Technical Report SRI-CSL 90-02, Stanford Research International, Computer Science Laboratory, Menlo Park, 1990.Google Scholar
- [NRT]M. Nielsen, G. Rozenberg, and P.S. Thiagarajan, Elementary Transition Systems, Dept. of Computer Science, University of Leiden, Techn. Report 90–13, 1990.Google Scholar
- [R]G. Rozenberg, Behaviour of Elementary Net Systems, Advances in Petri Nets 1986, Part 1, Lecture Notes in Computer Science, Vol. 254, Springer-Verlag, Berlin, 1987, 60–94.Google Scholar