A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.
Wing Lok YeungPublished in: APSCC (2008)
Keyphrases
- web services
- service oriented architecture
- service oriented
- service oriented computing
- loosely coupled
- service composition
- starting point
- formal methods
- service providers
- business processes
- business process
- formal model
- data sets
- web service discovery
- mathematical theory
- lightweight
- databases
- real time
- business applications
- search engine
- artificial intelligence
- data mining
- web service selection