Validating trustworthy service composition through VIPLE and pi-calculus.
Shenghui ZhaoYuemin LiYang WangYinong ChenPublished in: Int. J. Simul. Process. Model. (2020)
Keyphrases
- service composition
- web service composition
- web services
- qos aware
- service oriented
- petri net
- web services composition
- petri net model
- service oriented computing
- goal driven
- service selection
- asynchronous communication
- ai planning
- service integration
- service discovery
- service oriented architecture
- composition of web services
- ws bpel
- semantic web service composition
- business requirements
- web service selection
- composite services
- service description
- response time