计算机科学 ›› 2015, Vol. 42 ›› Issue (9): 107-117.doi: 10.11896/j.issn.1002-137X.2015.09.022

• 信息安全 • 上一篇    下一篇

基于服务组合模型结构特征的性能瓶颈定位方案

沈华,何炎祥,张明武   

  1. 湖北工业大学计算机学院 武汉430068,武汉大学计算机学院 武汉430072,湖北工业大学计算机学院 武汉430068
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金项目(61272404,4),湖北省自然科学基金重点项目(2013CFA046)资助

Performance Bottlenecks Location Scheme Based on Structural Features of Service Composition Model

SHEN Hua, HE Yan-xiang and ZHANG Ming-wu   

  • Online:2018-11-14 Published:2018-11-14

摘要: 在满足功能需求的前提下,组合服务的性能是赢得用户的关键,如何发现和消除性能瓶颈则是服务组合面临的重大挑战。面对这个挑战,提出一种基于服务组合模型结构特征的性能瓶颈分析方案。为了确保方案的可行性和有效性,除了对方案技术路线的可行性进行论证,还指出了实现方案需要解决的关键基本问题,即找出服务组合模型的最小结构完备集。提出一种基于随机Petri网的Web服务组合性能分析模型,并给出此模型最小结构完备集的求解和证明过程。最后,通过 一个应用实例说明了方案的有效性。

关键词: 服务组合,性能评价,性能瓶颈,随机Petri网

Abstract: The key of achieving the preference of customers is the performance of Web services composition in terms of satisfying capability requirements.How to identify and eliminate the performance bottlenecks of Web services composition is still a challenging research issue.Faced with this challenge,this paper proposed a performance bottleneck analysis scheme based on structural features of the services composition model.In order to ensure the viability and effectiveness of the scheme,the viability of the scheme’s technical route was proved.And the key fundamental problem needed to be solved is to find the smallest structural complete set of services composition model.Based on stochastic Petri net,this paper proposed a performance analysis model of Web services composition and introduced the methods for solving and proving the smallest structural complete set.Finally,the effectiveness of the scheme was illustrated by an application example of the scheme.

Key words: Services composition,Performance evaluation,Performance bottlenecks,Stochastic Petri net

