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

Saved in:
Bibliographic Details
Main Authors: Balsters, Herman, Halpin, Terry
Format: Article
Published: IGI Global 2016
Subjects:
Online Access:http://eprints.intimal.edu.my/734/
http://www.igi-global.com/article/formal-semantics-of-dynamic-constraints-and-derivation-rules-in-orm/162695
Tags: Add Tag
No Tags, Be the first to tag this record!