Towards formal checking of Web services substitutability.
Sofiane BourouzNadia ZeghibPublished in: ICAASE (2016)
Keyphrases
- web services
- formal descriptions
- web applications
- service oriented
- web service composition
- description language
- formal specification
- semantic web services
- formal model
- business process
- quality of service
- web service discovery
- service oriented architecture
- business processes
- neural network
- consistency checking
- service selection
- formal methods
- data intensive
- service providers
- loosely coupled
- database
- automatic discovery
- service composition
- composition of web services
- software components