A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.

Pierre Kelsen Qin Ma

Published in: MoDELS (2008)

Keyphrases

lightweight
formal semantics
modeling language
metamodel
logical language
design rationale
modelling language
logical reasoning
uml profile
databases
artificial intelligence
multi agent systems
query processing
wireless sensor networks
model checking
service oriented architecture