Loading...

A Z approach to formalization and validation of ORM models

Jahangard Rafsanjani, A ; Sharif University of Technology | 2011

590 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-642-22603-8_45
  3. Publisher: 2011
  4. Abstract:
  5. In this paper we present a formal definition of the basic concepts and notations of Object Role Modeling (ORM) using the Z formal specification language. Most of ORM concepts such as object and relationship types, value types, objectification, reference schemes, sub-types, roles and constraints such as uniqueness, mandatory, cardinality, subset, equality, exclusive and ring constraints are specified formally. Population is specified as objects, relationships and roles instances. These are specified using Z axioms and diagram instances are specified using Z schemas. This would enable validation and reasoning on the formal properties of ORM diagrams such as detecting constraint contradictions and implications. All the specifications are validated and type-checked using Z/EVES
  6. Keywords:
  7. Basic concepts ; Cardinalities ; Data modeling ; Formal definition ; Formal properties ; Formal specification and verification ; Formal specification language ; Object-role modeling ; ORM ; Schemas ; Z specification language ; Information systems ; Specification languages ; Specifications
  8. Source: Communications in Computer and Information Science, 20 July 2011 through 22 July 2011 ; Volume 194 CCIS , July , 2011 , Pages 513-526 ; 18650929 (ISSN) ; 9783642226021 (ISBN)
  9. URL: http://link.springer.com/chapter/10.1007%2F978-3-642-22603-8_45