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

WSCI Formal Model Analysis Based on Petri Nets

作　　者：黄雨[1,2,3] 胡文蕙[1,2,3] 高昕[1,2,3] 王捍贫[1,2,3] 

机构地区：[1]教育部高可信软件技术重点实验室,北京100871 [2]北京大学软件工程国家工程研究中心,北京100871 [3]北京大学信息科学技术学院,北京100871

出　　处：《计算机工程与科学》2009年第10期60-63,158,共5页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60803014;60803061);国家863计划资助项目(2006AA01Z160);国家973计划资助项目(2009CB320701);教育部博士点基金资助项目(200800011017)

摘　　要：WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。WSCI is a choreography language that describes the composition of Web services. For business processes, any design fault will lead to a huge loss. Therefore, for the sake of correct deployment of business processes, it is necessary to formalize WSCI and analyze its model. This paper proposes an analytical method of WSCI： firstly we introduce the formal model, secondly present the important concept of net fusion in order to get an integrated model, and finally use the reachability graph to analyze WSCI with exception handling.

关 键 词：WSCI PETRI NETS WEB服务组合 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]