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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-05-08

- A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern
- Vol. 43, Issue 6, Pages: 20-23+47(2009)
- 作者机构：
  
  1. 西安交通大学计算机系统结构与网络研究所,西安,710049
  2. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Online First：10 June 2009，
  
  Published：2009
- 稿件说明：
移动端阅览
A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern[J]. 2009, 43(6): 20-23+47.
DOI：

A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern[J]. 2009, 43(6): 20-23+47. DOI：

摘要

为了解决Web服务组合过程中状态空间庞大而导致性能求解的效率难以满足实时性要求的问题

提出了一种过程约简算法.在利用广义随机Petri网进行过程建模后

保留系统时间性能特征

通过对可约简子网的自动探察

剔除部分规则结构(序列、选择、并行、循环)

孤立出可单独求解的子结构

由此在比较满意的时间内完成大规模模型约简.多种模型规模下的实验性能表明

所提算法可在动态服务组合与组合过程中自适应、快速地获得系统响应时间和吞吐量等性能指标

适用于多数服务组合过程的在线响应时间分析.

Abstract

The performance calculation of Web services composition process in large state space is time-consuming

and is difficult to fulfill the real-time performance analysis.Therefore

a process reduction algorithm is presented to accelerate the calculation of system performance. The Web services composition process is modeled using the generalized stochastic Petri net. Through auto-detecting the reductive subnet

some regular structures

such as sequence

choice

concurrent and loop structures

can be eliminated under the precondition of preserving the timing constraints. The sub processes which can be calculated independently are separated. A large scale model can thus be reduced within a certain period. Experimental results with multiform models indicate that the system response time and throughput are obtained rapidly by using the algorithm in the dynamic and adaptive composition process. The algorithm can be applied to online performance analysis of most Web services composition process.

关键词

Keywords

references

雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法[J].软件学报,2007,18(12): 2980-2990.

LEI Lihui, DUAN Zhenhua. An extended deterministic finite automata based method for the verification of composite Web services[J]. Journal of Software, 2007, 18(12): 2980-2990.

门鹏, 段振华. 广义随机Petri网下的组合Web服务建模与评价[J].西安交通大学学报,2008,42(8): 967-971.

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): 967-971.

郭玉彬,杜玉越,奚建清.Web服务组合的有色网模型及运算性质[J].计算机学报,2006,29(7):1067-1075.

GUO Yubin, DU Yuyue, XI Jianqing. A CP-net model and operation properties for Web service composition[J]. Chinese Journal of Computers, 2006,29(7): 1067-1075.

ZERGUINI L. Analysis of large workflow models [C]∥Proceedings of 2002 IEEE International Conference on Systems, Man and Cybernetics. Los Alemitos, CA, USA: IEEE Computer Society,2002: 188-194.

田立勤,林闯,周文江. 随机Petri网模型中变迁的串、并联性能等价化简技术[J]. 电子学报, 2002,30(8):1134-1137.

TIAN Liqin, LIN Chuang, ZHOU Wenjiang. Performance-equivalent simplification of sequence models and parallel models in stochastic Petri nets [J]. Journal of Electronics, 2002,30(8): 1134-1137.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Eliminating the Correlation of Multi-Attribute Evaluation Based on Equivalence Class Partition

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

Transient Characteristics of Field-Breakdown Trigger Circuit for Active Surge Protection Gap

Bi-Level Multi-Obj ective Optimization of a Wind-Solar Coupled Hydrogen Production System Based on the Synergy of Hybrid Electrolyzer Arrays

Diffusion Characteristics and Influencing Factors in Case of Hydrogen Leakage from Fuel Cell Vehicles Running in Tunnels

Related Author

朱海萍 1

王云岚 2

李增智 1

门鹏

段振华

王晨光

姚学玲

林海

Related Institution

Institute of Computer Architecture and Networks, Xi'an Jiaotong University

School of Computer, Xidian University

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

⁰