Action semantics for defining dynamic semantics of modeling languages.

Gijs Stuurman Ivan Kurtev

Published in: BM-FA (2011)

Keyphrases

modeling language
formal semantics
logic programming
semantic information
control flow
metamodel
action descriptions
real world
databases
artificial intelligence
case study
cooperative
data model