Formal Process Definition WIP