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 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 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 that each express an intention of a process underlying the core SAM schema; and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.