Application State Modeling Language

A DSL for enabling run-time state migration