Formal Semantics of Dynamic Rules in ORM.

Herman Balsters Terry A. Halpin

Published in: OTM Workshops (2008)

Keyphrases

formal semantics
rule based reasoning
logical language
operational semantics
formal language
eca rules
er model
artificial intelligence
modelling language
first order logic
database
information systems
production rules
modeling language
conceptual modeling
logical reasoning