Patent Document ID: 8996473
Application ID: 13567544

Base Claim:
1. A computer-implemented method for evaluating a validity of an extended status and action management (SAM) schema, the method being executed using one or more processors and comprising: receiving, by the one or more processors, the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema; providing, by the one or more processors, one or more goals, each goal representing an intention of the core SAM schema, the one or more goals being provided in a computer-readable document stored in memory and comprising one or more primary goals and one or more recovery goals that each express an intention of a process underlying the core SAM schema, each primary goal being an end goal that is preserved in the extended SAM schema and each recovery goal being an acceptable intermediate goal that is replaceable in the extended SAM schema; providing an extended finite state machine (FSM) based on the extended SAM schema, the extended FSM representing states of the extended SAM schema and transitions between states, the extended FSM being provided as a computer-readable document and being stored in memory, wherein processing further comprises processing the extended FSM; and processing, by the one or more processors, the one or more goals using a computer-executable model checking tool for evaluating the validity of the extended SAM schema, wherein the extended SAM schema is determined to be valid, if at least one of the one or more primary goals or at least one of the one or more recovery goals is achieved for each of the core SAM schema and the extended SAM schema.

---

Claim 11:
11. The method of claim 1 , wherein the process comprises a business process.