【課題】 ＵＭＬのような図式表記で表現された製品のＵＩ挙動仕様を自動的に検証できるＵＩ設計検証装置を提供する。
【解決手段】 この発明のＵＩ設計検証装置は、表明変換用公理群を保持する表明変換用公理データベース５と、検証用公理群を保持する検証用公理データベース６と、図式表記のＵＩ設計仕様を代数的表記に変換したその代数表記を入力する代数表記入力部１と、入力された代数表記に対して、表明変換用公理データベースに登録されている表明変換用公理群の内の該当する公理を適用して表明を作成する表明変換用公理適用部２と、表明変換用公理が適用された表明に対して、検証用公理データベースに登録されている検証用公理群の内の該当する公理を適用して表明の検証を行う検証用公理適用部３と、検証用公理適用部にて検証した結果を出力する検証結果出力部４とを備えている。 （もっと読む）