Formal model of mobile BPEL4WS process

Fuyuki Ishikawa*, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Pages (from-to)192-209
Number of pages18
JournalInternational Journal of Business Process Integration and Management
Issue number3
Publication statusPublished - 2006
Externally publishedYes


  • Ambient Calculus
  • Business Process Execution Language for Web Services (BPEL4WS)
  • Fault tolerance
  • Formal model
  • Mobile agent
  • Web service

ASJC Scopus subject areas

  • Business and International Management
  • Strategy and Management
  • Management Science and Operations Research


Dive into the research topics of 'Formal model of mobile BPEL4WS process'. Together they form a unique fingerprint.

Cite this