2016 Fiscal Year Annual Research Report
Efficient runtime formal verification of aspect-oriented models@run.time systems
Project/Area Number |
26330081
|
Research Institution | The University of Electro-Communications |
Principal Investigator |
田原 康之 電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)
|
Co-Investigator(Kenkyū-buntansha) |
清 雄一 電気通信大学, 大学院情報理工学研究科, 助教 (20700157)
中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834)
大須賀 昭彦 電気通信大学, 大学院情報理工学研究科, 教授 (90393842)
|
Project Period (FY) |
2014-04-01 – 2017-03-31
|
Keywords | ソフトウェア工学 / アスペクト指向 / models@run.time / 形式手法 / モデル検査 / リフレクション / 抽象化 / 自己適応システム |
Outline of Annual Research Achievements |
平成28年度は、(1)平成26年度に開発した、研究代表者らの既提案の、アスペクト指向 models@run.time システムの形式モデルの枠組に対する、モデルとソースコードが本枠組における抽象化・詳細化関係となるようなコード生成系の、平成27年度に実施された予備的な実験の結果に基づいた評価・洗練、(2)平成26年度に行った、前記形式モデルの枠組に対し、リフレクションを用いてアスペクトの織り込みの定式化である公理の変更規則を新たに公理とすることによる、適応のために実行時にアスペクトを織り込む場合の振舞いを扱えるような拡張の、平成27年度に実施された予備的な実験の結果に基づいた評価・洗練、(3)平成27年度に開発した、コード生成系と形式モデルに基づく検証機能を統合した、検証・適応系プロトタイプの設計に基づく、コード生成系と検証系を統合した検証・適応系プロトタイプの評価・洗練、および(4)平成27年度に実装した例題ウェブ・ユビキタスアプリケーションの実験・評価を行い、例題の実装と評価結果を公開した。
|