アスペクト指向モデリングにおける紡ぎあわせ

抄録

横断的関心事を明示的に扱うアスペクト指向モデリングでは、抽象度の高いデザイン段階のアスペクトに対して紡ぎあわせを行う。アプリケーション固有の意味が関係するため、紡ぎあわせを自動化することが難しい。また、紡ぎあわせ前後でシステムが持つ性質を保存することを確認しなければならない。本稿では、役割に基づくアスペクト指向モデリングを基本とし、紡ぎあわせの系統的な方法を提案する。具体例としてアクセス制御アスペクトを用い、形式仕様言語Alloyを用いる方法を議論する。