A Formal Analysis of Behavioral Equivalence for Web Services.
Li KuangPublished in: SERVICES I (2008)
Keyphrases
- formal analysis
- web services
- web service composition
- formal methods
- web applications
- service architecture
- automatic discovery
- description language
- service composition
- data intensive
- agent model
- web technologies
- database
- service oriented
- service oriented architecture
- ban logic
- business processes
- service providers
- low cost
- service discovery
- human behavior
- semantic web services
- distributed systems
- knowledge representation
- service selection
- data model
- case study
- artificial intelligence