Towards a K Semantics for OCL.

Andrei Arusoaie Dorel Lucanu Vlad Rusu

Published in: Electron. Notes Theor. Comput. Sci. (2014)

Keyphrases

uml class diagrams
constraint language
formal semantics
logic programming
metamodel
real time
semantic information
expert systems
test cases
conceptual model
modeling language
speech acts
transformation rules
proof theory