Computer Science ›› 2014, Vol. 41 ›› Issue (7): 52-57.doi: 10.11896/j.issn.1002-137X.2014.07.010
Previous Articles Next Articles
XU Jia-jun and YAO Shu-zhen
| [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! |
|
||
Home