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

作     者：黄雨 胡文蕙 高昕 王捍贫 HUANG Yu;HU Wen-hui;GAO Xin;WANG Han-pin

作者机构：教育部高可信软件技术重点实验室北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院北京100871 

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

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2009年第31卷第10期

页      码：60-63,158页

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

主 题 词：WSCI Petri Nets Web服务组合 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2009.10.018

馆 藏 号：203179374...