Semantics of OCL specified with QVT.

Slavisa Markovic Thomas Baar

Published in: Softw. Syst. Model. (2008)

Keyphrases

uml class diagrams
constraint language
formal semantics
logic programming
semantic information
test cases
conceptual model
semantic relationships
semantic representation
operational semantics
real time
neural network
expert systems
metamodel
constraint networks
model theoretic