计算机科学 ›› 2015, Vol. 42 ›› Issue (9): 107-117.doi: 10.11896/j.issn.1002-137X.2015.09.022
沈华,何炎祥,张明武
SHEN Hua, HE Yan-xiang and ZHANG Ming-wu
摘要: 在满足功能需求的前提下,组合服务的性能是赢得用户的关键,如何发现和消除性能瓶颈则是服务组合面临的重大挑战。面对这个挑战,提出一种基于服务组合模型结构特征的性能瓶颈分析方案。为了确保方案的可行性和有效性,除了对方案技术路线的可行性进行论证,还指出了实现方案需要解决的关键基本问题,即找出服务组合模型的最小结构完备集。提出一种基于随机Petri网的Web服务组合性能分析模型,并给出此模型最小结构完备集的求解和证明过程。最后,通过 一个应用实例说明了方案的有效性。
[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! |
|