服务组合笔记

一  过程驱动
基于工作流的WSC 一般半自动实现

  由于参与组合的任一服务不可用都会导致整个组合方案崩溃，因此研究如何克服动态环境的影响，在基于工作流的WSC方法中十分重要，现有的方法是尽可能保证生成的服务组合方案有效。 CAFISE

基于状态演算的WSC

  建立WSC形式化描述和服务状态模型图，本质上仍然是基于工作流，只不过它侧重于WSC的形式化建模，主要的目的在于验证WSC方案的有效性和可执行性。


基于进程代数

   Pi演算


二 语义驱动
强调WS的自描述，希望通过WS的描述和服务请求添加的语义信息，使WSC的方案能够通过推理自动生成，

I O P条件输入 E输出影响

OWL-S

WSDL 需要添加P E 和QoS语义才能被WSC所用