Formal model of mobile BPEL4WS process

Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden

Research output: Contribution to journalArticle

1 Citation (Scopus)

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.

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

    Fingerprint

Keywords

  • 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

Cite this