A Calculus for Orchestration of Web Services.
Alessandro LapadulaRosario PuglieseFrancesco TiezziPublished in: ESOP (2007)
Keyphrases
- web services
- service oriented architecture
- web service composition
- description language
- service oriented
- automatic discovery
- data intensive
- web applications
- service providers
- semantic web services
- service discovery
- quality of service
- loosely coupled
- service architecture
- service composition
- business applications
- business process
- computer algebra
- web services composition
- formal language
- web service discovery
- software components
- business processes
- automated deduction
- databases
- composite web services
- grid services
- data model
- relational databases
- information systems