Understanding B Specifications with UML Class Diagram and OCL Constraints.

Bruno Tatibouët Isabelle Jacques

Published in: ICEIS (3) (2006)

Keyphrases

constraint language
high level
constraint satisfaction
linear constraints
constrained optimization
global constraints
specification language
databases
genetic algorithm
relational databases
integrity constraints
semantic constraints
tool support