Avestan: a declarative modeling language based on SMT-LIB.

Amirhossein Vakili Nancy A. Day

Published in: MiSE (2012)

Keyphrases

modeling language
declarative language
metamodel
formal semantics
design rationale
knowledge representation
statistical machine translation
business process modeling
uml profile
code generation
real world
constraint language
database
high level
model driven architecture