2013 Fiscal Year Research-status Report
分散システムの振る舞いモデル自動合成のためのネット理論展開
| Project/Area Number |
23500045
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
宮本 俊幸 大阪大学, 工学(系)研究科(研究院), 准教授 (00294041)
|
|---|
| Keywords | ソフトウェア開発効率化・安定化 / ソフトウェア学 / アルゴリズム / 情報システム |
|---|
| Research Abstract |
高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要である．本研究では，分散システムにおけるモデルベースのソフトウェア開発を対象として，抽象的な要求仕様（シナリオ）から，分散システムを構成するモジュールの振る舞いモデル（状態機械
図）を自動合成するための理論構築およびアルゴリズム開発を目的としている．
平成23, 24年度では，シナリオから階層型状態機械図を自動合成するためのペトリネットを用いる手法（CSCB法）を提案し，その理論的考察を行った．平成25年度ではCSCB法をUMLモデリングツール(Rational Software Architect)のプラグインとしてプログラム実装した．
CSCB法およぶ開発プログラムについてペトリネットの応用と理論に関する国際会議(ICATPN 2014)内のワークショップ(International Workshop on Petri Nets and Software Engineering)にて成果報告した．また，平成24年度までに得られた成果を電子情報通信学会の英文論文誌に投稿した．投稿論文は平成26年5月に掲載されることが決まっている．その他，ペトリネットの解析に関する論文を平成25年11月にIEEE Transactions on System, Man, and Cyberneticsにて成果報告した．
平成25年度に開発したCSCB法のソフトウェアをWeb上に公開した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
平成25年度では，平成24年度までに開発したアルゴリズムをUMLモデリングツールのプラグインとして実装した．開発したツールはWeb上に公開している．
以上のように，研究はおおむね計画通りに進展している．
|
| Strategy for Future Research Activity |
本研究は平成25年度までの予定であったが，成果論文が平成26年度に掲載されるため，事務手続きの関係で平成26年度まで期間延長した．
|
| Expenditure Plans for the Next FY Research Funding |
平成23年度にペトリネットのモジュラー検査手法についてIEEEの学術論文誌に投稿し，平成25年11月に掲載された．また，平成24年度，平成25年度においてペトリネットを用いたUMLコミュニケーション図からUML状態機械の合成アルゴリズムを国際会議(PNSE)において成果報告し，その成果をIEICEの学術論文誌に投稿し，掲載が決まった．
これらについて，掲載料の支払いが平成26年度にずれ込むため期間を延長した．
・IEEEおよびIEICE掲載論文の掲載料に使用する．
・平成25年度の研究により得られた成果を公表するための費用として使用する．
|
