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

• 作者: 朱怡安 迟文明
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: Web服务 业务流程执行语言 广义随机Petri网 组合Web服务 性能评价
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 微机网络与通信
• 页码范围: 26-29,34
• 分类号: TP311
• 字数: 3475字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2011.05.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱怡安	西北工业大学计算机学院	92	538	10.0	19.0
2	迟文明	西北工业大学计算机学院	3	8	1.0	2.0