Executable process model