移動体計算環境におけるアクティブデータベースの安全性解析手法(<特集>次世代移動通信ネットワークとその応用)

概要

論文の詳細を見る
無線通信による移動体計算環境におけるデータ統合を実現するうえで,移動や省電源切断動作などをイベントとしてとらえ,アクティブデータベースにおけるECAルールを適用することが有効であることをこれまでに筆者らは示してきた.この新しい環境では,搭載される複数システム間の通信機能も強化して計算機間の連携動作も可能にしている.作成されたECAルールには複数システム間で無限ループに陥らずに停止するかどうかの安全性判定が必要である.しかし,ECAルールを移動体環境に適用する場合は,ホスト計算機の移動によって実行シーケンスが変動するため,その実行シーケンスが停止するかどうかの判定が困難である.本論文では,このようなシステム動作の安全性について,特にルールの停止性について,移動による影響を含めて判定するための方法について考察する.その中で,イベント発生ホストとトリガーループの関係をσマージグラフと呼ぶグラフとして表現することで効率良く安全性が判定できることを示す.
一般社団法人情報処理学会の論文
2002-12-15