Aspect-Oriented Modeling for Design and Verification Modeling
| Project/Area Number |
20500031
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
KISHI Tomoji Japan Advanced Institute of Science and Technology, 理工学術院, 教授 (30422661)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Keywords | ソフトウェア検証 / モデル検査技術 / アスペクト指向モデリング / 設計モデル / 検証モデル |
|---|
| Research Abstract |
Design verifications utilizing model checking techniques require development of design model and verification model, and we have studied modeling techniques for these models. As software design model and verification model could have cross cutting relations, we have developed two aspect-oriented modeling mechanisms one is scenario based and the other is state transition based. We also developed assumption model that is used as a reference model for developing verification model.
|
Report
(4 results)
Research Products
(12 results)
