Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
