レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用 (<小特集>コンカレント・コラボレーション技術論文小特集)

スポンサーリンク

概要

論文の詳細を見る
プロトコル合成法は分散協調システムの設計において, 通信動作の記述の誤りをなくし, 設計者の負担を軽減する有用な手法の一つであり, これまでにさまざまな計算モデルを用いた手法が提案されている. しかし, システムの状態変数を扱うことができ, かつ並列動作や選択動作などを含む制御構造が記述できるクラスに対する合成法は提案されていない. 本論文ではレジスタ付きペトリネットモデルに対する一つのプロトコル合成法を提案する. 提案する手法では, p個のノード(計算機)とそれらの間の信頼できる通信路からなる分散システムを対象とし, そのシステムの全体動作仕様と, 各ノードへのゲートやレジスタの配置指定が与えられたときに, 全体動作仕様どおりの動作を行う各ノードの動作仕様の組(分散動作仕様)を自動合成する. また, 提案した手法に基づく合成系や実行系を試作し, 協調活動の支援に適用することにより本手法の有用性を示す.
1997-07-25

著者

関連論文

もっと見る

スポンサーリンク