Towards verifying compliance in agent-based web service compositions.
Alessio LomuscioHongyang QuMonika SolankiPublished in: AAMAS (1) (2008)
Keyphrases
- web service compositions
- web service composition
- service composition
- web services
- quality of service
- multi agent systems
- multi agent
- learning capabilities
- petri net
- agent technology
- service oriented
- model checking
- dynamic programming
- database
- video sequences
- image sequences
- information systems
- neural network
- databases