Abstract
We recall Interaction Systems for verifying the achievement of goals (requirements) in distributes systems by adequately representing constraints and influences between the system parts. Patterns of local and global behaviour are induced by local restrictions or excitements. We demonstrate in a stepwise manner the achievement of global goals using an approximation by local ones. The resulting interaction system may be regarded as a sufficiently realistic specification of a distributed system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bellman, R.E./Giertz, M. On the Analytic Formalism of the Theory of Fuzzy Sets Information Sciences, 5,pp. 149–157
Busch, R./Wedde, H. Modelling and Analysing the Cooperation in Systems with Distributed Control by Use of Interaction Systems Internal Report GMD-ISF 80. 06, 1980
Chang, E. N-Philosophers: an Exercise in Distributed Control Computer Networks, 4, 1980
Hoare, C.A.R. Communicating Sequential Processes Commun. ACM, 21, 8, 1978
Lamport, L. The Implementation of Reliable Distributed Multiprocess Systems Computer Networks, 2, 1978
Lautenbach, K./Wedde, H. Generating Control Mechanisms by Restrictions Proc. Math. Found, of Comp. Sc. 1976, Springer Lecture Notes on Comp. Sc. Vol 45, 1976
Maggiolo-Schettini, A./Wedde, H./Winkowski, J. Modelling a Solution for a Control Problem in Distributed Systems by Restrictions Theor. Comp. Sc., 13, 1981
Negoita, C.V./Ralescu, D.A. Application of Fuzzy Sets to System Analysis Birkhaeuser Verlag Basel, Stuttgart, 1975
Wedde, H. A Starvation-Free Solution of the Dining Philosophers’ Problem by Use of Interaction SystemsProc. Math. Found, of Comp. Sc. 1981, Springer Lecture Notes on Comp. Sc. Vol. 118, 1981
Winkowski, J. Protocols of Accessing Overlapping Sets of Resources to be published in Information Processing Letters
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schiffers, M. (1983). An Exercise in Achieving Goals in Distributed Systems by Means of Interaction Systems. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive