Modeling Execution Models (MEMS)