Abstract: Based on the application level in the service composition evolution,the evolution type was decided from three dimensions of single state node,single service and service composition by using open-bisimulation theory,and the respective decision rules was also given.The evolution type decision of single state node could confirm whether the external behavior of the node had changed,the single service could obtain the changes of the state nodes on quantity and logic relationship during the service business process and the evolution type of service composition could clear the changes of the global business process.Through the case study of the business process evolution type of a larger-granularity Web service composition oriented to manufacturing service,the effectiveness of the proposed method was proved.

Key words: Web service composition, service choreography, business process, evolution type, decision method

摘要： 根据演化类型在服务组合演化中的应用层次,运用互模拟理论,从单个状态节点、单个服务和服务组合三个层面判定演化类型,并给出各自的判定规则。单个状态节点演化类型的判定可以明确节点的外部行为是否发生变化;单个服务演化类型的判定可以得出服务的内部业务流程中状态节点在数量和逻辑关系上的变化情况;服务组合演化类型可以明确全局业务流程的变化。通过一个面向制造服务的大粒度Web服务组合业务流程演化类型判定的实例,说明了规则的应用及有效性。

关键词: Web服务组合, 服务编排, 业务流程, 演化类型, 判定方法