The Semantics of the OCL Action Clause.

Anneke Kleppe Jos Warmer

Published in: Object Modeling with the OCL (2002)

Keyphrases

speech acts
constraint language
test cases
uml class diagrams
modeling language
reasoning tasks
action descriptions
action theories
action language
semantic information
reasoning about actions
logic programs
search space
formal semantics
logic programming