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