Continuity Checkの設定変更を統一的に実現するための制約充足アプローチを用いた設定方法の提案(管理機能,理論・運用方法論,及び一般)