基于GSPN的Web服务组合建模与评价

如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。

Modeling and Evaluation of Web Service Composition Based on GSPN

The problem of how to model,validate and evaluate the WS-BPEL language using GSPN,and then analyze the reliability and performance of composite web service has always been a difficult and hot research field.Firstly,the mapping rules and translation method from WS-BPEL business process to GSPN are given.The analysis of reachability and invariant of the GSPN model are used to verify the correctness of the process model.Furthermore,a markov chain which is isomorphic to the GSPN model is constructed to analyze ...