A calculus for orchestration of web services.
Rosario PuglieseFrancesco TiezziPublished in: J. Appl. Log. (2012)
Keyphrases
- web services
- description language
- service oriented architecture
- service oriented
- web applications
- quality of service
- service providers
- formal language
- service composition
- service architecture
- semantic web services
- loosely coupled
- web service discovery
- bpel ws
- automated deduction
- automatic discovery
- service selection
- provably correct
- data intensive
- business process
- business processes
- lightweight
- relational databases
- service discovery
- business applications
- algebraic structure
- database systems
- loose coupling
- neural network