A framework for synthesis of web services and mobile agents

Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

A general framework for mobile Web services - which are Web services with the ability to migrate from one host to another - is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migration behavior descriptions using simple but expressive rules. The semantics of the descriptions are defined using Mobile Ambients, namely, a formal model of concurrent mobile processes. With this framework, it is thus possible to add or change migration behaviors without having to modify the BPEL process.

Original languageEnglish
Pages (from-to)227-245
Number of pages19
JournalInternational Journal of Pervasive Computing and Communications
Volume1
Issue number3
DOIs
Publication statusPublished - 2005 Aug 1
Externally publishedYes

Fingerprint

Mobile agents
Mobile Agent
Web services
Web Services
Mobile Services
Synthesis
Migration
Formal Model
Concurrent
Semantics
Framework

Keywords

  • Mobile agent
  • Mobile ambients
  • Web services

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

A framework for synthesis of web services and mobile agents. / Ishikawa, Fuyuki; Tahara, Yasuyuki; Yoshioka, Nobukazu; Honiden, Shinichi.

In: International Journal of Pervasive Computing and Communications, Vol. 1, No. 3, 01.08.2005, p. 227-245.

Research output: Contribution to journalArticle

Ishikawa, Fuyuki ; Tahara, Yasuyuki ; Yoshioka, Nobukazu ; Honiden, Shinichi. / A framework for synthesis of web services and mobile agents. In: International Journal of Pervasive Computing and Communications. 2005 ; Vol. 1, No. 3. pp. 227-245.
@article{efccc6fd54c64adca8789b9f10c0d2d1,
title = "A framework for synthesis of web services and mobile agents",
abstract = "A general framework for mobile Web services - which are Web services with the ability to migrate from one host to another - is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migration behavior descriptions using simple but expressive rules. The semantics of the descriptions are defined using Mobile Ambients, namely, a formal model of concurrent mobile processes. With this framework, it is thus possible to add or change migration behaviors without having to modify the BPEL process.",
keywords = "Mobile agent, Mobile ambients, Web services",
author = "Fuyuki Ishikawa and Yasuyuki Tahara and Nobukazu Yoshioka and Shinichi Honiden",
year = "2005",
month = "8",
day = "1",
doi = "10.1108/17427370580000128",
language = "English",
volume = "1",
pages = "227--245",
journal = "International Journal of Pervasive Computing and Communications",
issn = "1742-7371",
publisher = "Emerald Group Publishing Ltd.",
number = "3",

}

TY - JOUR

T1 - A framework for synthesis of web services and mobile agents

AU - Ishikawa, Fuyuki

AU - Tahara, Yasuyuki

AU - Yoshioka, Nobukazu

AU - Honiden, Shinichi

PY - 2005/8/1

Y1 - 2005/8/1

N2 - A general framework for mobile Web services - which are Web services with the ability to migrate from one host to another - is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migration behavior descriptions using simple but expressive rules. The semantics of the descriptions are defined using Mobile Ambients, namely, a formal model of concurrent mobile processes. With this framework, it is thus possible to add or change migration behaviors without having to modify the BPEL process.

AB - A general framework for mobile Web services - which are Web services with the ability to migrate from one host to another - is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migration behavior descriptions using simple but expressive rules. The semantics of the descriptions are defined using Mobile Ambients, namely, a formal model of concurrent mobile processes. With this framework, it is thus possible to add or change migration behaviors without having to modify the BPEL process.

KW - Mobile agent

KW - Mobile ambients

KW - Web services

UR - http://www.scopus.com/inward/record.url?scp=78049527157&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78049527157&partnerID=8YFLogxK

U2 - 10.1108/17427370580000128

DO - 10.1108/17427370580000128

M3 - Article

AN - SCOPUS:78049527157

VL - 1

SP - 227

EP - 245

JO - International Journal of Pervasive Computing and Communications

JF - International Journal of Pervasive Computing and Communications

SN - 1742-7371

IS - 3

ER -