Abstract
Specific problems in practical distributed system design arise from incomplete information about the cooperation requirements, up to, or even beyond, the final design stage. Events in components will occur, or they may occur, depending on (local) user decisions. The latter may also not occur, as a result of yet unknown external influences or design faults. Adequate formal modeling tools should allow for distinguishing between such different event types. Our approach for this purpose to be introduced here is the formal model of I-Systems. As a particularly relevant and unique feature, the presence as well as the absence of interactional influences (as part of distributed cooperation requirements) can be explicitly modeled, with no side effects. A non-trivial synchronization problem is modeled incrementally in order to demonstrate both the modeling and analysis capabilities in I-Systems.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, and Freddy Y. C. Mang. Automating Modular Verification. In CONCUR’99, volume 1664 of LNCS, pages 82–97. Springer-Verlag, 1999.
Rajeev Alur and Thomas A. Henzinger. Reactive Modules. In Formal Methods in System Design, volume 15, pages 7–48. Kluwer Academic Publishers, 1999.
Ralph Back, Anna Mikhajlova, and Joakim von Wright. Reasoning About Interactive Systems. In FM’99, Vol. II, volume 1709 of LNCS, pages 1460–1476. Springer-Verlag, 1999.
Piero Bonatti, Sabrina de Capitani di, and Pierangela Samarati. A modular approach to composing access control policies. In Proceedings of the 7th ACM Conference on Computer and Communications Security, pages 164–173, Athens Greece, nov 2000.
Paul Caspi, Alain Girault, and Daniel Pilaud. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Transactions on Software Engineering, 25(3):416–427, 1999.
Michael Charpentier and K. Mani Chany. Towards a Compositional Approach to the Design and Verification of Distributed Systems. In FM’99, Vol. I, volume 1708 of LNCS, pages 570–589. Springer-Verlag, 1999.
V. Diekert and G. Rozenberg. The Book of Traces. World Scientific, 1995.
Valérie Issarny, Luc Bellissard, Michel Riveill, and Apostolos Zarras. Component-Based Programming of Distributed Applications. In Distributed Systems, volume 1752 of LNCS, pages 327–353. Springer-Verlag, 2000.
Man Lin, Jacek Malec, and Simin Nadjm-Tehrani. On Semantics and Correctness of Reactive Rule-Based Programs. In PSI’99, volume 1755 of LNCS, pages 235–246. Springer-Verlag, 2000.
Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.
Andrea Maggiolo-Schettini, Horst F. Wedde, and Józef Winkowski. Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Theoretical Computer Science, 13:61–83, 1981.
W. Reisig. Elements of Distributed Algorithms. Springer-Verlag, 1998.
Horst F. Wedde. An Iterative and Starvation-free Solution for a General Class of Distributed Control Problems Based on Interaction Primitives. Theoretical Computer Science, 24, 1983.
Horst F. Wedde and Mario Lischka. Modular authorization. In Proceedings of the 6th ACM Symposium on Access Control Models and Technologies (SACMAT), Chantilly, Virginia, May 3–4 2001.
Horst F. Wedde and Arnim Wedig. Explicit Modeling of In.uences, and of Their Absence, in Distributed Systems (Extended version). Technical report, University of Dortmund, October 2001. http://ls3-www.cs.uni-dortmund.de/IS/P/techrep1001.ps.
Peter Wegner. Why interaction is more powerful than algorithms. Communications of the ACM, 40(5):81–91, May 1997.
Peter Wegner and Dina Goldin. Interaction as a Framework for Modeling. In LNCS, volume 1565. Springer-Verlag, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wedde, H.F., Wedig, A. (2002). Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. In: Katoen, JP., Stevens, P. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2002. Lecture Notes in Computer Science, vol 2280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46002-0_10
Download citation
DOI: https://doi.org/10.1007/3-540-46002-0_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43419-1
Online ISBN: 978-3-540-46002-2
eBook Packages: Springer Book Archive