Tailoring the Dolev-Yao abstraction to web services realities.
Michael BackesThomas GroßPublished in: SWS (2005)
Keyphrases
- web services
- service oriented
- business processes
- high level
- semantic web services
- description language
- business process
- web applications
- service providers
- service composition
- automatic discovery
- grid services
- data intensive
- service architecture
- web services composition
- service oriented architecture
- web service selection
- web service composition
- web service discovery
- case study
- information systems
- description languages
- loose coupling
- enterprise information systems
- enterprise application
- web technologies
- data abstraction
- neural network
- service discovery
- quality of service
- e learning
- information retrieval