Please use this identifier to cite or link to this item:
|Title:||A Z Approach in Validating ORA-SS Data Models|
|Keywords:||Formal specification and verification|
ORA-SS data model
Z specification language
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 12, 2017
checked on Dec 8, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.