Reasoning about orchestrations of web services using partial correctness
Reasoning about orchestrations of web services using partial correctness
复制标题
DOI：
10.1007/s00165-011-0212-5
复制
发表时间：
2013-11
影响因子：
1
通讯作者：
A. Stewart;J. Gabarró;Anthony Keenan
中科院分区：
文献类型：
--
作者：
A. Stewart;J. Gabarró;Anthony Keenan
服务是一种远程计算设施，可通过广域网供一般使用。在实践中出现了几种类型的服务：无状态服务、共享状态服务和具有为单个用户定制的状态的服务。基于服务的编排是一种多线程计算，它调用远程服务以将结果传递回用户(发布)。本文提出了一种描述服务的方法，并对无状态服务上的编排正确性进行了推理。由于Web服务可能是不可靠的，即使是有限的编排也不能保证终止。为此，提出了一种部分正确的电力域方法来捕获递归编排的语义。
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 overstatelessservices 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.