Software tool for automated analysis of conceptual data model

This paper describes implementation of a software system for analyzing data model correctness. Proposed system is based on integration of an automated reasoning system with CASE tool output in aim to automate the process of data model evaluation. The system is based on transformation of XML form of a conceptual data model to predicate logic form and merging with data model quality rules. Result of this merging is formatted as Prolog clauses that present an input to automated reasoning system. Analysis is performed upon the conceptual model regarding all the rules and gives an answer if the data model is correct generally and analytically from certain aspect.