Please use this identifier to cite or link to this item:
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
Citation: 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.
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
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.


checked on Sep 27, 2022


checked on Sep 27, 2022

Page view(s)

checked on Sep 22, 2022

Google ScholarTM



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