| 講演名 | 2001/10/12 カラーペトリネットスライシングによるリアルタイム開発支援 渡辺 晴美, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では、カラーペトリネットのスタティックスライシングを提案する。カラーペトリネットは、リアルタイムシステムの性質である並行性や時間的性質に関する誤りを検出する能力を持つ。しかし、記述したモデルは複雑で理解が困難であり、変更が容易でないという問題がある。プログラミング言語では、理解と変更を効率よく行うための技術としてスライシングが知られている。本稿では、上記の方法をカラーペトリネットに適用することで、理解と変更の容易性を向上させる。 |
| 抄録(英) | In this article, we propose a static slicing technique for the Coloured Petri Nets (CPN). The analisys power of the CPN contributes to detect errors in concurrent and timed propeties. However, in most cases, CPN models are difficult to understand and modify. To cope with this problem, we apply the static slicing technique to the CPN. The technique is wellknown to solve the problem in the programing language field. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | SS2001-31,KBSE2001-33 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2001/10/12(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | カラーペトリネットスライシングによるリアルタイム開発支援 |
| サブタイトル（和） | |
| タイトル（英） | A Slicing Technique of Coloured Petri Nets for Real-Time Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 渡辺 晴美 / Harumi Watanabe |
| 第 1 著者 所属（和/英） | 立命館大学理工学部 Department of Computer Science, Ritsumeikan University |
| 発表年月日 | 2001/10/12 |
| 資料番号 | SS2001-31,KBSE2001-33 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 361 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |