A mechanism for grid service composition behavior specification and verification.
Jing ZhouGuosun ZengPublished in: Future Gener. Comput. Syst. (2009)
Keyphrases
- service composition
- petri net model
- web service composition
- petri net
- web services
- composite services
- formal verification
- service oriented
- qos aware
- service oriented computing
- goal driven
- service selection
- web services composition
- asynchronous circuits
- ai planning
- formal methods
- high level
- composition of web services
- asynchronous communication
- semantic web service composition
- ws bpel
- semantic modeling
- service integration
- model checking
- real time
- grid services
- web service selection
- composite web services
- service discovery
- web service compositions
- service compositions
- service description
- service oriented architecture