著者

村瀬 亨 塚本 昌彦 西尾 章治郎

出版者

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

雑誌

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

巻号頁・発行日

vol.43, no.12, pp.3785-3793, 2002-12-15

被引用文献数

4

---

無線通信による移動体計算環境におけるデータ統合を実現するうえで,移動や省電源切断動作などをイベントとしてとらえ,アクティブデータベースにおけるECAルールを適用することが有効であることをこれまでに筆者らは示してきた.この新しい環境では,搭載される複数システム間の通信機能も強化して計算機間の連携動作も可能にしている.作成されたECAルールには複数システム間で無限ループに陥らずに停止するかどうかの安全性判定が必要である.しかし,ECAルールを移動体環境に適用する場合は,ホスト計算機の移動によって実行シーケンスが変動するため,その実行シーケンスが停止するかどうかの判定が困薙である.本論文では,このようなシステム動作の安全性について,特にルールの停止性について,移動による影響を含めて判定するための方法について考察する.その中で,イベント発生ホストとトリガーループの関係を σ マージグラフと呼ぶグラフとして表現することで効率良く安全性が判定できることを示す.For realizing the data integration in mobile computing environments, we showed that the notion of ECA rule in active databases is effective to describe events occurring in these environments such as moving of computers, disconnect operation for energy-saving, and so on. Though the ECA rule is useful, it has inevitable difficulty for guaranteeing that the rules can work without falling into infinite loop among hosts. Furthermore, if the system is applied for mobile computing environments, the complexity for predicting termination will be increased due to the facts that (1) trigger-chaining spreads over multiple computer hosts and (2) the network topology changes all the time because of the host's mobility. In this paper, we show analysis methods for the safety of our assuming active database. Especially, a method how to check the termination of ECA rules is proposed, where we introduce sigma-merge graph indicating the relationship among system events and trigger-chaining.