マルチエージェント協調プロトコルのコンカレントモデル
スポンサーリンク
概要
- 論文の詳細を見る
本稿は複数の移動型エージェントが協調して動作するためのプロトコルをペトリネットでモデル化する方法について記述する。エージェントの定義とプロトコルの定義は静止型エージェントの既知の研究結果を参照し、複数の移動型エージェントがインターネット上を移動する際のモデルの特徴を本稿では考察した。更に移動型エージェントがインターネット上を移動する際のコスト見積り問題を提案しその問題をペトリネット問題であるTインバリアント問題の応用であることを説明する。
- 一般社団法人情報処理学会の論文
- 1998-05-15
著者
関連論文
- 並列プログラムの動作評価に関する一検討
- 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
- 自動リグレッションテストの検証法
- クロス環境試験におけるメッセージ定義の効率化
- クロス環境における通信システムの回帰試験
- 通信SDL仕様シミュレータにおけるメッセージ送受時間について
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 要求仕様の検証における状態検索の効率化方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- プロダクションシステムで記述された通信ソフトウェア仕様の検証方式の一検討
- 状態遷移指向の仕様検証における状態検索の効率化方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- 端末数に非依存となる通信サービスの状態の最大数について
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援
- ソフトウェア開発プラットフォ-ム--多様化する通信サ-ビスの実現をめざして (ネットワ-ク特集)
- 通信システムの要求充足問題のペトリネットによるモデル化について
- WWWを利用したソフトウェアの設計情報管理手法
- 通信ソフトウェアの開発支援のための検証
- FDTの並行動作表示における比較
- オブジェクト指向並行設計支援システム
- オブジェクト指向並行設計支援システム
- 模倣関係に基づくSDLダイナミックアナライザ
- OMTに基づくC++用クラス設計支援ツール
- C++言語用HCPチャ-トシステム (ソフトウェア生産)
- オブジェクト指向対応HCPチャートシステム
- 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察