A model-driven approach to predicting dependability of WS-CDL based service composition

Concurrency and Computation: Practice and Experience

Volumn 23, Issue 10, 2011, Pages 1127-1145

  Xia, Yunni ^a   Dai, Gang ^a   Li, Jia ^a   Sun, Tianhao ^a   Zhu, Qingsheng ^a  

^a CHONGQING UNIVERSITY   (China)

Author keywords

confidence interval analysis; dependability; generalized stochastic Petri net; WS CDL

Indexed keywords

FORECASTING; PETRI NETS; QUALITY OF SERVICE; RANDOM ACCESS STORAGE; STOCHASTIC SYSTEMS;

CALCULATION ALGORITHMS; COMPLETION PROBABILITY; CONFIDENCE INTERVAL ANALYSIS; DEPENDABILITY; GENERALIZED STOCHASTIC PETRI NETS; MODEL DRIVEN APPROACH; PEER-TO-PEER COLLABORATION; WEB SERVICE CHOREOGRAPHY;

WEB SERVICES;

EID: 79958163669     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1692     Document Type: Article

References (22)

1. Casati F, Shan M-C,. Dynamic and adaptive composition of e-services. Information Systems 2001; 26 (3): 143-162.
2. Web Services Flow Language (WSFL), Version 1.0. Available at: http://xml.coverpages.org/WSFL-Guide-200110.pdf [April 2001 ].
3. XLANG. Web Services for Business Process Design. Available at: [March 2001 ].
4. Web Services Business Process Execution Language, Version 2.0. Available at:http://docs.oasisopen.org/wsbpel/2.0/wsbpel-v2.0.html[April 2007 ].
5. Web Services Choreography Description Language, Version 1.0. Available at: http://www.w3.org/TR/ws-cdl-10/ [November 2005 ].
6. Web Service Choreography Interface, Version 1.0. Available at: [August 2002 ].
7. Milner R, Parrow J, Walker D,. A calculus of mobile processes, part I and II. Information and Computation 1992; 100 (1): 1-40.
8. Cardoso J, Sheth AP, Miller JA, Arnold J, Kochut K,. Quality of service for workflows and web service processes. Journal of Web Semantics 2004; 1 (3): 281-308. (Pubitemid 43231671)
9. Valero V, Emilia Cambronero M, Daz G, Maci H,. A Petri net approach for the design and analysis of Web Services Choreographies. The Journal of Logic and Algebraic Programming 2009; 78 (5): 359-380.
10. Zhou L, Zhang H, Wang T, Yang C, Wang Z, Sun M, Pu G,. Static check of WS-CDL documents. Proceedings of the SOSE, Jhongli, Taiwan, December 2008; 142-147.
11. Pu G, Zhao Y, Wang Z, Feng L, Zhu H, He J,. A denotational model for web services choreography. Proceedings of the ICDCIT, New Delhi, India, July 2008; 1-12.
12. Daz G, Pardo JJ, Cambronero ME, Valero V, Cuartero F,. Automatic translation of WS-CDL choreographies to timed automata. Proceedings of the EPEW/WS-FM, Versailles, France, September 2005; 230-242.
13. Daz G, Cambronero M-E, Pardo JJ, Valero V, Cuartero F,. Automatic generation of correct web services choreographies and orchestrations with model checking techniques. Proceedings of the AICT, February 2006; 186-196.
14. Liu Y, Wang X, Xia Y, Sun T,. Modeling and reliability prediction of WS-CDL based service composition, a Petri-net-based approach. Proceedings of the SOSE, Nanjing, China, June 2010; 280-285.
15. Welcome to the WS-CDL + Execution Engine Project, Version 0.1.1. Available at: http://wscomposition.seu.edu.cn/index.html [January 2008].
16. Balbo G,. Introduction to generalized stochastic Petri nets. Proceedings of the SFM, Bertinoro, Italy, May 2007; 83-131. (Pubitemid 47290137)
17. Haddad S, Moreaux P, Sereno M, Silva M,. Product-form and stochastic Petri nets: A structural approach. Performance Evaluation 2005; 59 (4): 313-336. (Pubitemid 40415199)
18. Tobias P, Trindade D,. Applied Reliability (2nd edn). Kluwer: Dordrecht, 1995.
19. Trivedi K,. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Wiley: West Sussex, England, 2001.
20. Ireson W, Coombs C, Moss R.,. Handbook of Reliability Engineering and Management. McGraw-Hill: New York, 1996.
21. Musa JD,. Software Reliability Engineering. More Reliable Software, Faster Development and Testing. McGraw-Hill: New York, 1999.
22. Kang Z, Wang H, Hung PCK,. WS-CDL +: WS-CDL + for web service collaboration. Information System Frontiers 2007; 9 (4): 375-389.