Dynamic Service Process Composition via Logical State Matching
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current technologies for specifying and executing workflow processes, such as service processes, are inefficient as they require pre-defined models and significant user interaction, making them costly and time-consuming to create and maintain, and are not capable of handling dynamic and complex service requests effectively.
Innovation Solution
A computer-implemented method and system that automatically and dynamically compose and execute service processes by receiving user requests, generating electronic inquiries, constructing logical state representations, and selecting services based on pre- and post-conditions to fulfill user-defined goals, allowing for parallel execution and real-time monitoring without pre-defined models.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If pre-defined workflow models are used, then execution reliability is improved, but device complexity and maintenance cost increase
Solution Approach 1:
The system enables automatic service process composition where the workflow engine autonomously generates service process models by querying service descriptions and matching pre-conditions with post-conditions, eliminating the need for manual model definition and reducing maintenance burden while ensuring reliable execution through formal logical matching
Solution Approach 2:
The system transforms static pre-defined models into dynamic generated models by changing the parameterization approach - instead of fixing workflow structures in advance, the system generates specific process models on-demand by instantiating service compositions based on actual service descriptions and logical state representations
2Manufacturing precision
If manual workflow specification is used, then process accuracy is improved, but loss of time and productivity decrease
Solution Approach 1:
The system performs preliminary actions by pre-defining service descriptions with formal pre-conditions and post-conditions, and pre-establishing logical state representations, so that when service processes need to be composed, the system can quickly match and assemble proven components without manual specification, ensuring accuracy through pre-validated logic
Solution Approach 2:
The system creates accurate process models by copying and assembling pre-defined service descriptions and logical states rather than creating new models from scratch, ensuring consistency and accuracy while dramatically reducing creation time through template-based generation
3Stability of the object's composition
If static service process models are used, then stability is improved, but adaptability decreases
Solution Approach 1:
The system introduces dynamics by generating service process models on-demand based on actual service descriptions and logical state representations, allowing the workflow structure to adapt dynamically to different service compositions while maintaining stability through formal logical matching rules and consistent generation algorithms
4Productivity
If automated service composition is implemented, then productivity is improved, but device complexity increases
Solution Approach 1:
The system segments the complex composition task into manageable components: service description retrieval, logical state construction, pre-condition/post-condition matching, and process model generation. This modular approach improves productivity by automating each segment while managing overall system complexity through clear separation of concerns
Data Source
AI summary
A computer-implemented method for automatically and dynamically composing and executing workflow-based service processes may include receiving a request, the request including a user-selected service type, guided by one or more rules for questionnaire creation, dynamically generating a sequence of one or more electronic inquiries in accordance with the user-selected service type, receiving information based on the sequence of the one or more electronic inquiries, based on the information received, creating a goal for the request by constructing logical state representations of a current state constituting a pre-condition of the goal and of a target state constituting a post-condition of the goal and generating a service process by determining a sequence of services which together fulfill the goal, where the services are selected from a plurality of services such that pre-conditions and post-conditions associated with the selected services together match the pre-condition and the post-condition of the goal.