Advertisement

Describing distributed systems by categorical graph grammars

  • H. J. Schneider
Graph Grammars: Theory And Application
Part of the Lecture Notes in Computer Science book series (LNCS, volume 411)

Abstract

The structure of an asynchronous system of processes is described by a labeled hypergraph. It represents both the past and the present of the system. The set of all possible traces is defined by a hypergraph grammar. In the graph, actions and process states are represented by hyperedges. Each hyperedge is connected to some event nodes, some of which are considered to be predecessors of the edge, whereas others are successor nodes. This induces a partial ordering of the hyperedges. Some aspects of the Ada rendezvous are used as an example and translated into hypergraph productions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Degano/U. Montanari: "A model for distributed systems based on graph rewriting", J. Assoc. Comput. Mach. 34, 2 (1987), p.411–449Google Scholar
  2. [2]
    H. Ehrig: "Introduction to the algebraic theory of graph grammars (a survey)", Lect. Notes in Computer Science 73 (1979), p.1–69Google Scholar
  3. [3]
    H. Ehrig: "Tutorial introduction to the algebraic approach of graph-grammars", Lect. Notes Computer Science 291 (1987), p.3–14Google Scholar
  4. [4]
    H. Ehrig et al.: "Distributed parallelism of graph transformations", Lect. Notes Computer Science 314 (1988), p.1–19Google Scholar
  5. [5]
    M. Jackel: "ADA-concurrency specified by graph grammars", Lect. Notes Computer Science 291 (1987), p.262–279Google Scholar
  6. [6]
    H.J. Kreowski: "Is parallelism already concurrency? Part 1: Derivations in graph grammars", Lect. Notes in Computer Science 291 (1987), p.343–360Google Scholar
  7. [7]
    H.J. Kreowski/A. Wilharm: "Is parallelism already concurrency? Part 2: Non sequential processes in graph grammars", Lect. Notes in Computer Science 291 (1987), p.361–377Google Scholar
  8. [8]
    F. Parisi-Presicce et al.: "Graph rewriting with unification and composition", Lect. Notes in Computer Science 291 (1987), p.496–514Google Scholar
  9. [9]
    E.G. Wagner: "A categorical treatment of pre-and post-conditions", Theoretical Computer Science 53 (1987), p.3–24CrossRefGoogle Scholar
  10. [10]
    "The programming language Ada", Lect. Notes in Computer Science 155 (1983)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • H. J. Schneider
    • 1
  1. 1.Computer Science DepartmentUniversity of Erlangen-NuernbergErlangen

Personalised recommendations