An OCL Semantics Specified with QVT.

Slavisa Markovic Thomas Baar

Published in: MoDELS (2006)

Keyphrases

uml class diagrams
constraint language
formal semantics
information retrieval
semantic representation
data sets
logic programming
test cases
conceptual model
information systems
metamodel
conceptual graphs
default reasoning
logical language