| 研究概要 |
本課題では前年度の成果を踏まえ,次に示す(a)から(d)の研究項目を実施した.
(a) 要求からソフトウェアアーキテクチャへのモデル変換方式の研究では,我々が提案するアスペクト指向ソフトウェアアーキテクチャスタイルE-AoSAS++によるソフトウェアアーキテクチャ記述と要求仕様モデルとの対応を,品質要求とアーキテクチャ文書化の視点との関係に着目して整理した.対応付けの手掛かりとしてGoFデザインパターンを利用し,品質要求とアスペクトの間を見通し良く対応付ける方法論の基礎を構築した.
(b) 要求とアーキテクチャの形式的モデル記述方式の研究では,これまでに取り上げてきた自動航行飛行船ロボットの事例を題材に,(a)の成果を適用・評価するとともに,E-AoSAS++におけるアーキテクチャ記法の洗練を構造および振舞いの両面から行った.
(c) ツールによる開発支援方式の研究では,(b)で定めたアーキテクチャ記法のための処理方式や支援ツールについての検討を行った.E-AoSAS++の記法に加え,操作的意味を定義し,それに基づくプラットフォームライブラリを整備した.これにより,Java(AspectJ)言語のプログラム自動生成への道筋をつけた.
(d) 実証的アプローチによるプロダクトライン開発の研究では,要求仕様書およびE-AoSAS++記述との間の意味関連に基づく,アーキテクチャ評価尺度について検討した.
(連携研究者)情報理工学部・講師横森励士
|
