A Z approach in validating ORA-SS data models

Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

5 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings of the Third International Workshop on Software Verification and Validation (SVV 2005)
EditorsSupratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang
Place of PublicationAmsterdam Netherlands
Number of pages15
Publication statusPublished - 2006
Externally publishedYes
EventInternational Workshop on Software Verification and Validation - Manchester UK, Amsterdam Netherlands
Duration: 1 Jan 2006 → …

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Electronic)1571-0661


ConferenceInternational Workshop on Software Verification and Validation
CityAmsterdam Netherlands
Period1/01/06 → …

Cite this