[論文レビュー] Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments

Yu Huang, Jianping Yu+4 more|ArXiv.org|Nov 1, 2009

Context-Aware Activity Recognition Systems参考文献 35被引用数 7

ひとこと要約

本稿では、メッセージの因果関係と論理ベクタークロックを用いて分散コンテキスト活動の時間的順序を特定することで、非同期パーソベイリント・コンピューティング環境における行動的一致制約の検証を目的とした、順序付けられたグローバルアクティビティ（OGA）アルゴリズムを提案する。MIPAミドルウェア上で評価された結果、OGAは非同期性にもかかわらず、グローバルアクティビティの順序を高い正確性で検出でき、変動する遅延や更新間隔に対しても頑健であることが示された。

ABSTRACT

Context consistency checking, the checking of specified constraint on properties of contexts, is essential to context-aware applications. In order to delineate and adapt to dynamic changes in the pervasive computing environment, context-aware applications often need to specify and check behavioral consistency constraints over the contexts. This problem is challenging mainly due to the distributed and asynchronous nature of pervasive computing environments. Specifically, the critical issue in checking behavioral constraints is the temporal ordering of contextual activities. The contextual activities usually involve multiple context collecting devices, which are fully-decentralized and interact in an asynchronous manner. However, existing context consistency checking schemes do not work in asynchronous environments, since they implicitly assume the availability of a global clock or relay on synchronized interactions. To this end, we propose the Ordering Global Activity (OGA) algorithm, which detects the ordering of the global activities based on predicate detection in asynchronous environments. The essence of our approach is the message causality and its on-the-fly coding as logic vector clocks in asynchronous environments. We implement the Middleware Infrastructure for Predicate detection in Asynchronous environments (MIPA), over which the OGA algorithm is implemented and evaluated. The evaluation results show the impact of asynchrony on the checking of behavioral consistency constraints, which justifies the primary motivation of our work. They also show that OGA can achieve accurate checking of behavioral consistency constraints in dynamic pervasive computing environments.

研究の動機と目的

• グローバル時計が存在しない完全に非同期的かつ分散型のパーソベイリント・コンピューティング環境において、行動的一致制約を検証する課題に対処すること。
• 同時に発生するローカルコンテキストイベントから導かれるグローバルアクティビティの時間的順序に基づいて、行動的一致制約を定義すること。
• 同期時計やグローバル時刻スナップショットに依存せずに動作する実用的なソリューションを開発すること。
• メッセージ遅延や更新間隔といった非同期性の影響が、一貫性検証の正確性に与える影響を評価すること。
• 実世界のパーソベイリント環境を想定し、ミドルウェアインフラストラクチャ（MIPA）内にOGAアルゴリズムを実装・検証すること。

提案手法

• OGAアルゴリズムは、非同期システムにおけるメッセージ因果関係を分析することで、グローバルコンテキストアクティビティの順序を検出する。
• コンテキストアクティビティをイベントとしてモデル化し、「起こり前」関係を用いて分散デバイス間での時間的順序を推論する。
• グローバル時刻の同期なしに分散述語検出を支援する、非同期環境における述語検出のためのミドルウェアインフラストラクチャ（MIPA）に基づく。
• グローバルアクティビティは、複数のコンテキスト収集デバイスにおける同時発生するローカルアクティビティの集合として定義され、因果的依存関係によって順序が決定される。
• 分散ノード間でのイベント列の追跡のために、因果関係を即座に符号化したベクタータイムスタンプを用いる。
• スマートロックのユースケースを用いて、実世界の非同期性と行動パターン検出を模擬する形で、OGAアルゴリズムを評価した。

実験結果

リサーチクエスチョン

• RQ1 パーソベイリント・コンピューティング環境における非同期性は、行動的一致制約の検証正確性にどのように影響を与えるか？
• RQ2 グローバル時計が存在しない状況下で、グローバルコンテキストアクティビティの時間的順序を信頼性高く特定するメカニズムは何か？
• RQ3 メッセージ因果関係とベクタークロックは、分散コンテキストに依存するシステムにおける行動パターン検出に効果的に利用できるか？
• RQ4 メッセージ遅延や更新間隔の変動が、行動的一致制約検証のパフォーマンスにどのように影響を与えるか？
• RQ5 ミドルウェアインフラストラクチャは、非同期パーソベイリント環境における行動的制約のための効率的かつ正確な述語検出をサポートできるか？

主な発見

• OGAは、最大300秒に及ぶ長いメッセージ遅延がある状況でも、グローバルコンテキストアクティビティの順序を正しく検出する確率が非常に高い。
• メッセージ遅延が6秒以内の範囲にある場合、正しく検出される確率は90％以上で安定しており、中程度の非同期性に対しても強い耐性を示している。
• 更新間隔が延長するにつれて検出正確性は低下するが、10秒までの間は85％以上を維持している。
• ユーザーが特定のコンテキストに滞在する時間（例：オフィス滞在時間）は、検出正確性にわずかな影響しか与えず、50分を超えるとわずかに低下するにとどまる。
• 評価結果から、非同期性が一貫性検証に顕著に影響を与えることが確認され、OGAの因果的順序アプローチの必要性が裏付けられた。