A Formal Semantics for OCL 1.4.

María Victoria Cengarle Alexander Knapp

Published in: UML (2001)

Keyphrases

formal semantics
modeling language
metamodel
constraint language
test cases
operational semantics
er model
speech acts
logical reasoning
logical language
formal language
first order logic
ontology languages
modelling language
databases
uml class diagrams
petri net
database systems