Formal model of mobile BPEL4WS process
Formal model of mobile BPEL4WS process
复制标题
DOI：
10.1504/ijbpim.2006.010904
复制
发表时间：
2006-09
期刊：
影响因子：
--
通讯作者：
F. Ishikawa;Yasuyuki Tahara;Nobukazu Yoshioka;S. Honiden
中科院分区：
文献类型：
--
作者：
F. Ishikawa;Yasuyuki Tahara;Nobukazu Yoshioka;S. Honiden
Web服务技术为分布式组件的互操作性，动态发现和集成提供了基础。另一方面，移动代理已被用于实现与分布式组件的本地交互或使用的资源选择，并能够从一个主机迁移到另一个主机。这项工作为“移动Web服务”（MWSS）提供了一个一般框架，该框架是具有迁移能力的Web服务。在我们的框架中，MWS由（1）Web服务（BPEL4WS）的（1）业务流程执行语言组成，作为交互流，（2）携带的服务组件以及（3）迁移行为规则。本文着重于我们框架的正式模型，这有助于我们讨论我们引入的迁移行为是否符合理想的属性。在本文中，我们表明我们的框架保留了BPEL4WS的原始语义。我们还讨论了我们的框架的扩展，以使宿主的容错性及其对理想特性的满意度。
Web services technology provides the basis for interoperability, dynamic discovery and integration of distributed components. On the other hand, mobile agents have been utilised for achievement of local interactions with distributed components or selection of resources to use, with their ability to migrate from one host to another. This work presents a general framework for 'Mobile Web Services' (MWSs), which is a web service with migration ability. In our framework, a MWS is composed of a combination of (1) Business Process Execution Language for Web Services (BPEL4WS) process description as interaction flow, (2) service components to carry and (3) rules for migration behaviours. This paper focuses on a formal model of our framework, which helps us discuss whether our introduction of migration behaviours meets desirable properties. In this paper, we show that our framework preserves the original semantics of BPEL4WS. We also discuss extension of our framework for fault tolerance of hosts and its satisfaction of desirable properties.