Abstract
A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.
| Original language | English |
|---|---|
| Pages (from-to) | 1-14 |
| Number of pages | 14 |
| Journal | Formal Aspects of Computing |
| Volume | null |
| Issue number | null |
| Early online date | 16 Nov 2011 |
| DOIs | |
| Publication status | Published - 2012 |
Keywords
- World Wide Web
- Service
- Specification
- Orchestration
- Orc
- Partial correctness
- Pre-orders
- Fixedpoints
- Powerdomains
ASJC Scopus subject areas
- Theoretical Computer Science
- Software