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

US8996473B2 · kind B2 · utility

Assignee

• SAP SE · DE

Inventors

• Jens Lemcke · Karlsruhe, DE
• Andreas Friesen · Süderbrarup, DE
• Bernhard Thimmel · Edingen-Neckarhausen, DE
• Piergiorgio Bertoli · Trento, IT
• Marco Pistore · Trento, IT
• Otfried Von Geisau · Sinsheim, DE

Key dates

• Filing date: Aug 6, 2012
• Grant date: Mar 31, 2015
• Expiry date: Aug 6, 2032

Classification

• Technology area (CPC G): Physics
• CPC primary: G06Q30/04
• WIPO field: IT methods for management
• WIPO sector: Electrical engineering

Abstract

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.