A Formal Approach for the Validation of Web Service Orchestrations.
Hatem Hadj KacemWael SellamiAhmed Hadj KacemPublished in: WETICE (2012)
Keyphrases
- web services
- neural network
- ws bpel
- service architecture
- semantic web services
- service discovery
- quality of service
- business processes
- formal model
- business applications
- service providers
- web applications
- information retrieval
- real time
- spatial data
- formal specification
- web service composition
- mathematical theory
- web services composition
- execution environment
- xml technology
- web service technology