Web服务组合中业务流程演化影响范围判定方法

Decision method for affected scope of business process evolution in Web service composition

针对组合业务流程中各参与演化的服务对彼此内部业务流程不可知的特点,依据互模拟理论,以服务在演化前后内部业务流程的变化特点判定演化类型;通过判定内部业务流程中受影响状态节点的前驱状态集或后继状态集的归属服务来确定受波及的服务;通过计算服务内部业务流程演化影响范围的边界得出单个服务的受影响范围,进而得出服务组合中业务流程演化的影响范围。针对以上问题,给出了其判定规则和算法,使得演化仅在受波及区域内发生,并且所有受影响的状态节点都可能参与演化。

Aiming at the unknowable characteristic for each other＇s internal business processes of the services involved in the evolution,the types of evolution were decided based on the service changes in the internal business processes before and after the evolution according to open-bisimulation theory.By judging the attachment services at the precursor states sets or the subsequent states sets of the affected state nodes in the internal business process,the involved services was decided.By calculating the boundary of business process evolution＇s effect in internal services,the evolved scope of each service was decided,and the affected scope of business process evolution in service composition was further obtained.For the above questions,the decision rules and algorithms were given to ensure that the evolution was taken place only in the affected area and all the state nodes affected were evolved.