APML: An Architecture Proof Modeling Language.

Diego Marmsoler Genc Blakqori

Published in: CoRR (2019)

Keyphrases

modeling language
metamodel
formal semantics
declarative language
ims learning design
design rationale
uml profile
constraint language
educational modeling languages
cooperative
theorem prover
theorem proving
code generation
learning environment
business process modeling
model driven architecture