ドメインモデルに基づいて技術文書中の矛盾を検出する方法

本稿では，技術文書のように厳密に事実を伝えるべき文書中の矛盾を検出する方法について議論する．文書中の矛盾を放置したままにすると重要な損害がもたらされる場合は多い．例えば，システムの開発において，文書中の矛盾に気付かずにシステムを製造してしまうと，テスト時に不具合が発生し，製造をやり直すことになる．本稿では，技術文書中の矛盾を検出する基本的な方法を提案する．特に，システム開発において実際に発生しやすい矛盾に焦点を当てる．