[論文レビュー] Extending Agents by Transmitting Protocols in Open Systems

Lavindra Priyalal de Silva, Michael Winikoff+1 more|arXiv (Cornell University)|Mar 3, 2014

Multi-Agent Systems and Negotiation参考文献 22被引用数 12

ひとこと要約

本稿は、オープンマルチエージェントシステムにおけるプロトコル伝送メカニズムを提案し、エージェントがソースコードの変更なしに動的に新しい相互作用プロトコルを採用できるようにする。本稿では、プロトコル表現のための拡張ペトリ・ネット形式、悪意あるまたは誤ったプロトコル動作を検出するためのセーフティ解析手法、実行時におけるプロトコル実装のための実行モデルを導入し、オープンシステムにおける安全かつ柔軟なプロトコル進化を可能にする。

ABSTRACT

Agents in an open system communicate using interaction protocols. Suppose that we have a system of agents and that we want to add a new protocol that all (or some) agents should be able to understand. Clearly, modifying the source code for each agent implementation is not practical. A solution to this problem of upgrading an open system is to have a mechanism that allows agents to receive a description of an interaction protocol and use it. In this paper we propose a representation for protocols based on extending Petri nets. However, this is not enough: in an open system the source of a protocol may not be trusted and a protocol that is received may contain steps that are erroneous or that make confidential information public. We therefore also describe an analysis method that infers whether a protocol is safe. Finally, we give an execution model for extended Petri nets.

研究の動機と目的

• オープンマルチエージェントシステムにおける相互作用プロトコルのアップグレードを、個々のエージェントのソースコードを変更せずに実現すること。
• エージェントが信頼できないソースからの新しいプロトコルを動的に受信・解釈・実行できるようにすること。
• 実行前に悪意あるまたは誤った動作を検出することで、プロトコルのセーフティを保証すること。
• オープンシステムにおけるプロトコルの表現と実行を形式的かつ拡張可能に可能にするモデルを提供すること。
• 動的環境におけるエージェント相互作用の実行時適合性および進化を支援すること。

提案手法

• メッセージ送信、状態遷移、調整論理を含む複雑な相互作用プロトコルを表現できるように、標準ペトリ・ネットを拡張する追加構成要素を導入する。
• 機械可読なプロトコル仕様を可能にするために、拡張ペトリ・ネットモデルに基づく形式的プロトコル記述言語を導入する。
• 情報漏洩やデッドロックなどの脆弱性をチェックすることで、セキュリティの確認を静的解析技術を用いて実施する。
• エージェントがプロトコル記述を即座に解釈・実行できるようにする、実行時実行モデルを定義する。
• プロトコル動作が事前にセーフティ制約に準拠していることを保証するため、形式的検証技術を用いる。
• 動的プロトコルインジェクションをサポートし、実行中に外部ソースから新しいプロトコルを学習・採用できるようにする。

実験結果

リサーチクエスチョン

• RQ1 オープンシステムにおけるエージェントは、ソースコードを変更せずに、どのようにして新しい相互作用プロトコルを動的に採用できるか？
• RQ2 プロトコルの仕様と実行時実行を両立できるように、相互作用プロトコルを表現するための形式的記法は何か？
• RQ3 実行前に悪意あるまたは誤った動作を検出するために、信頼できないプロトコルをどのように解析できるか？
• RQ4 動的に受信したプロトコルを安全かつ正確に実行できるようにする実行モデルは何か？
• RQ5 オープンエージェントシステムにおいて、安全かつスケーラブルな方法でプロトコル進化をどのように支援できるか？

主な発見

• 拡張ペトリ・ネットモデルは、メッセージ送信、状態管理、調整機能をサポートしながら、複雑な相互作用プロトコルを効果的に表現できた。
• セーフティ解析手法は、情報漏洩やデッドロックなどの潜在的プロトコル欠陥を効果的に同定できた。
• 実行時実行モデルにより、エージェントがプロトコル記述を動的に解釈・実行でき、プロトコルの拡張性が実現された。
• 本アプローチにより、既存のエージェント実装を変更せずに、オープンシステムにおけるセキュアなプロトコルアップグレードが可能になった。
• 形式的フレームワークにより、安全かつ正しいプロトコルのみが実行されることを保証し、システムの頑健性が向上した。
• 本手法は、動的でオープンな環境におけるエージェント相互作用のスケーラブルかつ安全な進化を支援した。