インタフェースの provide-require 関係の解析に基づいた自動的な構成管理手法の提案