摘要： 现有针对服务选择和组合的论文, 大多数将WS视为基本单元, 事实上一个WS可以包含多个opeartions, 并且对这些operations的调用是有限制的. 为了表达出这种约束, 本文采用了FSM作为建模工具(使用FSM对WS进行建模不是作者首创, 之前也有相关论文). 对于每一个WS, 都有一个FSM(S3.1), 这个FSM的动作集是该WS的operations, 并定义了相应的状态集(包括初始和终结状态), 如果使用一个WS, 要求该服务最终处于终结状态. 阅读全文