[综述阅读] A Survey of Automated Web Service Compositon Methods

1．Web服务组合的复杂性源自几个原因：

1）可选Web服务的数量急剧增加，需从海量服务库中搜索；

2）Web服务随信息的变化而动态更新；

3）不同组织使用不同的概念描述Web服务，需用一个统一的方法来定义和评估Web服务。

2．自动化的含义：

1）自动产生process model；

2）给出一个abstract process model，可以得到合适的服务。

3．Web Services Composition 框架 (包含6个阶段)

service presentation, translation, process generation, evaluation & execution.

4. Web服务组合的自动化集中在procession generation (本文核心内容)

1）使用Workflow:

l E-flow: 组合服务由graph进行建模，graph定义了process中结点的执行顺序；

l PPM: 一个服务由state machine进行建模。

2) 使用AI Planning:

l Situation Calculus

l PDDL

l Rule-based Planning

l Other AI planning methods

l Theorem Proving