首页|期刊导航|计算机工程与应用|Web服务组合形式化验证方法研究

Web服务组合形式化验证方法研究

曹利培孔娟刘静

计算机工程与应用2009，Vol.45Issue(25)：48-51,70,5.

计算机工程与应用2009，Vol.45Issue(25)：48-51,70,5.DOI:10.3778/j.issn.1002-8331.2009.25.015

Web服务组合形式化验证方法研究

Authentication method of Web service combination formalization based on petri net

曹利培 ¹孔娟 ¹刘静²

作者信息

1. 安阳工学院,计算机科学与信息工程系,河南,安阳,455000
2. 华东师范大学,软件学院,计算机理论研究所,上海,200062
折叠

摘要

关键词

Petri网/关联矩阵/转移矩阵/可信度

分类

信息技术与安全科学

引用本文复制引用

曹利培,孔娟,刘静..Web服务组合形式化验证方法研究[J].计算机工程与应用,2009,45(25):48-51,70,5.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.60373032). （the National Natural Science Foundation of China under Grant No.60373032）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航