Open AccessDistributed Safety Controllers for Web Services
Author(s) -
Anders B. Sandholm,
Michael I. Schwartzbach
Publication year - 1997
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v4i47.19268
Subject(s) - computer science , synchronization (alternating current) , distributed computing , control flow , web service , state space , state (computer science) , temporal logic , flow (mathematics) , programming language , theoretical computer science , mathematics , computer network , channel (broadcasting) , statistics , geometry
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.