first draft of execution model representation