一组编制模式下组合Web服务模型的约简规则与算法

杨怀洲 1; 2; 李增智 1

您当前的位置：

首页 >

文章列表页 >

一组编制模式下组合Web服务模型的约简规则与算法

更新时间：2025-05-08

- 一组编制模式下组合Web服务模型的约简规则与算法
- A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern
- 西安交通大学学报 2009年43卷第6期页码：20-23+47
- 作者机构：
  
  1. 西安交通大学计算机系统结构与网络研究所,西安,710049
  2. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
- 作者简介：
- 基金信息：
  
  : 2008-09-17. 作者简介: 杨怀洲(1970-),男,博士生;李增智(联系人),男,教授,博士生导师. 基金项目: 国家自然科学基金资助项目(60673170);北京邮电大学网络与交换技术国家重点实验室资助项目
- DOI：
  中图分类号： TP311
- 网络首发：2009-06-10，
  
  纸质出版：2009
- 稿件说明：
移动端阅览
杨怀洲 1, 2, 李增智 1. 一组编制模式下组合Web服务模型的约简规则与算法[J]. 西安交通大学学报, 2009,43(6):20-23+47.

A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern[J]. 2009, 43(6): 20-23+47.
杨怀洲 1, 2, 李增智 1. 一组编制模式下组合Web服务模型的约简规则与算法[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.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种等价类区分的多属性评价指标约简算法

广义随机Petri网下的组合Web服务建模与评价

主动型过电压保护间隙场击穿触发回路的暂态特性研究

离子液体改性燃料的电流体动力学效应研究

三塔合一间接空冷系统结构参数对夏季运行特性的影响研究