A petri net based approach for reliability prediction of Web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4277 LNCS - I, Issue , 2006, Pages 116-125

  Zhong, Duhang ^a   Qi, Zhichang ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; RELIABILITY; WORLD WIDE WEB;

RELIABILITY PREDICTION; STOCHASTIC PETRI NETS (SPN); WEB SERVICE COMPOSITION; WEB SERVICES;

INFORMATION SERVICES;

EID: 33845407032     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11915034_34     Document Type: Conference Paper

References (23)

1. http://www.w3.org/TR/wsdl
2. F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi, and S. Weerawarana. "Unraveling the web services web: An introduction to SOAP, WSDL, and UDDI", IEEE Internet Computing, 6(2):86-93, March 2002.
3. http://www128.ibm.com/developerworks/library/ws-bpel/
4. BPML.org.Business process modeling language, www.bpmi.org, 2002.
5. BEA,IBM, Microsoft, SAP AG, and Siebel Systems. Business process execution language for web services (version 1.1). ftp://www6.software.ibm.com/ software/developer/library/ws-bpel.pdf,2003.
6. R.H. Reussner, H.W.Schmidit, I.H.Poernomo "Reliability prediction for component-based software architectures" Journal of Systems and Software, no.66,2003.pp241-252.
7. W-L,Wang, Y.Wu, M-H Chen "An Architecture-based software reliability model" Proc. IEEE Pacific Rim Int. Symposium on Dependable Computing, Hong Kong China, Dec. 1999.
8. Apostolos Zarras, Panos Vassiliadis, and Valerie Issarny, "Model-Driven Dependability Analysis of Web Services", In Proceedings of the International Conference on Distributed Objects and Applications (DOA),LNCS3291,2004
9. Vincenzo Grassi, "Architecture-Based reliability Prediction for Service-Oriented Computing", Architecting Dependable Systems III, LNCS 3549,pp.279-299,2005.
10. K.Goseva-Popstojanova, A.P. Mathur, K.S.Trivedi "Comparision of architecture-based software reliability models" in Proc. Of the 12th Int. Symposium on Software Reliability Engineering(ISSRE 2001), 2001.
11. H.M.W. Verbeek and W.M.P. van der Aalst. Analyzing BPEL Processes using Petri Nets. In D. Marinescu, editor, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 59-78. Florida International University, Miami, Florida, USA, 2005.
12. Sebastian Hinz, Karsten Schmidt, and Christian Stahl, "Transforming BPEL to Petri Nets.". Proc. 3rd Int. Conf. on Business Process Management (BPM 2005, LNCS 3649, Nancy, France, 2005, pp. 220-235.
13. Humboldt-Universit At Zu, "Analyzing Web Service based Business Processes Axel Martens" 2005
14. Gianfranco Ciardo, Jogesh K. Muppala and Krishor S. Trivedi, "Analyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets", Journal of Parallel and Distributed Computing, Vol. 15, pp. 255-269, 1992.
15. C. Hirel, B. Tuffin, and K. S. Trivedi, SPNP : Stochastic Petri Nets. Version 6.0, in Computer performance evaluation: Modelling tools and techniques; 11th International Conference; TOOLS 2000, Schaumburg, II., USA, B. Haverkort, H. Bohnenkamp, C. Smith(eds.), Lecture Notes in Computer Science 1786, Springer Verlag, 2000.
16. R.C.Cheung. A User-Oriented Software Reliability Model. In IEEE Transactions on Software Engineering, volume 6(2), pages 118-125. Mar. 1980.
17. S.M.Yacoub, B.Cubic, and H.H.Ammar. Scenario-Based Reliability Analysis of Component-Based Software. In Proc. Of the 10th ISSRE, Boca Raton, FL,USA. IEEE, Nov. 1999.
18. J.D.Musa, "Opeartional profiles in software reliability engineering.", IEEE Soft-ware 10(2), 1993.
19. Jens Happe, Viktoria Firus, "Using Stochastic Petri Nets to Predict Quality of Services Attributes of Component-Based Software Architectures", the Tenth International Workshop on Component-Oriented Programming, Glasgow, Scotland (July 25-29, 2005)
20. Zhangxi Tan, Chuang Lin, Hao Yin, Ye Hong, and Guangxi Zhu, "Approximate Performance Analysis of web Services Flow Using Stochastic Petri Net", GCC 2004, LNCS 3251, pp.193-200, 2004.
21. http://www.ee.duke.edu/chirel/research.html.
22. Simona Bernardi, Phd Paper, "Building Stochastic Petri Net models for the verification of complex software systems", Torino.
23. Marsan A., Balbo G., Conte G., Donatelli S., Franceschinis G.: "Modeling with Generalized Stochastic Petri Nets", Wiley, Chichester, England, 1995.