Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL.

Achim D. Brucker Burkhart Wolff

Published in: OCL@MoDELS (2012)

Keyphrases

constraint language
uml class diagrams
neural network
real time
empirical studies
metamodel
modeling language
database
databases
artificial intelligence
test cases
experimental study
theoretical framework
higher order logic