3.1.1 Abstract Data Model
This section describes a conceptual model of possible data organization that an implementation maintains to participate in this protocol. The described organization is provided to facilitate the explanation of how the protocol behaves. This document does not mandate that implementations adhere to this model as long as their external behavior is consistent with that described in this document.
The server MUST maintain the following data element:
Durable Program Instance Table: A table that associates a globally unique identifier (GUID), as specified in [MS-DTYP] section 2.3.4, to a durable program instance and durable program instance state. The durable program instance state is an enumeration that identifies the current state of the durable program instance:
Active
Suspended
Completed
The following table shows the relationship between durable program instance states and Workflow Instance Management Protocol operations. The table identifies the durable program instance state when the operation completes, based on the durable program instance state when the operation was invoked.

Figure 2: Durable program instance states when operation is invoked and completed