Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/11816
Title: | Software tool for automated analysis of conceptual data model | Authors: | Kazi, Zoltan Radulovic B. |
Issue Date: | 6-Sep-2011 | Journal: | MIPRO 2011 - 34th International Convention on Information and Communication Technology, Electronics and Microelectronics - Proceedings | 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. © 2011 MIPRO. | URI: | https://open.uns.ac.rs/handle/123456789/11816 | ISBN: | 9789532330670 |
Appears in Collections: | TFZR Publikacije/Publications |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.