Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

Herman Balsters, Terry A. Halpin. Formal Semantics of Dynamic Constraints and Derivation Rules in ORM. IJISMD, 7(2):31-47, 2016. [doi]

Abstract

Abstract is missing.