An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking.
Tao SunKangshuai ZuoWenjie ZhongPublished in: ISPA/BDCloud/SocialCom/SustainCom (2022)
Keyphrases
- business processes
- model checking
- modeling method
- web services
- business process
- temporal logic
- business applications
- formal verification
- formal specification
- enterprise application integration
- model checker
- process model
- service oriented architecture
- computation tree logic
- service composition
- workflow management systems
- verification method
- petri net
- ws bpel
- semantic web services
- business process models
- formal methods
- fuzzy neural network
- business rules
- business process management
- service oriented
- epistemic logic
- business partners
- workflow systems
- web service composition
- neural network
- decision making
- quality of service