Title :
Software tool for automated analysis of conceptual data model
Author :
Kazi, Z. ; Radulovic, B.
Author_Institution :
Tech. Fac. “Mihajlo Pupin”, Univ. of Novi Sad, Zrenjanin, Serbia
Abstract :
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.
Keywords :
XML; computer aided software engineering; data analysis; data models; inference mechanisms; merging; software tools; CASE tool; Prolog clause; XML form transformation; automated analysis; automated reasoning system; conceptual data model evaluation process; data model quality rule; logic form; software system; software tool; Cognition; Data models; Erbium; Finite element methods; Object oriented modeling; Software tools; Unified modeling language;
Conference_Titel :
MIPRO, 2011 Proceedings of the 34th International Convention
Conference_Location :
Opatija
Print_ISBN :
978-1-4577-0996-8
