サービス設計のための矛盾検知・解消支援システムの構築

抄録

サービス工学では設計解が内包する論理的矛盾・物理的矛盾を検知・解消するための手法が提案されている．しかしながら，それらの手法を用いた矛盾検知から解消までの手順の大半は，設計者の手作業に頼っており，その負担は大きい．本稿では，矛盾検知・解消手順の一部である機能の独立性判定手法，及び問題解決策の導出を計算機上に実装することで，既存手順の自動化を進め，矛盾検知から解消に至る設計効率の改善を目指す．