Title: Formal model of mobile BPEL4WS process

Authors: Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden

Addresses: Graduate School of Information Science and Technology, The University of Tokyo, Hongo 7-3-1, Bunkyo-ku, Tokyo, Japan. ' National Institute of Informatics, Hitotsubashi 2-1-2, Chiyoda-ku, Tokyo, Japan. ' National Institute of Informatics, Hitotsubashi 2-1-2, Chiyoda-ku, Tokyo, Japan. ' Graduate School of Information Science and Technology, The University of Tokyo, Hongo 7-3-1, Bunkyo-ku, Tokyo, Japan; National Institute of Informatics, Hitotsubashi 2-1-2, Chiyoda-ku, Tokyo, Japan

Abstract: 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.

Keywords: Business Process Execution Language for Web Services; mobile BPEL4WS; mobile web services; mobile agents; formal models; ambient calculus; fault tolerance; migration; business process integration.

DOI: 10.1504/IJBPIM.2006.010904

International Journal of Business Process Integration and Management, 2006 Vol.1 No.3, pp.192 - 209

Published online: 16 Sep 2006 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article