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]

@article{BalstersH16,
  title = {Formal Semantics of Dynamic Constraints and Derivation Rules in ORM},
  author = {Herman Balsters and Terry A. Halpin},
  year = {2016},
  doi = {10.4018/IJISMD.2016040102},
  url = {http://dx.doi.org/10.4018/IJISMD.2016040102},
  researchr = {https://researchr.org/publication/BalstersH16},
  cites = {0},
  citedby = {0},
  journal = {IJISMD},
  volume = {7},
  number = {2},
  pages = {31-47},
}