著者

石川 冬樹 田原 康之 吉岡 信和 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.45, no.6, pp.1614-1629, 2004-06-15

---

連携プロセスを手軽に,プラットフォームに依存しない形で記述するBPEL(Business Process Execution Language for Web Services)のように,分散コンポーネントの動的な連携のためのWebサービス技術への取り組みがさかんに行われている.Webサービス連携は今後,無線接続されたモバイルデバイスで構成されるようなパーベイシブネットワーク等様々な環境に適用されていくと考えられる.しかしそのような環境においては,比較的低速で不安定な無線通信路等の資源制約の問題に対処する必要がある.本研究ではこの問題に対しモバイルエージェント技術を適用し,Webサービス連携を行うモバイルエージェントの動作記述のための枠組みを提案する.この枠組みでは,連携ロジックをBPELを用いて記述し,それに対し移動およびクローニングというモバイルエージェントの物理的なビヘイビアをルール記述として付加する.この分離により,BPEL記述を変更することなしに環境条件に応じて物理的な振舞いを追加したり変更したりすることができる.本論文では特に,形式言語Mobile Ambientsを用いてこの枠組みの意味定義を行い,またBPELの意味論が保存されていることを示す.Research on the Web Service technologies for dynamic integration of distributed components has recently commenced, including BPEL (Business Process Execution Language for Web Services) for specifying an integration process easily and platform-independently. Web Services integration is to be applied in various environments, for example, pervasive networks with wireless mobile devices. However, in such environments it is necessary to deal with constraints in resources, such as the relative narrowness and instability of wireless connections. This work adopts the mobile agent technology in response to this problem and presents a framework for description of agents' behaviors for integration. In this framework, the integration logic is described using BPEL, and physical behaviors of mobile agents, including migration and cloning, are added to the BPEL description as simple rules. This separation makes it possible to add or change physical behaviors according to environmental conditions without modification of the BPEL description. This paper especially concentrates on formal definition of the semantics of our framework using a formal language, Mobile Ambients, and proves preservation of the BPEL semantics.