|
研究代表者らの既提案の，アスペクト指向 models@run.time システムの形式モデルの枠組に対する，モデルとソースコードが本枠組における抽象化・詳細化関係となるようなコード生成系を開発し，前記形式モデルの枠組に対し，リフレクションを用いてアスペクトの織り込みの定式化である公理の変更規則を新たに公理とすることによる，適応のために実行時にアスペクトを織り込む場合の振舞いを扱えるような拡張を行い，検証・適応系プロトタイプの設計に基づく，コード生成系と検証系を統合した検証・適応系プロトタイプを開発し，例題ウェブ・ユビキタスアプリケーションの実装と実験・評価を行った．
|
