On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML).

Published in: PDCAT (2006)

Keyphrases

constraint language
modeling language
metamodel
object oriented
uml diagrams
code generation
integrity constraints
design rationale
uml profile
open source
business process modeling
educational modeling languages
databases
language constructs
constraint networks
life cycle
np complete
programming language