OCL4X: An Action Semantics Language for UML Model Execution.

Ke Jiang Lei Zhang Shigeru Miyake

Published in: COMPSAC (1) (2007)

Keyphrases

metamodel
specification language
probabilistic model
high level
computational model
conceptual model
logical language
software systems
natural language
probability distribution
process model
modeling language
conceptual modeling
semantic models
constraint language