Model Checking of Service-Oriented Manufacturing Business Process Based on User Feedback.
Junchao LiYan LeiMaojin LiJiaguo WangLei XuHongxia SunPublished in: ICIBE (2023)
Keyphrases
- user feedback
- model checking
- service oriented
- business process
- web services
- business processes
- temporal logic
- business process modeling
- business process management
- user interaction
- service oriented architecture
- formal verification
- model checker
- formal specification
- relevance feedback
- ws bpel
- process model
- model driven
- formal methods
- user preferences
- recommender systems
- learning to rank
- service composition
- business rules
- user profiles
- service selection
- case study
- workflow management
- semantic web services
- virtual organization
- knowledge base
- relevant documents
- database
- data management
- workflow management systems
- quality of service