specs for execution model