| 講演名 | 2012-11-02 モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般) 千葉 裕介, 猪股 俊光, 新井 義和, 今井 信太郎, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | モデルベース開発において,UMLで記述されたモデルを対象とした解析法について考察した.モデルの満たす性質,モデルどうしの整合性,等価性などを解析するためには,ペトリネットの解析法が有効であることを,UMLで記述されたモデルのペトリネットへの変換,ペトリネット上での解析を試みることで明らかにした.これにより,モデルベース開発の上流工程における設計の品質が確保され,下流工程からの手戻りなどを減らすことができると期待される. |
| 抄録(英) | In this paper, we considered an analytical method for UML models in the model based development. We attempted to transform UML models to Petri nets and analyze it. From this result, we concluded that the analysis method with Petri nets is effective to analyze the property that is satisfied by UML models, consistency between models and model equivalence. Our method decreases reworking in lower process through the quality assurance of software design in upper process. |
| キーワード(和) | モデルベース開発 / UML / 離散事象システム / ペトリネット |
| キーワード(英) | Model-Based Development / UML / Discrete Event Systems / Petri Nets |
| 資料番号 | CAS2012-58,MSS2012-38 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2012/10/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | モデルベース開発におけるモデリングと解析に関する考察(グラフ、ペトリネット、ニューラルネット及び一般) |
| サブタイトル（和） | |
| タイトル（英） | A Study on Modeling and Analysis in Model-Based Development |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデルベース開発 / Model-Based Development |
| キーワード(2)（和/英） | UML / UML |
| キーワード(3)（和/英） | 離散事象システム / Discrete Event Systems |
| キーワード(4)（和/英） | ペトリネット / Petri Nets |
| 第 1 著者 氏名（和/英） | 千葉 裕介 / Yusuke CHIBA |
| 第 1 著者 所属（和/英） | 岩手県立大学大学院ソフトウェア情報学研究科 Graduate School of Software and Information Science, Iwate Prefectural University |
| 第 2 著者 氏名（和/英） | 猪股 俊光 / Toshimitsu INOMATA |
| 第 2 著者 所属（和/英） | 岩手県立大学大学院ソフトウェア情報学研究科 Graduate School of Software and Information Science, Iwate Prefectural University |
| 第 3 著者 氏名（和/英） | 新井 義和 / Yoshikazu ARAI |
| 第 3 著者 所属（和/英） | 岩手県立大学大学院ソフトウェア情報学研究科 Graduate School of Software and Information Science, Iwate Prefectural University |
| 第 4 著者 氏名（和/英） | 今井 信太郎 / Shintaro IMAI |
| 第 4 著者 所属（和/英） | 岩手県立大学大学院ソフトウェア情報学研究科 Graduate School of Software and Information Science, Iwate Prefectural University |
| 発表年月日 | 2012-11-02 |
| 資料番号 | CAS2012-58,MSS2012-38 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 274 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |