Inducing patterns of behaviour in distributed system parts
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.
KeywordsInteraction System Critical Section Critical Phase System Part Registration Phase
Unable to display preview. Download preview PDF.
- 1.Dijkstra, E.W.: “Co-operating Sequential Processes”, in: “Programming Languages” (ed. Genuys); Academic Press, New YorkGoogle Scholar
- 2.Dijkstra, E.W.: “Hierarchical Ordering of Sequential Processes”; Acta Informatica 1 (1971); Springer Verlag, Berlin-Heidelberg-New YorkGoogle Scholar
- 3.Kraft, N.: “Zum Aufbau einer Theorie verteilter Systeme auf der Interaktion der Komponenten”; Diplom thesis, Bonn 1980 (German)Google Scholar
- 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.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.Wedde, H.: “Lose Kopplung von Systemkomponenten”; Berichte der GMD No. 96, Bonn 1975 (German)Google Scholar
- 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