形式的検証機能を備えたインターネットエージェントプログラミングシステム

スポンサーリンク

概要

論文の詳細を見る
本論文では,形式的検証機能を備えたエージェントプログラミングシステムを提案する.その言語は,if-thenルールに基づく単純なセマンテイクスを持ち,またインターネットエージェントの動作を記述するには十分な,いくつかのエージェントのアクションが与えられている.形式的検証に関しては,CTLのモデルチェックアルゴリズムを利用する.その入力として,エージェントシステムの振舞いの論理的記述が必要であり,従来はこの記述を人手により作成していたが,ここで導入される言語では,それを自動的に合成することが可能になる.また,検証すべき要求仕様に対して,その仕様に関連するプログラムの部分だけを自動的に抽出する方法を導入し,自動合成される状態遷移の論理的記述を簡約化することも可能にした.この言語に村する処理系は,Java上のインタプリタとして実装されており,Jadeなどの他のエージェント開発・実行環境にひけをとらない実行スピードを実現している.
2006-10-15

著者

関連論文

もっと見る

スポンサーリンク