A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern.
Wencai GuoChuang LinPublished in: APSCC (2008)
Keyphrases
- service composition
- web service composition
- asynchronous communication
- web services
- service oriented
- qos aware
- service selection
- service oriented computing
- goal driven
- petri net
- composition of web services
- ai planning
- petri net model
- web services composition
- service oriented architecture
- human computer interaction
- service integration
- service discovery
- data mining
- ws bpel
- semantic web service composition
- grid services
- service description
- lightweight
- grid enabled
- web service selection
- web service compositions