[1] Dustdar S,Schreiner W.A survey on web services composition [J].International Journal of Web and Grid Services,2005,1(1):1-30
[2] Ferrara A.Web services:a process algebra approach [C]∥Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC04).New York,USA,2004
[3] Armbrust M,Fox A,Griffith R,et al.Abovethe clouds:a Berkeley view of cloud computing:UCB/EECS-2009-28[R].EECS Department,University of California,Berkeley UCB/EECS,2009
[4] Boss G,Malladi P,Quan D,et al.Cloudcomputing.IBM White Paper [EB/OL].http://download.boulder.ibm.com/imdl/pub/software/dw/wes/hipods/Cloud_compcompu_wp_final_8Oct.pdf,2007
[5] 陈康,郑纬民.云计算:系统实例与研究现状[J].软件学报,2009,20(5):1337-1348 Chen Kang,Zheng Wei-Min.Cloud Computing:System Instances and Current Research [J].Journal of Software,2009,20(5):1337-1348
[6] Hwang K,Fox G C,Dongarra J J.Distributed and Cloud Computing [M].Morgan Kaufmann,2012
[7] 林闯,苏文博,孟坤,等.云计算安全:架构、机制与模型评价[J].计算机学报,2013,36(9):1765-1784 Lin Chuang,Su Wen-bo,Meng Kun,et al.Cloud Computing Security:Architecture,Mechanism and Modeling [J].Chinese Journal of Computer,2013,36(9):1765-1784
[8] 陶飞,张霖,郭华,等.云制造特征及云服务组合关键问题研究[J].计算机基础制造系统,2011,17(3):477-486 Tao Fei,Zhang Lin,Guo Hua,et al.Typical Characteristics of Cloud Manufacturing and Several Key Issues of Cloud Service Composition [J].Computer Integrated Manufacturing Systems,2011,17(3):477-486
[9] 李伯虎,张霖,王时龙,等.云制造—面向服务的网络化制造新模式[J].计算机集成制造系统,2010,16(1):1-7,16Li Bo-hu,Zhang Lin,Wang Shi-long,et al.Cloud Manufactu-ring:a New Service-oriented Networked Manufacturing Model [J].Computer Integrated Manufacturing Systems,2010,16(1):1-7,16
[10] 李伯虎,张霖,任磊,等.再论云制造 [J].计算机集成制造系统,2011,17(3):449-457 Li Bo-hu,Zhang Lin,Ren Lei,et al.Further Discussion on Cloud Manufacturing [J].Computer Integrated Manufacturing Systems,2011,17(3):449-457
[11] Herzog U.Formal Methods for Performance Evaluation [C]∥European Educational Forum:School on Formal Methods and Performance Analysis 2000.2001: 1-37
[12] 雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法[J].软件学报,2007,18(12):2980-2990 Lei Li-hui,Duan Zhen-hua.An Extended Deterministic Finite Automata Based Method for the Verification of Composite Web Services[J].Journal of Software,2007,18(12):2980-2990
[13] 廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643 Liao Jun,Tan Hao,Liu Jin-de.Describing and Verifying Web Service Using Pi-calculus [J].Chinese Journal of Computers,2005,28(4):635-643
[14] 肖芳雄,黄志球,曹子宁,等.Web服务组合功能与QoS的形式化统一建模和分析[J].软件学报,2011,22(11):2698-2715 Xiao Fang-xiong,Huang Zhi-qiu,Cao Zi-ning,et al.Unified Formal Modeling and Analyzing Both Functionality and QoS of Web Services Composition [J].Journal of Software,2011,22(11):2698-2715
[15] 林闯,魏丫丫.随机进程代数与随机Petri网[J].软件学报,2002,13(2):203-213 Lin Chuang,Wei Ya-ya.Stochastic Process Algebras and Stochastic Petri Nets [J].Journal of Software,2002,13(2):203-213
[16] Lin Chuang,Li Ya-juan,Wang Zhong-min.Status and Development of Formal Methods for Performance Evaluation [J].Acta Electronica Sinica,2002,30(12A):1918-1922
[17] 顾军,罗军舟,曹玖新,等.基于排队Petri网的服务系统性能建模与分析方法[J].计算机学报,2011,34(12):2435-2455 Gu Jun,Luo Jun-zhou,Cao Jiu-xin,et al.Performance Modeling and Analysis of Service Systems Using Queuing Petri Nets [J].Chinese Journal of Computers,2011,34(12):2435-2455
[18] 许家俊,姚淑珍.基于Petri网的服务可靠性评价方法研究[J].计算机科学,2014,41(7):52-57 Xu Jia-jun,Yao Shu-zhen.Petri Nets Based Reliability Evaluation of Service [J].Computer Science,2014,41(7):52-57
[19] 郭玉彬,杜玉越,奚建清.Web服务组合的有色网模型及运算性质[J].计算机学报,2006,29(7):1067-1075Guo Yu-bin,Du Yu-yue,Xi Jian-qing.A CP-Net Model andOperation Properties for Web Service Composition [J].Chinese Journal of Computers,2006,29(7):1067-1075
[20] Narayanan S,McIlraith S A.Simulation,Verification and Automated Composition of Web Services [C]∥Proceedings of the eleventh international conference on World Wide Web (WWW 2002).New York:ACM Press,2002:77-88
[21] 钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究[J].计算机学报,2006,29(7):1057-1066 Qian Zhu-zhong,Lu Sang-lu,Xie Li.Automatic Composition of Petri Net Based Web Services [J].Chinese Journal of Computers,2006,29(7):1057-1066
[22] Song H G,Lee K.sPAC (Web Services Performance Analysis Center):Performance Analysis and Estimation Tool of Web Services [C]∥Proc.of the 3rd International Conf.on Business Process Management(BPM 2005).LNCS 3649,Berlin,Heidelberg:Springer-Verlag,2005:109-119
[23] 林闯.随机Petri网和系统性能评价(第2版)[M].北京:清华大学出版社,2005 Lin Chuang.Stochastic petri net and performance evaluation of system(2nd Edit)[M].Beijing:TstingHua University Press,2005
[24] 何炎祥,沈华.一种基于随机Petri网的Web服务组合性能瓶颈定位策略[J].计算机学报,2013,36(10):1953-1966 He Yan-xiang,Shen Hua.A Stochastic Petri Net-Based Performance Bottleneck Location Strategy for Web Services Composition [J].Chinese Journal of Computers,2013,36(10):1953-1966

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!