A Symbolic Rewriting Semantics of the COMPASS Modeling Language.

Musab A. AlTurki

Published in: IRI (2017)

Keyphrases

modeling language
formal semantics
metamodel
control flow
constraint language
design rationale
language constructs
declarative language
transformation rules
code generation
uml profile
database
educational modeling languages
business process modeling
semi automatic
cooperative
high level
case study