An ASM Definition of the Dynamic OCL 2.0 Semantics.

Stephan Flake Wolfgang Müller

Published in: UML (2004)

Keyphrases

dynamic environments
operational semantics
multiple inheritance
formal semantics
specification language
data sets
knowledge base
video sequences
test cases
temporal reasoning
active shape model
general theory
uml class diagrams