基于Petri网的WSCI形式化模型分析

• 作者: 王捍贫 胡文蕙 高昕 黄雨
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: WSCI Petri Nets Web服务组合
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 软件工程
• 页码范围: 60-63,158
• 页数: 5页
• 分类号: TP393
• 字数: 5669字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.10.018

摘要

WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署.本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法.该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型.本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王捍贫	北京大学信息科学技术学院	14	23	3.0	4.0
2	高昕	北京大学软件工程国家工程研究中心	2	6	1.0	2.0
3	黄雨		2	6	1.0	2.0