A Formal Semantics for Object Model Diagrams.

Robert H. Bourdeau Betty H. C. Cheng

Published in: IEEE Trans. Software Eng. (1995)

Keyphrases

formal semantics
object model
object databases
data model
object models
d objects
er model
database
modeling language
formal language
logical language
first order logic
logical reasoning
operational semantics
modelling language
three dimensional
speech acts
artificial intelligence
databases