| 講演名 | 2012-03-08 C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例 谷口 博彬, 山口 真悟, 洲崎 武史, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | プログラムの動作解析にペトリネットの解析法が活用されている.ペトリネットの解析法を使うには,プログラムをペトリネットで記述する必要がある. Voronらはプログラム開発者が必ずしもペトリネットに精通しているとは限らないことを指摘している.本稿ではC言語のプログラム(厳密に言えば,その制御フロー)をペトリネットマークアップ言語へ変換するツールC2PNMLを提案し,その実装について報告する.さらに並行プログラムのテストとデバッグにC2PNMLを応用する事例を紹介する. |
| 抄録(英) | Petri net based analysis technique has been utilized for behavioral analysis of programs. A program to be analyzed needs to be represented as a Petri net. Voron et al. have pointed out that engineers are not always familiar with Petri nets. In this paper, we propose a translator of C to Petri net markup language (PNML), which is named C2PNML, and show the implementation. We also show an example of applying C2PNML for analyzing and debugging a concurrent program. |
| キーワード(和) | ペトリネット / C言語 / ペトリネットマークアップ言語 / C2PNML / 変換 / 動作解析 |
| キーワード(英) | Petri net / programming language C / Petri net markup language / C2PNML / translation / behavioral analysis |
| 資料番号 | MSS2011-78 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2012/3/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例 |
| サブタイトル（和） | |
| タイトル（英） | A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri net |
| キーワード(2)（和/英） | C言語 / programming language C |
| キーワード(3)（和/英） | ペトリネットマークアップ言語 / Petri net markup language |
| キーワード(4)（和/英） | C2PNML / C2PNML |
| キーワード(5)（和/英） | 変換 / translation |
| キーワード(6)（和/英） | 動作解析 / behavioral analysis |
| 第 1 著者 氏名（和/英） | 谷口 博彬 / Hiroaki TANIGUCHI |
| 第 1 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 2 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 洲崎 武史 / Takeshi SUSAKI |
| 第 3 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 発表年月日 | 2012-03-08 |
| 資料番号 | MSS2011-78 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 453 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |