Application State Modeling Language
A DSL for enabling run-time state migration