| 講演名 | 2008-08-04 デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について(ハイブリッドシステム,コンカレント工学一般) 山田 太郎, 山口 真悟, 田中 稔, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 最近,UML/アクティビティ図がデバイスドライバの設計に使われている.本稿では,UML/アクティビティ図によるデバイスドライバの設計図のためのペトリネットに基づくプラグイン可能(pluggable)なテストツールを提案する.UML/アクティビティ図はペトリネットに変換できることが知られている.本研究ではペトリネットではなく,そのサブクラスであるワークフローネット(WFネット)を採用し,デバイスドライバの設計図のための論理的ならびに意味的正しさの基準をWFネットの形式で定義した.さらに,それらの基準をテストするために2つのプラグインモジュールを開発した.それらのモジュールの実装にはWFネットの解析技法を活用した. |
| 抄録(英) | UML/Activity diagrams are being used to design device drivers these days. In this paper, we propose a Petri net based pluggable test tool for design diagrams of device drivers. It is known that UML/Activity diagrams can be transformed to Petri nets. We adopted a subclass of Petri nets, called workflow nets (WF-nets), and defined a logical and a semantic correctness criterion for the diagrams in terms of WF-nets. We also gave two plug-in modules to test those correctness criterion. Analysis methods developed for WF-nets are applied to the implementation of those modules. |
| キーワード(和) | デバイスドライバ / アクティビティ図 / ペトリネット / 健全性 / 振る舞い継承 |
| キーワード(英) | device driver / activity diagram / Petri net / soundness / behavioral inheritance |
| 資料番号 | CST2008-14 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2008/7/28(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について(ハイブリッドシステム,コンカレント工学一般) |
| サブタイトル（和） | |
| タイトル（英） | On Petri Net Based Check for Activity Diagrams of Device Drivers |
| サブタイトル（和） | |
| キーワード(1)（和/英） | デバイスドライバ / device driver |
| キーワード(2)（和/英） | アクティビティ図 / activity diagram |
| キーワード(3)（和/英） | ペトリネット / Petri net |
| キーワード(4)（和/英） | 健全性 / soundness |
| キーワード(5)（和/英） | 振る舞い継承 / behavioral inheritance |
| 第 1 著者 氏名（和/英） | 山田 太郎 / Taro YAMADA |
| 第 1 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 2 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 田中 稔 / Minoru TANAKA |
| 第 3 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 発表年月日 | 2008-08-04 |
| 資料番号 | CST2008-14 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 176 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |