Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of dynamic rules. Dynamic rules differ from static rules by involving state transitions, rather than simply individual states. This paper restricts application of dynamic rules to single...

Full description

Bibliographic Details
Main Authors: Balsters, Herman, Halpin, Terry
Format: Article
Published: IGI Global 2016
Subjects:
Online Access:http://eprints.intimal.edu.my/734/
http://eprints.intimal.edu.my/734/
http://eprints.intimal.edu.my/734/