Verifying Web services in a choreography environment.
San-Yih HwangWen-Fan HsiehChien-Hsiang LeePublished in: SOCA (2011)
Keyphrases
- web services
- web applications
- service oriented architecture
- dynamic environments
- service architecture
- mobile robot
- complex environments
- business processes
- service providers
- web service selection
- data sets
- seamless integration
- simulation environment
- web service composition
- computing environments
- autonomous agents
- digital libraries
- multi agent systems