Validating ORA-SS Data Models using Alloy

Authors:
Lin Wang;Gillian Dobbie;Jing Sun;Lindsay Groves
Affiliations:
University of Auckland, New Zealand;University of Auckland, New Zealand;University of Auckland, New Zealand;Victoria University of Wellington, New Zealand
Venue:
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Year:
2006

Citing 0
Cited 4

Bounded verification of Ruby on Rails data models

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Reasoning about ORA-SS data models using the semantic web

Journal on Data Semantics VII
Unbounded data model verification using SMT solvers

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Data model property inference and repair

Proceedings of the 2013 International Symposium on Software Testing and Analysis

Quantified Score

Hi-index	0.01

Visualization

Abstract

Semistructured data is typically represented using XML. However, little semantic information can be captured using XML. Other data models, such as the Object Relationship Attribute data model for Semistructured data (ORASS), have been introduced to represent more detailed semantic information. Automatic analysis of the data models would enable us to reveal inconsistencies both at the schema and instance levels of the semistructured data. The aim of this paper is to encode the semantics of the ORA-SS data model in the Alloy formal language and automatically validate the semistructured data design using the Alloy Analyzer. It enables us to check the consistency of an ORA-SS schema and its instances.