2013 Fiscal Year Final Research Report
Research on verification of self-adaptive systems using goal-oriented requirements specifications
| Project/Area Number |
23500039
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
TAHARA Yasuyuki 電気通信大学, 大学院情報システム学研究科, 准教授 (30390602)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NAKAGAWA Hiroyuki 大阪大学, 大学院・情報科学研究科, 准教授 (40508834)
OHSUGA Akihiko 電気通信大学, 大学院・情報システム学研究科, 教授 (90393842)
|
|---|
| Project Period (FY) |
2011 – 2013
|
| Keywords | ソフトウェア工学 / モデル検査 / 自己適応システム |
|---|
| Research Abstract |
We established an approach to verification of self-adaptive systems with which we can intuitively confirm the verification results with the system requirements by using not only UML models such as statemachine diagrams but also goal-oriented requirements specifications. We implemented tools for transformation and verification. We also established an approach to implementing self-adaptive systems on the basis of the verification results.
|
