Aspect-Oriented Modeling for Design and Verification Modeling

2010 Fiscal Year Final Research Report

• 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
• 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.

Research Products

• [Presentation] モデル検査のための設計モデル構築手法に関する考察 (2010)
  • Author(s): 岸知二
  • Organizer: 情報処理学会ソフトウェア工学研究会(Vol2010-SE-168,No.9,pp1-6,2010(査読無し))
  • Year and Date: 20100000
• [Presentation] ソフトウェア設計・検証手法に関する考察～モデリンの観点より～ (2009)
  • Author(s): 岸知二
  • Organizer: 情報処理学会ソフトウェア工学研究会(Vol.2009-SE-165,No.5,pp1-5,2009(査読無))
  • Year and Date: 20090000
• [Presentation] 想定モデリングに基づくソフトウェアプロダクトラインのコア資産検証手法 (2009)
  • Author(s): 朝倉功太,岸知二
  • Organizer: 情報処理学会組込みシステムシンポジウム2009(ESS2009)(pp169-177,2009.(査読有り))
  • Year and Date: 20090000
• [Presentation] モデル検査のためのアスペクト指向メカニズム切替方式の提案 (2008)
  • Author(s): 金井勇人,岸知二
  • Organizer: 情報処理学会、SIGSE 情報処理学会 CS領域奨励賞受賞(vol.2008,no93,pp49-56 査読無し)
  • Year and Date: 20080000
• [Presentation] モデル検査技術を活用したソフトウェア設計・検証手法に関する考察 (2008)
  • Author(s): 岸知二,高橋弘,徳田寛和
  • Organizer: 情報処理学会ソフトウェア工学研究会(Vol.2008 No.55,pp95-100, 2008 (査読無し))
  • Year and Date: 20080000
• [Remarks] ワークショップ開催
• [Remarks] Natsuko Noda and Tomoji Kishi, New Challenge of Scalable Modeling, 2nd Workshop on Scalable Modeling Techniques for Software Product Lines (SCALE 2010), the second proc. of SPLC2010, pp191-192, 2010.
• [Remarks] Tomoji Kishi and Kyo-Chul Kang: Scalable Modeling Techniques for Software Product Lines (SCALE 2009), proceedings of SPLC2009, p299, 2009.