2014 Fiscal Year Annual Research Report
分散システムの振る舞いモデル自動合成のためのネット理論展開
| Project/Area Number |
23500045
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
宮本 俊幸 大阪大学, 工学(系)研究科(研究院), 准教授 (00294041)
|
|---|
| Project Period (FY) |
2011-04-28 – 2015-03-31
|
| Keywords | ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム |
|---|
| Outline of Annual Research Achievements |
高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要不可欠である．本研究では，分散システムにおけるモデルベースのソフトウェア開発を対象として，抽象的な要求仕様（シナリオ）から，分散システムを構成するモジュールの振る舞いモデル（状態機械図）を自動合成するための理論構築およびアルゴリズム開発を目的としている．
平成23，24年度では，シナリオから階層型状態機械図を自動合成するためのペトリネットを用いる手法（CSCB法）を提案し，その理論的考察を行った．
平成25年度では，CSCB法をUMLモデリングツールのプラグインとしてプログラム実装した．また，開発したプラグインをWeb上に公開した．さらに，CSCB法および開発プログラムについて国際ワークショップ(International Workshop on Petri Nets and Software Engineering)において，ペトリネットの解析について学術雑誌（IEEE Transactions on System, Man, and Cybernetics）において成果報告した．また，状態機械図の理解しやすさに関する評価指標を用いて，提案手法の評価を行った．
平成26年度では，CSCB法についての成果を学術雑誌（IEICE Transactions on Information and Systems）において発表した．
シナリオから状態機械図を合成する多くの研究では平面的な状態機械図を用いている．しかし，その後もモデルが洗練されることを考えると，設計者にとってなるべく理解しやすいモデルを合成すべきである．本研究では，階層型状態機械図を合成する手法を提案しており，高信頼ソフトウェアの自動合成において貢献がある．
|
