A Z approach in validating ORA-SS data models

MaRDI QIDQ2852083zbMATH OpenFDO

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

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002374

Mathematics Subject Classification ID

Data structures (68P05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reasoning About ORA-SS Data Models Using the Semantic Web
• scientific article; zbMATH DE number 1693435
• ZB 2005: Formal Specification and Development in Z and B
• Lightweight formalization and validation of ORM models
• ZB 2005: Formal Specification and Development in Z and B
• A ZDD-Based Efficient Higher-Order Model Checking Algorithm

Cited in

(1)

• Theorem prover approach to semistructured data design

This page was built for publication: A Z approach in validating ORA-SS data models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852083)