Extended SAM Schema Validation via Model Checking
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing business process management systems lack effective methods to validate the correctness of constraints in extended business processes, which can lead to invalid transitions and failures in reaching intended goals, especially in service-driven businesses with customized workflows.
Innovation Solution
The implementation of an extended status and action management (SAM) schema validation method using computer-executable model checking tools to process extended finite state machines (FSM) and goals, ensuring that the schema can reach primary and recovery goals, thereby determining the validity of the business process.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Adaptability or versatility
If extended SAM schema is used to enable customization of business processes, then adaptability is improved, but reliability deteriorates due to lack of validation mechanisms
Solution Approach 1:
The patent applies preliminary action by performing validation of the extended SAM schema before the business process executes. The model checking tool analyzes the schema structure, state transitions, and goal definitions in advance to detect errors, ensuring that only valid schemas are deployed for execution. This prevents runtime failures and maintains reliability while allowing customization.
Solution Approach 2:
The patent implements feedback through the model checking validation process that provides detailed error reports and validity assessments. The system checks whether the extended schema maintains proper structure, reaches defined goals, and satisfies constraints, then returns feedback about validity. This feedback mechanism allows developers to correct issues in customized schemas while preserving the ability to extend the core schema.
2Reliability
If model checking validation is implemented for extended SAM schema, then reliability is improved, but device complexity increases due to additional processing requirements
Solution Approach 1:
The patent uses an intermediary approach by introducing a dedicated model checking tool as a separate validation component. This intermediary tool acts as a mediator between the extended SAM schema and the business process execution engine. The model checker translates schema definitions into a formal model and verifies properties without requiring changes to the core SAM schema or the execution engine, thus adding validation capability while maintaining system modularity and managing complexity.
3Manufacturing precision
If comprehensive goal processing is performed using model checking, then manufacturing precision is improved, but loss of time increases due to extensive validation processing
Solution Approach 1:
The patent applies segmentation by dividing the validation process into distinct components: parsing the extended SAM schema, constructing the finite state machine model, defining goals and constraints, performing model checking, and generating validity reports. This segmentation allows the validation to be performed systematically on different aspects of the schema separately. The model checking tool can focus on specific properties such as reachability, safety, and liveness conditions independently, improving efficiency while maintaining comprehensive validation coverage.
Data Source
AI summary
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.