A method for analyzing and predicting reliability of BPEL process

Journal of Software

Volumn 4, Issue 1, 2009, Pages 11-18

  Chen, Liqiong ^a   Shao, Zhiqing ^a   Fan, Guisheng ^a   Ma, Hanhua ^a  

^a EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

BPEL; Matlab; Petri net; Service composition; Transactional properties; Transfer matrix

Indexed keywords

MATLAB; PETRI NETS; QUALITY OF SERVICE; TRANSFER MATRIX METHOD;

ANALYTICAL PROCESS; ATOMIC ACTIVITIES; BPEL; ERROR PRONES; FORMAL MODELING AND ANALYSIS; SERVICE COMPOSITIONS; SET OF RULES; TRANSACTIONAL PROPERTIES;

RELIABILITY;

EID: 77954017549     PISSN: 1796217X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jsw.4.1.11-18     Document Type: Conference Paper

References (18)

1. M. P. Papazoglou and W. J. Heuvel, "Service oriented architectures: approaches, technologies and research issues," International Journal on Very Large Data Bases. 2007, 16(3), pp. 389-415.
2. A. D. Ambrogio and P. Bocciarelli, "A model-driven approach to describe and predict the performance of composite services," In Proceedings of the 6th international workshop on Software and performance. New York, ACM. pp. 78-89. 2007..
3. B. Luciano and G. Sam, "A dynamic and reactive approach to the supervision of bpel processes," In Proceedings of the 1st conference on India software engineering conference. New York, ACM. pp. 39-48. 2008
4. K. Mt, V. Dniel, and G. Lszl, "Formal modeling of bpel workflows including fault and compensation handling," In Proceedings of the 2007 workshop on Engineering fault tolerant systems. New York, ACM. 2007.
5. T. Murata. Petri nets: Properties, analysis and application. In Proceedings of the IEEE, volume 77, 1989, pp. 541-580.
6. W. Zhang, Z.Cao and B. Li, "A CCS based model for describing and verifying the behavior of web service," In 2007 IFIP International Conference on Network and Parallel Computing Workshops. IEEE Computer Society. pp. 987-994. 2007.
7. J. Li, J. He, H. Zhu, and G. Pu, "Modeling and verifying web services choreography using process algebra," In 31st IEEE Software Engineering Workshop. IEEE Computer Society. pp. 256-268. 2007.
8. F. Andrea, "Web services: a process algebra approach," In Proceedings of the 2nd international conference on Service oriented computing. New York, ACM. pp. 242-252. 2004.
9. F. Roozbeh, G. Uwe, and V. Mona, "An abstract machine architecture for web service based business process management," International Journal of Business Process Integration and Management. 2006, 1(4). pp. 279-291.
10. C. E. Gerede, R. Hull, O. H. Ibarra, and J. Su, "Automated composition of e-services: lookaheads," In Proceedings of the 2nd international conference on Service oriented computing. New York, ACM. pp. 252-562. 2004.
11. A. Deutsch, L. Sui, V. Vianu, and D. Zhou, "Verification of communicating data-driven web services," In Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. New York, ACM. pages 90-99. 2006.
12. K. E. Fakih, A. Kolomeez, S. Prokopenko, and N. Yevtushenko, "Extended finite state machine based test derivation driven by user defined faults," In 2008 International Conference on Software Testing, Verification, and Validation. IEEE Computer Society. pp. 308-317. 2008.
13. H. Sebastian, S. Karsten, and S. Christian, "Transforming bpel to petri nets," Business Process Management. Springer Berlin / Heidelberg,.vol. 3649. pp. 220-235. 2005.
14. W. Lisa, "Performance analysis using CPN tools," In Proceedings of the 1st international conference on Performance evaluation methodolgies and tools. New York, ACM. 2006.
15. Y. Wang, H. Wang and X. Xu, "Web services scheduling:Binding the cost with the time," In Proceedings of the First International Conference on Semantics, Knowledge,and Grid. Guilin Guanxi, China. pp. 141-141, 2005.
16. A. Charfi, B. Schmeling, A. Heizenreder, and M. Mezini, "Reliable, secure, and transactedweb service compositions with ao4bpel," In Proceedings of the European Conference on Web Services. New York, ACM. pp. 339-346. 2006..
17. B. Sami, P. Olivier, and G. Claude, "Extending workflow patterns with transactional dependencies to define reliable composite web services," In Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. New York, ACM. pp. 339-346. 2006.
18. M. Alberto, P. M. Marta, J. P. Ricardo, and P. S. Francisco. Zenflow: A visual web service composition tool for bpel4ws. In Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE Computer Society. pp. 181-188. 2005.