A Formal Model for Channel Passing in Web Service Composition.
Chao CaiHongli YangXiangpeng ZhaoZongyan QiuPublished in: IEEE SCC (2) (2008)
Keyphrases
- formal model
- web service composition
- service composition
- web services
- petri net
- ai planning
- web services composition
- description language
- discrete particle swarm optimization
- automated web service composition
- service selection
- semantic matching
- composition of web services
- web service selection
- security properties
- security patterns
- web service compositions
- end to end
- case study
- artificial intelligence