期刊文章详细信息
文献类型:期刊文章
机构地区:[1]南京航空航天大学计算机应用研究所,江苏南京210016
年 份:2003
卷 号:23
期 号:12
起止页码:55-57
语 种:中文
收录情况:AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要:Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法,并给出了Petri模型中基本路由的BPEL4WS描述。
关 键 词:Web服务流程 PETRI网 建模
分 类 号:TP393.09]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...