Pattern Based Property Specification and Verification for Service Composition.
Jian YuTan Phan ManhJun HanYan JinYanbo HanJianwu WangPublished in: WISE (2006)
Keyphrases
- service composition
- petri net model
- web service composition
- formal verification
- petri net
- qos aware
- asynchronous circuits
- web services
- ai planning
- service oriented
- web services composition
- service oriented computing
- formal methods
- goal driven
- model checking
- composition of web services
- protocol specification
- service selection
- asynchronous communication
- high level
- ws bpel
- web service selection
- formal specification
- service integration
- business requirements
- discrete particle swarm optimization
- composite services
- web service compositions
- semantic web service composition
- semantic modeling