Advertisement

Inducing patterns of behaviour in distributed system parts

  • Norbert Kraft
  • Horst Wedde
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)

Abstract

For an independent representation of the constraints in distributed system parts the formalism of Loosely Coupled Systems (LCSs) is recalled. The events in these structures are formally derived from symmetrical local restrictions (coupling relations). So the influence on processes in a system part which comes from the interaction with neighbourhood parts can be adequately described by a symmetrical transitional structure (slack of behaviour). A large part of synchronisation constraints can be modelled this way. In order also to represent other types of influence local excitement relations are introduced by means of which we can especially determine directions for processes in the parts and induce forces for processes to leave a given local state. The extended formal system structures are called Interaction Systems (IS). In order to show how the set of standart construction tools can adequately be extended we define an arbitration problem and model a solution by stepwise realizing the wanted interaction.

Keywords

Interaction System Critical Section Critical Phase System Part Registration Phase 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dijkstra, E.W.: “Co-operating Sequential Processes”, in: “Programming Languages” (ed. Genuys); Academic Press, New YorkGoogle Scholar
  2. 2.
    Dijkstra, E.W.: “Hierarchical Ordering of Sequential Processes”; Acta Informatica 1 (1971); Springer Verlag, Berlin-Heidelberg-New YorkGoogle Scholar
  3. 3.
    Kraft, N.: “Zum Aufbau einer Theorie verteilter Systeme auf der Interaktion der Komponenten”; Diplom thesis, Bonn 1980 (German)Google Scholar
  4. 4.
    Lautenbach, K., Wedde, H.: “Generating Control Mechanisms by Restrictions”; Proc. of the MFCS'76 Symp. in Gdansk, in: A. Mazurkiewicz (ed.): Springer Lecture Notes in Computer Science 45 (1976); Springer Verlag, Berlin-Heidelberg-New YorkGoogle Scholar
  5. 5.
    Maggiolo-Schettini, A., Wedde, H., Winkowski, J.: “Modelling a Solution for a Control Problem in Distributed Systems by Restrictions; Symp. “Semantics of Concurrent Computation” in Evian/France, in: G. Kahn (ed.): Springer Lecture Notes in Computer Science 70(1979); Springer Verlag, Berlin-Heidelberg-New YorkGoogle Scholar
  6. 6.
    Wedde, H.: “Lose Kopplung von Systemkomponenten”; Berichte der GMD No. 96, Bonn 1975 (German)Google Scholar
  7. 7.
    Wedde, H., Winkowski, J.: “Determining Processes by Violations”; MFCS'77 Symp. in Tatranska Lomnica, in: Springer Lecture Notes in Computer Science 53(1977); Springer Verlag, Berlin-Heidelberg-New YorkGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Norbert Kraft
    • 1
  • Horst Wedde
    • 1
  1. 1.Gesellschaft für Mathematik und Datenverarbeitung mbH BonnSt. Augustin 1W. Germany

Personalised recommendations