Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net

门鹏; 段振华

您当前的位置：

首页 >

文章列表页 >

Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net

更新时间：2025-12-08

- Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net
- Vol. 42, Issue 8, Pages: 967-971(2008)
- 作者机构：
  
  西安电子科技大学计算机学院,西安,710071
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP391
- Online First：10 August 2008，
  
  Published：2008
- 稿件说明：
移动端阅览
门鹏, 段振华. Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net[J]. 2008, 42(8): 967-971.
DOI：

门鹏, 段振华. Modeling and Evaluation of Composite Web Services Based on Generalized Stochastic Petri Net[J]. 2008, 42(8): 967-971. DOI：

摘要

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性

确保组合服务具有较高的系统性能

提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法

然后针对得到的GSPN模型

采用S_不变量、T_不变量

通过可达性等分析方法验证OWL-S过程模型的正确性

最后构造与GSPN同构的马尔可夫链

并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明

所建模型是正确、可靠的

并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.

Abstract

To ensure the correctness of composite Web services described by semantic Web services markup language(OWL-S)

and to guarantee the high performance of the composite Web services

a generalized stochastic Petri net based method is proposed for modeling

verification and evaluation of the OWL-S process models. The transforming rules from OWL-S process models to generalized stochastic Petri net(GSPN)are given. The analysis of S_ invariant

T_ invariant and reachability of the Petri net are used to verify the soundness of the process models. Moreover

Markov chains of the models are constructed. Performances of the processes are analyzed in terms of steady state probability distribution of generalized stochastic Petri net. It is verified mathematically that the models are correct and reliable. Also the bottlenecks of composite Web services is found. It is believed that the method will support to the reconstruction

optimization and decision-making of the composite Web services.

关键词

Keywords

references

MARTIN D, BURSTEIN M, NARAYANA S, et al. OWL-S1.1 release [EB/OL]. [2007-11-01]. http:∥www.daml.org./services/owl-s/1.1/.

NARAYANA S, MCLLRAITH S A. Simulation, verification and automated composition of web services [C]∥Proceedings of the 11th International World Wide Web Conference. New York,USA:ACM,2002:77-88

ANKOLEKAR A, PAOLUCCI M, SYCARA K. Towards a formal verification of OWL-S process models[C]∥Proceedings of the 4th International Semantic Web Conference. Heidelberg, Germany:Springer-Verlag,2005:37-51.

林闯. 随机Petri网和系统性能评价 [M]. 北京: 清华大学出版社, 2005.

谢文祥, 薛钧义. 状态转移服从指数分布控制系统的SPN可靠性分析 [J]. 西安交通大学学报, 1999, 33(2):11-18.

XIE Wenxiang, XUE Junyi. Stochastic Petri nets applied to reliability of control system with exponential distribution [J]. Journal of Xi'an Jiaotong University, 1999, 33(2):11-18.

ZURAWSKI R, ZHOU Mengchu. Petri nets and industrial application: a tutorial [J]. IEEE Transactions on Industrial Electronics,1994, 41(2):567-583.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern

Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic

Breakdown on Interconnect System of Printed Circuit Board under Square Wave Pulse

Error Bound for Joint Detection and Estimation for Extended Target

Electrothermal Coupling Research on the Evolutionary Law of Anti-Corona Performance for High-Altitude Air-Cooled Generators

Related Author

杨怀洲 1

李增智 1

雷丽晖

段振华

孟国栋

成永红

酉小广

Related Institution

西安交通大学计算机系统结构与网络研究所

北京邮电大学网络与交换技术国家重点实验室

Institute of Computing Theory and Technology, Xidian University

State Key Laboratory of Electrical Insulation and Power Equipment, Xi'an Jiaotong University

Ministry of Education Key Laboratory for Intelligent Networks and Network Security, Xi'an Jiaotong University

⁰