Towards verifying contract regulated service composition.
Alessio LomuscioHongyang QuMonika SolankiPublished in: Auton. Agents Multi Agent Syst. (2012)
Keyphrases
- service composition
- web service composition
- web services
- service oriented
- qos aware
- petri net
- goal driven
- service oriented computing
- web services composition
- ai planning
- composition of web services
- model checking
- service discovery
- supply chain
- service selection
- petri net model
- asynchronous communication
- web service selection
- service integration
- web service compositions
- business requirements
- service oriented architecture
- discrete particle swarm optimization
- real time
- composite services
- ws bpel