拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出

• Item type: Journal(1)
• 公開日: 1993-06-15
• タイトル: 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
• タイトル / 言語: en
• タイトル: Synthesis of Protocol Entities' Specifications from Service Specification of Distributed System in Extended Finite State Machine Model
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：マルチメディア通信と分散処理
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: プロトコルの記述と変換
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属: 大阪大学基礎工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Information & Computer Sciences, Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Department of Information & Computer Sciences, Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Department of Information & Computer Sciences, Faculty of Engineering Science, Osaka University
• 著者所属(英): en
• 著者所属(英): Department of Information & Computer Sciences, Faculty of Engineering Science, Osaka University
• 著者名: 岡野, 浩三; 今城, 広志; 東野, 輝夫; 谷口健一
• 著者名(英): Kozo, Okano; Hiroshi, Imajo; Teruo, Higashlno; Kenichi, Taniguchl
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 分散システム全体の要求仕様から要求仕様通りに動作する各ノードの動作仕様（ざのようなタイミングでどのノードとどのような同期用メッセージやレジスタ値を交換しながら自ノードの動作を実行したり、自ノードのレジスタ値を更新していくべきかを記述したもの）を自動生成できることが望ましい。そこで、本論文ではレジスタを持つ拡張有限状態機械（EFSM）としてモデル化された分散システム全体の要求仕様から、要求仕様通りに動作する各ノードの動作仕様（EFSM）を自動生成するためのアルゴリズムを提案する。このモデルでは、非決定性の動作が記述できる。また、入カと状態だけでなくその時点のレジスタ値に依存して次の状態や次のレジスタ値を定めることができる。各レジスタは分散システムのリソースを表すと考える。どのノードに各リソースを配置するかは設計者が決める。同一リソースを複数ノードに分散配置してもよい。作成した自動生成アルゴリズムでは、与えられた要求仕様とゲートや、リソースの配置情報から各ノードの動作仕様を自動生成する。導出は要求仕様の各状態遷移を、選択動作の通知、レジスタ値の転送、レジスタ値の更新、更新終了の通知などの一連の動作の系列で置き換えることにより実現し、0?1線形計画問題の解法を用いて、その際のノード間のメッセージ交換の総数をできるだけ少なくしている。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 34, 号 6, p. 1290-1301, 発行日 1993-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764