Cover Image

Formal specification for spatial information databases integration framework (SIDIF)

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Julaily Aida, Jusoh, Mustafa, Man, Mohd Shafry, Mohd Rahim, Mohammad, Zaidi
Format: Article
Language:English
English
Published: 2011
Subjects:
T Technology (General)
Online Access:http://eprints.unisza.edu.my/2122/1/FH02-FIK-14-00769.jpg
http://eprints.unisza.edu.my/2122/2/FH02-FIK-14-01599.pdf
http://eprints.unisza.edu.my/2122/
Tags: Add Tag
No Tags, Be the first to tag this record!
id my-unisza-ir.2122
record_format eprints
spelling my-unisza-ir.21222021-08-15T02:47:25Z http://eprints.unisza.edu.my/2122/ Formal specification for spatial information databases integration framework (SIDIF) Julaily Aida, Jusoh Mustafa, Man Mohd Shafry, Mohd Rahim Mohammad, Zaidi T Technology (General) 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. 2011 Article NonPeerReviewed image en http://eprints.unisza.edu.my/2122/1/FH02-FIK-14-00769.jpg text en http://eprints.unisza.edu.my/2122/2/FH02-FIK-14-01599.pdf 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.
institution Universiti Sultan Zainal Abidin
building UNISZA Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Sultan Zainal Abidin
content_source UNISZA Institutional Repository
url_provider https://eprints.unisza.edu.my/
language English
English
topic T Technology (General)
spellingShingle T Technology (General)
Julaily Aida, Jusoh
Mustafa, Man
Mohd Shafry, Mohd Rahim
Mohammad, Zaidi
Formal specification for spatial information databases integration framework (SIDIF)
description 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.
format Article
author Julaily Aida, Jusoh
Mustafa, Man
Mohd Shafry, Mohd Rahim
Mohammad, Zaidi
author_facet Julaily Aida, Jusoh
Mustafa, Man
Mohd Shafry, Mohd Rahim
Mohammad, Zaidi
author_sort Julaily Aida, Jusoh
title Formal specification for spatial information databases integration framework (SIDIF)
title_short Formal specification for spatial information databases integration framework (SIDIF)
title_full Formal specification for spatial information databases integration framework (SIDIF)
title_fullStr Formal specification for spatial information databases integration framework (SIDIF)
title_full_unstemmed Formal specification for spatial information databases integration framework (SIDIF)
title_sort formal specification for spatial information databases integration framework (sidif)
publishDate 2011
url http://eprints.unisza.edu.my/2122/1/FH02-FIK-14-00769.jpg
http://eprints.unisza.edu.my/2122/2/FH02-FIK-14-01599.pdf
http://eprints.unisza.edu.my/2122/
_version_ 1709673141079375872
score 13.211869

Similar Items