服务组合笔记


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

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

基于状态演算的WSC

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


基于进程代数

   Pi演算


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

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

OWL-S

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





你可能感兴趣的:(工作)