サービス合成において契約間の整合性を検証，実現するツールに関する研究