レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用

• 山口, 弘純

• 岡野, 浩三

• 東野, 輝夫

• 谷口, 健一

書誌事項

タイトル別名

• Protocol Synthesis in a Petri Net Model with Registers and Its Application
• レジスタ　ツキ　ペトリネット　ヲ　モチイタ　ゼンタイ　ドウサ　シヨウ　カラ　ブンサン　ドウサ　シヨウ　ノ　ジドウ　ゴウセイ　ト　ソノ　オウヨウ

抄録

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

収録刊行物

• 電子情報通信学会論文誌A

  電子情報通信学会論文誌A J80-A (7), 1064-1072, 1997-07-25

  電子情報通信学会

キーワード

• 分散協調システム
• ペトリネット
• プロトコル合成
• 協調活動支援システム

詳細情報

• CRID: 1050862643881176320
• NII論文ID: 110003313961
• NII書誌ID: AN10013345
• HANDLE: 11094/27456
• NDL書誌ID: 4266787
• ISSN: 09135707
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4266787
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles