適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究