计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 52-57.doi: 10.11896/j.issn.1002-137X.2014.07.010
许家俊,姚淑珍
XU Jia-jun and YAO Shu-zhen
摘要: 服务的可靠性研究成为一个研究热点。首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网定义,建立基于服务组合Petri网的模型可靠性评估方法,包含结构关联的可靠性计算方法和交互关联模型可靠性化简和计算方法;最后给出旅游服务系统案例分析,说明了方法的可用性和合理性。
[1] Hull R,Su J W.Tools for composite Web services:a short over-view[J].SIGMOD Rec,2005,34:86-95 [2] Fan W,Geerts F,Gelade W,et al.Complexity and composition of synthesized web services[C]∥Lenzerini M,Lembothe D,eds.Proceedings of 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems.Vancouver BC:ACM,2008:231-240 [3] 邓婷,怀进鹏,沃天宇.正确性保证的组合服务综合问题复杂度研究[J].中国科学:信息科学,2012,42:789-802 [4] Salaun G,Bultan T,Roohi N.Realizability of Choreographies Using Process Algebra Encodings[J].IEEE Transactions on Ser-vices Computing,2012,5(2):290-304 [5] Wang Li-jun,Bai Xiao-ying,Zhou Li-zhu,et al.A HierarchicalReliability Model of Service-Based Software System[C]∥33rd Annual IEEE International Computer Software and Applications Conference.COMPSAC’ 09.2009:199-208 [6] Lei Li-hui,Duan Zhen-hua.Automating web service composition for collaborative business processes[C]∥11th International Conference on Computer Supported Cooperative Work in Design.2007:894-899 [7] 廖军,谭浩,等.基于Pi演算的Web服务组合的描述和验证口[J].计算机学报,2005,28(4):635-643 [8] 杨璐,柳溪,等.面向基于场景规约的Web服务消息流分析与验证[J].计算机学报,2009,32(9):1759-1772 [9] 张广胜,蒋昌俊,等.基于模糊Petri网的服务发现框架研究[J].计算机研究与发展,2006,43(11):1886-1894 [10] 门鹏,段振华.着色Petri网模型检测工具的扩展及其在Web服务组合中的应用[J].计算机研究与发展,2009,6(8):1294—1303 [11] 朱俊,郭长国,等.一种基于CPN的运行时监控服务交互行为的方法[J].计算机研究与发展,2011,48(12):2277-2289 [12] Su Jin-dian,Yu Shan-shan,Guo He-qing.Formal description and verification of Web service composition based on OOPN[C]∥Advanced Intelligent Computing Theories and Applications,Proceedings:with Aspects of Theoretical and Methodological Issues.2008:644-652 [13] Hinz S,Schmidt K,Stahl C.Transforming BPEL to Petrinets[C]∥Proc of the 3rd Int Conf on Business Process Management(BPM’05).Piscataway,NJ,IEEE,2005:220-235 [14] Ouyang C,Verhaek E,van der Aalst W,et a1.Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming,2007,67(2-5):162-198 [15] Lohmann N,Massuthe P,et a1.Analyzing interacting WS-BPEL processes using flexible model generation[J].Data & Knowledge Engineering,2008,64(1):38-54 [16] Gokhale S S.Architecture-based software reliability analysis:overview and limitations[J].IEEE Transactions on Dependable and Secure Computing,2007,4(1):32-40 [17] 钱中柱,陆桑璐,等.基于Petri网的Web服务自动组合研究[J].计算机学报,2006,29:1057-1066 [18] Bernardi S,Bobbio A,Donatelli S.Petri Nets and Dependability.Lectures on Concurrency and Petri Nets[C]∥Lecture Notes in Computer Science.2004:125-179 |
No related articles found! |
|