Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.entcs.2006.01.025
Title: A Z Approach in Validating ORA-SS Data Models
Authors: Lee, S.U.-J.
Sun, J.
Dobbie, G.
Li, Y.F. 
Keywords: Formal specification and verification
ORA-SS data model
Semistructured data
Z specification language
Issue Date: 2006
Source: Lee, S.U.-J.,Sun, J.,Dobbie, G.,Li, Y.F. (2006). A Z Approach in Validating ORA-SS Data Models. Electronic Notes in Theoretical Computer Science 157 (1 SPEC. ISS.) : 95-109. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2006.01.025
Abstract: The rapid growth of the World Wide Web has resulted in more data being accessed over the Internet. In turn there is an increase in the use of semistructured data, which plays a crucial role in many web applications particularly with the introduction of XML and its related technologies. This increase in use makes the design of good semistructured data structures essential. The Object Relationship Attribute model for Semistructured data (ORA-SS) is a graphical notation for designing and representing semistructured data. In this paper, we demonstrate an approach to formally validate the ORA-SS data models in order to enhance the correctness of semistructured data design. A mathematical semantics for the ORA-SS notation is defined using the Z formal language, and further validation processes are carried out to check the correctness of the semistructured data models at both the schema and instance levels. © 2006 Elsevier B.V. All rights reserved.
Source Title: Electronic Notes in Theoretical Computer Science
URI: http://scholarbank.nus.edu.sg/handle/10635/39064
ISSN: 15710661
DOI: 10.1016/j.entcs.2006.01.025
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

6
checked on Dec 12, 2017

Page view(s)

53
checked on Dec 8, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.