Reasoning about orchestrations of web services using partial correctness

Alan Stewart, Joaquim Gabarro, Anthony Keenan

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)
2 Downloads (Pure)


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 languageEnglish
Pages (from-to)1-14
Number of pages14
JournalFormal Aspects of Computing
Issue numbernull
Early online date16 Nov 2011
Publication statusPublished - 2012


  • World Wide Web
  • Service
  • Specification
  • Orchestration
  • Orc
  • Partial correctness
  • Pre-orders
  • Fixedpoints
  • Powerdomains

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Software

Fingerprint Dive into the research topics of 'Reasoning about orchestrations of web services using partial correctness'. Together they form a unique fingerprint.

Cite this