SAM Schema Validation via Model Checking for Business Process Reliability
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing business process management systems lack a robust method to validate the correctness of business processes against defined goals, leading to potential failures in reaching desired or recovery states, which can result in invalid business process execution.
Innovation Solution
The implementation of a computer-implemented method using a finite state machine (FSM) based on a status and action management (SAM) schema, where goals are processed using a model checking tool to determine the validity of the schema by generating traces and evaluating reachability of status vectors, ensuring the schema meets primary and recovery goals.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If business processes are designed without rigorous validation methods, then the development process is simpler and faster, but the reliability of business process execution deteriorates due to potential failures in reaching desired or recovery states
Solution Approach 1:
The patent applies preliminary action by validating the business process schema before execution. The model checking tool verifies that the schema correctly specifies transitions to desired and recovery states, ensuring the process is designed correctly before it runs, thus preventing execution failures without adding complexity during operation
Solution Approach 2:
The patent introduces an intermediary validation layer between business process design and execution. The model checking tool acts as this intermediary, automatically verifying the schema's correctness by checking reachability of goal states and recovery states, thereby ensuring reliability without requiring complex manual validation procedures
2Measurement precision
If manual validation methods are used to verify business process goals, then the validation process is simpler to implement, but the measurement precision of goal achievement deteriorates due to potential human error and incompleteness
Solution Approach 1:
The patent replaces manual mechanical validation with an automated computer-based model checking system. The tool automatically verifies goal achievement by systematically exploring all possible execution paths through the schema, providing precise verification without human error while maintaining manageable complexity through standardized verification procedures
Solution Approach 2:
The validation system performs self-service by automatically checking its own work. The model checking tool independently verifies the schema's correctness by systematically exploring all possible paths and confirming that desired and recovery states are reachable, eliminating the need for manual verification while maintaining high precision
Data Source
AI summary
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.