Service Combinators
Make algorithmic behaviors of web users scriptable
Automate handling of time-out and failure
Increase reliability of computations on the web
Language Constructs
- getpage(url,…) (Basic Service)
- S ? T (Sequential Execution)
- S | T (Concurrent Execution)
- timeout(t, S) (Time-out)
- repeat(S) (Repetition)
- stall() (Non-Termination)