OCL: Syntax, Semantics, and Tools.

Martin Gogolla Mark Richters

Published in: Object Modeling with the OCL (2002)

Keyphrases

language constructs
programming language
constraint language
information systems
uml class diagrams
tool support
rule language
definition language
operational semantics
object oriented
semantic information
machine processable
software tools
formal semantics
logic programming