Formal Specification for Spatial Information Databases Integration Framework (SIDIF)
Abstract: This paper discusses
the formal validation for spatial information databases integration framework
(SIDIF). A SIDIF database is a large, organized body of persistent data,
usually associated with computerized software designed to update, query, and
retrieve components of the data stored within the system. One of the common
difficulties faced by the developer is in designing a robust database system.
Even so, in order to solve this matter, developers have to focus their efforts
on the formal specifications. The formal specification is supposed to reduce
the overall development time. Formal specifications can be used to provide an
unambiguous and precise supplement to natural language descriptions. Besides,
it can be rigorously validated and verified leading to the early detection of
specification errors. Consequently, to validate this problem formally, we
specify the SIDIF database framework using Z language and prove by using Z/EVES
theorem proven tool. By using this kind of tools, it may help to reduce time,
energy and mistake compared to manual theorem proving which can be error task
and tedious.
Author: Mustafa Man, Julaily
Aida Jusuh, Mohd Shafry Mohd Rahim, Mohammad Zaidi Zakaria
Journal Code: jptkomputergg110014