OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.

Anna Queralt Alessandro Artale Diego Calvanese Ernest Teniente

Published in: Description Logics (2012)

Keyphrases

metamodel
constraint language
uml class diagrams
uml diagrams
test cases
modeling language
tool support
databases
knowledge base
modal logic
artificial intelligence
information systems
test set