A Formal Approach for the Validation of Web Service Orchestrations.
Wael SellamiHatem Hadj KacemAhmed Hadj KacemPublished in: Int. J. Web Portals (2013)
Keyphrases
- web services
- formal specification
- web service selection
- neural network
- web applications
- formal analysis
- formal methods
- formal model
- databases
- service architecture
- web service composition
- description language
- semantic web services
- service providers
- real time
- mashup
- semantic web
- learning algorithm
- reference architecture
- xml technology