An Executable Calculus for Service Choreography.
Paolo BesanaAdam BarkerPublished in: OTM Conferences (1) (2009)
Keyphrases
- service oriented architecture
- service oriented
- service oriented computing
- service providers
- web services
- service composition
- information services
- process algebra
- semantic web services
- service discovery
- end users
- data sets
- end to end
- database
- business processes
- lightweight
- management system
- formal specification
- mobile services
- service management
- knowledge base
- computer algebra