Validating UML Models and OCL Constraints.

Mark Richters Martin Gogolla

Published in: UML (2000)

Keyphrases

uml models
constraint language
sequence diagrams
test cases
object oriented
integrity constraints
information systems
relational databases
petri net
constraint satisfaction
metamodel