| 講演名 | 2002/11/2 拡張ペトリネットとXMLをベースとしたファイルサーバの設計と実装 山口 真之介, 和崎 克己, 師玉 康成, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文は拡張された色つき論理ペトリネットを用いた,ネットワークファイルシステムのプロシージャの設計について述べる.UNIXに実装されたネットワークファイルシステムは,その仕様がRFC-1813に記述されている.しかし,その記述は曖昧であり例えばエラーハンドリングについては,一つの動作に対するエラーについては記述されているが,その評価順序や優先順位に関しては,実装する者の判断に委ねられているのが現状である.本論文では,このプロシージャ毎に対するエラーハンドリングの動作等を,改めてペトリネットモデルによって設計を行い,その動作について検証した.この設計については,従来のプレース・トランジションネットではその記述性に問題があり,複雑なシステム設計が現実的ではなくなる.そこで本論文ではその記述性の問題を解決した,色つき論理ペトリネットを採用している.記述されたネットモデルは,Javaによるネットモデル設計ツールによる構造のチェックを行っている.また,実装の一手法として,JavaによるXMLをベースとしたネットモデルの評価エンジンを作成,プロシージャの動作の再現を試みた. |
| 抄録(英) | In this paper, we propose a process design for the Network File System model based on the Logical Coloured Petri Net (LCPN). The specification of the network file system that is mounted on UNIX is described in RFC-1813. However, the description is not clearly, for example some errors for a procedure are described, but the evaluation order or the order of primary are not described, and the decision is entrusted to the maker. In this paper, we design the NFS server process again, and we verify it by LCPN. This net (LCPN) is an extended Petri net which solves the problem of system description in place/transition nets and colored Petri nets proposed before. This extension of Petri net is suitable to design of the complex control systems and discuss its methods of evaluation. In order to study the behavior of the server system modeled with this net, we provide a means for searching the reach-ability tree of markings, and simulations. For this, we confirmed that this extended Petri net for design of the file server process is effective technique. |
| キーワード(和) | ペトリネット / ネットワークファイルシステム / 色つき論理ペトリネット / XML |
| キーワード(英) | Petri Net / Network File System / Logical Coloured Petri Net / XML |
| 資料番号 | CAS2002-98 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 2002/11/2(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 拡張ペトリネットとXMLをベースとしたファイルサーバの設計と実装 |
| サブタイトル（和） | |
| タイトル（英） | The modelling of the network file server based on an extended Petri net and XML tool |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri Net |
| キーワード(2)（和/英） | ネットワークファイルシステム / Network File System |
| キーワード(3)（和/英） | 色つき論理ペトリネット / Logical Coloured Petri Net |
| キーワード(4)（和/英） | XML / XML |
| 第 1 著者 氏名（和/英） | 山口 真之介 / Shin'nosuke YAMAGUCHI |
| 第 1 著者 所属（和/英） | 信州大学工学部 Faculty of Engineering, Shnshu University |
| 第 2 著者 氏名（和/英） | 和崎 克己 / Katsumi WASAKI |
| 第 2 著者 所属（和/英） | 信州大学工学部 Faculty of Engineering, Shnshu University |
| 第 3 著者 氏名（和/英） | 師玉 康成 / Yasunari SHIDAMA |
| 第 3 著者 所属（和/英） | 信州大学工学部 Faculty of Engineering, Shnshu University |
| 発表年月日 | 2002/11/2 |
| 資料番号 | CAS2002-98 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 427 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |