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 language | English |
|---|---|
| Pages (from-to) | 192-209 |
| Number of pages | 18 |
| Journal | International Journal of Business Process Integration and Management |
| Volume | 1 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 2006 |
| Externally published | Yes |
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