Abstract
We show how to use high-level synchronization constraints, written in a version of monadic second-order logic on finite strings, to synthesize safety controllers for interactive web services. We improve on the naÏve runtime model to avoid state-space explosions and to increase the flow capacities of services.
Chapter PDF
Similar content being viewed by others
References
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.
K. Cox, T. Ball, and J. C. Ramming. Lunchbot: A tale of two ways to program web services. Available from http://www.cs.utexas.edu/users/cpg/mawl/doc/lunchbot.ps.gz, April 1996.
Brian J. Fox. Meta-html: A dynamic programming language for www applications. http://www.metahtml.com/documentation/manifesto.html.
J.G. Henriksen, J. Jensen, M. JØrgensen, N. Klarlund, B. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019, 1996.
The document is the application. Web Site. http://www.htmlscript.com/.
D. A. Ladd and J. C. Ramming. Programming the web: An application-oriented language for hypermedia services. In 4th Intl. World Wide Web Conference, 1995.
K. L. McMillan. Symbolic Model Checking. Kluver Academic Publishers, 1993.
M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. Amer. Math. Soc., 141:1–35, 1969.
Peter J. G. Ramadge and W. Murray Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81–98, January 1989.
P. S. Thiagarajan. PTL over product state spaces. Technical Report TCS-95-4, School of Mathematics, SPIC Science Foundation, 1995.
W. Zielonka. The Book of Traces, chapter Asynchronous Automata, pages 205–248. World Scientific Publishing, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sandholm, A., Schwartzbach, M.I. (1998). Distributed safety controllers for web services. In: Astesiano, E. (eds) Fundamental Approaches to Software Engineering. FASE 1998. Lecture Notes in Computer Science, vol 1382. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053596
Download citation
DOI: https://doi.org/10.1007/BFb0053596
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64303-6
Online ISBN: 978-3-540-69723-7
eBook Packages: Springer Book Archive
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.
