A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics.

Benoît Combemale Laure Gonnord Vlad Rusu

Published in: ECMFA (2011)

Keyphrases

operational semantics
formal semantics
data model
model theoretic
database
case study
denotational semantics
intelligent agents
activity diagrams