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

fYear

2011

fDate

23-27 May 2011

Firstpage

935

Lastpage

940

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;

fLanguage

English

Publisher

ieee

Conference_Titel

MIPRO, 2011 Proceedings of the 34th International Convention

Conference_Location

Opatija

Print_ISBN

978-1-4577-0996-8

Type

conf

Filename

5967190