摘要
如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与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 diffi- cult and hot research field. Firstly, the mapping rules and translation method from WS - BPEL business process to GSPN are given. The analysis of teachability 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 system performance. Finally ,the accuracy and validity of the model are evalua- ted using an example.
出处
《微处理机》
2011年第5期26-29,34,共5页
Microprocessors
