Formal specification for spatial information databases integration framework (SIDIF)

Julaily Aida, Jusoh and Mustafa, Man and Mohd Shafry, Mohd Rahim and Mohammad, Zaidi (2011) Formal specification for spatial information databases integration framework (SIDIF). Telkomnika. pp. 81-88.

[img] Image
FH02-FIK-14-00769.jpg
Restricted to Registered users only

Download (235kB)
[img] Text
FH02-FIK-14-01599.pdf
Restricted to Registered users only

Download (406kB)

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.

Item Type: Article
Uncontrolled Keywords: formal specification, SIDIF, software engineering, Z specification Language
Subjects: T Technology > T Technology (General)
Divisions: Faculty of Informatics & Computing
Depositing User: Mrs Norhidayah Razak
Date Deposited: 13 Dec 2020 03:01
Last Modified: 15 Aug 2021 02:47
URI: http://eprints.unisza.edu.my/id/eprint/2122

Actions (login required)

View Item View Item