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...

Fact-oriented modeling approaches such as Object-Role Modeling (ORM) include a rich graphical notation for capturing business constraints, allowing modelers to visualize fine details of their data models. These data models should be validated with domain experts who best understand the business...