| 講演名 | 2002/7/30 拡張ネットモデルによるNFSプロセスのモデル化とXMLを用いた実装 山口 真之介, 和崎 克己, 師玉 康成, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文は,色づき論理ペトリネットによる,ネットワークファイルシステムのプロシージャ設計について述べる.既存のUNIXシステム上へ実装されているNFS/UFSサーバプロセスは,その仕様はRFC-1813に記述されているが,その記述は曖昧でありエラーハンドリングの優先順位などは実装する者の判断に依存している.そこで,信頼性向上のためNFSの各プロシージャを拡張ペトリネットによって,改めて設計を行いその動作について検証した.実装に付いては,設計した拡張ネットモデルをXML構造に置き換え,Javaプログラムによる発火評価エンジンを作成,動作のシミュレーションを行った. |
| 抄録(英) | In this paper, we propose a process design for the Network File System model based on the Logical Coloured Petri Net. 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 |
| 資料番号 | CST2002-12 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2002/7/30(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 拡張ネットモデルによるNFSプロセスのモデル化とXMLを用いた実装 |
| サブタイトル（和） | |
| タイトル（英） | Modelling and Implement of the Network File Server Process 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/7/30 |
| 資料番号 | CST2002-12 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 259 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |