A Z Approach in Validating ORA-SS Data Models

Authors:
Scott Uk-Jin Lee;Jing Sun;Gillian Dobbie;Yuan Fang Li
Affiliations:
Department of Computer Science, The University of Auckland, Auckland, New Zealand;Department of Computer Science, The University of Auckland, Auckland, New Zealand;Department of Computer Science, The University of Auckland, Auckland, New Zealand;School of Computing, National University of Singapore, Singapore, Republic of Singapore
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 5
Cited 2

The Z notation: a reference manual

The Z notation: a reference manual
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Designing Semistructured Databases Using ORA-SS Model

WISE '01 Proceedings of the Second International Conference on Web Information Systems Engineering (WISE'01) Volume 1 - Volume 1
Semistructured Database Design (Web Information Systems Engineering and Internet Technologie)

Semistructured Database Design (Web Information Systems Engineering and Internet Technologie)

XML materialized views and schema evolution in VIREX

Information Sciences: an International Journal
Reasoning about ORA-SS data models using the semantic web

Journal on Data Semantics VII

Quantified Score

Hi-index	0.00

Visualization

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.