OCL2FOL+: Coping with Undefinedness.

Carolina Dania Manuel Clavel

Published in: OCL@MoDELS (2013)

Keyphrases

first order logic
knowledge representation
metamodel
modeling language
uml class diagrams
inference rules
theorem proving
constraint language
test cases
horn clauses
database systems
constraint networks
formal semantics
uml diagrams
timed automata