Sap Se

Marco Pistore

Jens Lemcke

Andreas Friesen

Piergiorgio Bertoli

Bernhard Thimmel

Otfried Von Geisau

Otfried Geisau

Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being an extension of a core SAM schema, providing one or more goals, goals representing an intention of the core SAM schema, receiving one or more action chains, action chains representing one or more actions of the extended SAM schema that are to be automatically executed, the one or more actions being associated with triggerability flags, a triggerability flag indicating whether a respective action is only triggerable using a respective action chain, and processing the one or more goals, the one or more action chains and the triggerability flags using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.

Validation of functional correctness of SAM schemas including action chains

Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include 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.

Checking compatibility of extended and core SAM schemas based on complex goals

Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a computer-readable document stored in memory and including one or more primary goals and one or more recovery goals that each express an intention of a process underlying the SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the SAM schema.

Growing community of inventors

Trento, Italy

Marco Pistore