A Z Approach in Validating ORA-SS Data Models

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.

[1]  Diego Calvanese,et al.  Representing and Reasoning on XML Documents: A Description Logic Approach , 1999, J. Log. Comput..

[2]  Mark Saaltink,et al.  The Z/EVES System , 1997, ZUM.

[3]  Tok Wang Ling,et al.  Semistructured Database Design , 2004 .

[4]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[5]  Tok Wang Ling,et al.  Semistructured Database Design (Web Information Systems Engineering and Internet Technologie) , 2004 .

[6]  Giorgio Ghelli,et al.  Spatial Tree Logics to reason about Semistructured Data , 2003, SEBD.

[7]  Tok Wang Ling,et al.  Designing semistructured databases using ORA-SS model , 2001, Proceedings of the Second International Conference on Web Information Systems Engineering.

[8]  Virginie Thion,et al.  A first step towardsmodeling semistructured data in hybrid multimodal logic , 2004, J. Appl. Non Class. Logics.

[9]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[10]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..