Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus.
Jing ZhouGuosun ZengPublished in: GCC (2006)
Keyphrases
- service composition
- asynchronous communication
- web service composition
- web services
- qos aware
- goal driven
- service oriented
- petri net
- service selection
- provably correct
- web services composition
- service oriented computing
- transition systems
- service integration
- grid computing
- composition of web services
- ws bpel
- petri net model
- semantic web service composition
- formal language
- grid services
- service discovery
- database systems
- high level
- business requirements
- concurrency control
- web service compositions
- composite services
- web service selection
- service oriented architecture
- information sharing
- formal specification
- service providers