| 广义随机Petri网下的组合Web服务建模与评价 |
| |
| 引用本文： | 门鹏,段振华. 广义随机Petri网下的组合Web服务建模与评价[J]. 西安交通大学学报, 2008, 42(8) |
| |
| 作者姓名： | 门鹏 段振华 |
| |
| 作者单位： | 西安电子科技大学计算机学院,710071,西安 |
| |
| 摘 要： | ![]()
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.
|
| 关 键 词： | 语义Web服务标记语言 广义随机Petri网 组合Web服务 性能评价 形式化验证 |
Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net |
| |
| MEN Peng,DUAN Zhenhua. Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net[J]. Journal of Xi'an Jiaotong University, 2008, 42(8) |
| |
| Authors: | MEN Peng DUAN Zhenhua |
| |
| Abstract: | ![]()
|
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
