Towards Verifying Contract Regulated Service Composition.
Alessio LomuscioHongyang QuMonika SolankiPublished in: ICWS (2008)
Keyphrases
- service composition
- web service composition
- petri net
- web services
- service oriented
- goal driven
- qos aware
- service oriented computing
- ai planning
- service selection
- supply chain
- web services composition
- model checking
- ws bpel
- composition of web services
- service oriented architecture
- asynchronous communication
- service integration
- service discovery
- web service selection
- petri net model
- composite web services