場と有限状態機械の概念に基づいたモバイル並行システムの仕様化手法とその適用(<特集>マルチメディアコミュニケーションシステム)

スポンサーリンク

概要

論文の詳細を見る
一般にシステムを高信頼に設計するには, その要件や内容を曖昧なく厳密に仕様化することが望ましい.本論文では, セルラーシステムなど, 並行性や移動性を特徴として有するシステムを対象に, その形式的なモデル化と仕様化の手法を提案する.本手法ではまず, システムの構成単位であるエンティティ間の通信の局所性を取り扱うために場の概念を導入する.ここで, エンティティを通信型有限状態機械でモデル化し, エンティティの移動やそれらの間の結合関係とその動的変化を明示的に扱えるようにしている.これらエンティティの組織体としてシステム全体を定義することで, モバイル並行性を有するシステムの仕様の形式的な取扱いと動作の形式的な検証が可能となっている.また, 本提案手法を具体的にPHSシステムの仕様化とエージェント指向コンピューティングの分野の仕様化に適用を行い, 本手法の適用可能性と有効性について確認する.
社団法人情報処理学会の論文
2001-12-15

著者

関連論文

もっと見る

スポンサーリンク