Specification-Oriented Orchestration

Njima, Mercy; Sanders, J. W.

doi:10.1109/cmc.2010.326

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2013

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several other approaches have been used to give a semantics to Orc [DLSZ06, LZH10, HMM04, NS10, KCM06, VW08, WKCM08]: in both [LZH10] and [NS10] trace-based approaches are used to give a semantics to orchestrations. The trace approach of [LZH10] utilises a total-correctness UTP framework and has similarities with the approach taken in this paper.…”

Section: Introductionmentioning

confidence: 99%

Reasoning about orchestrations of web services using partial correctness

2013

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%