Formal Abstraction and Compatibility Checking of Web Services.
Kais KlaiHanen OchiSamir TataPublished in: ICWS (2013)
Keyphrases
- web services
- formal descriptions
- web applications
- web service composition
- service composition
- service oriented architecture
- service architecture
- web service selection
- semantic web services
- service providers
- service oriented
- formal model
- web technologies
- quality of service
- loosely coupled
- service selection
- consistency checking
- security flaws
- xml technology
- data sets
- mathematical theory
- formal methods
- service discovery
- business process
- e learning