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

摘要：

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

关键词： Web服务组合 标记语言 业务流程 网融合 Petri网

作者: 黄雨 胡文蕙 高昕 王捍贫

作者单位: 教育部高可信软件技术重点实验室,北京,100871 100871,北京市北京大学理科1号楼1730 北京大学软件工程国家工程研究中心,北京,100871 北京大学信息科学技术学院,北京,100871

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 60-63,158

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）