IJE TRANSACTIONS A: Basics Vol. 28, No. 10 (October 2015) 1439-1446   

downloaded Downloaded: 111   viewed Viewed: 1965

H. Nematzadeh and Z. Nematzadeh
( Received: February 09, 2015 – Accepted: September 03, 2015 )

Abstract    Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them to explicit colored petri net. To achieve this goal, colored petri net was enhanced with a new block of immediate transition, called Pick split/join. Then, a transformation table was proposed to show the mapping rules from basic and structured activities in eflow and BPEL to colored petri net. Finally, theory of probability was applied on the model to measure QoS. Web Servie Evaluation Tool (WSET), a case tool in Java programming language, was developed for further simulation.


Keywords    Web Service Compositions – BPEL – eflow – Colored Petri Net – Reliability - Performance


چکیده    امررزه تکنیک‌های مختلفی‌ برای ترکیب سرویس‌های وب وجود دارد. ارزیابی پارامتر‌های کیفی تاثیر مهمی‌ در تاثیر محصول نهایی دارد. BPEL یکی‌ از آن تکنیک هاست که تحقیقات متعددی بر روی ارزیابی آن صورت گرفته است. گرچه تحقیقات اندکی‌ روی ارزیابی صفات کیفیeflow انجام شده است. در این تحقیق کارایی و قابلیت اطمینانBPEL وeflow از طریق نگاشت آن به شبکه‌های پتری رنگی‌ صریح ارزیابی شد. برای نیل به این منظور ابتدا شبکه‌های پتری رنگی‌ با یک ترنزیشن بلادرنگ به نامPick split/join توسعه داده شد. سپس جدول نگاشت برای نشان دادن قواعد نگاشت از فعالیت‌های ساده و ساختیافته به شبکه‌های پتری رنگی‌ ارائه شد. در انتها از تئوری احتمالات جهت اندازه گیری کیفیت سرویس استفاده شد. ابزار ارزیابی سرویس‌های وب (WSET)، ابزاری به زبان برنامه نویسی جاوا ، جهت انجام شبیه سازی توسعه داده شد.



1.     Tabatabaei, S.G.H., Kadir, W.M.N.W. and Ibrahim, S., "A comparative evaluation of state-of-the-art approaches for web service composition", in Software Engineering Advances, ICSEA'08. The Third International Conference on, IEEE., (2008), 488-493.

2.     Song, W., Ma, X., Ye, C., Dou, W. and Lu, J., "Timed modeling and verification of bpel processes using time petri nets", in Quality Software, QSIC'09. 9th International Conference on, IEEE., (2009), 92-97.

3.     Desel, J. and Juhás, G., “What is a petri net?” informal answers for the informed reader, in Unifying petri nets., Springer (2001). 1-25.

4.     Nematzadeh, H., Deris, S., Maleki, H. and Nematzadeh, Z., "Evaluating reliability of system sequence diagram using fuzzy petri net", International Journal of Recent Trends in Engineering,  Vol. 1, No. 1, (2009), 142-147.

5.      Chen, L., Chen, L., Shao, Z., Fan, G., Ma, H. A Method for           

         Analyzing  and Predicting Reliability of BPEL Process. Journal of     

         Software.  4(1),  (2009). 11-18. Academy Publisher


 6.     Zhong, D., and Qi, Z.. A Petri Net Based Approach for   

         Reliability Prediction of Web Services . In Meersman, R. (Ed). 

        On The  Move to Meaningful Internet Systems (2006)  (pp116-125).      

        Springer Berlin Heidelberg

7.     Mateo, A.,  Valero, V., Macia, H., and Diaz, G. A Coloured Petri Net Approach to Model and Analyse Stateful Workflows-Based on WS-BPEL and WSRF. Escuela Superior de Ingenier´ıa Inform´atica, Universidad de Castilla-La Mancha. (2012). Spain, 1-20

8.     Dong, Fu., Yang, W., G., Mei, Y. and Dong, X., "Fuzzy petri net-based optimized semantic web service composition", in Grid and Cooperative Computing,. GCC'08. Seventh International Conference on, IEEE., (2008), 496-502.

9.     Xia, Y., Liu, Y., Liu, J,. Zhu, Q. Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach, IEEE Transactions on Systems, Man, And Cybernetics—PART A: Systems and Humans, VOL. 42, NO. 2, (2012)

10.   Motameni, H., Movaghar, A. and Amiri, M.F., "Mapping activity diagram to petri net: Application of markov theory for analyzing non-functional parameters", International Journal of Engineering Transactions B Applications,  Vol. 20, No. 1, (2007), 65-72.

11.   Motameni, H. and Nemati, M., "Mapping crc card into stochastic petri net for analyzing and evaluating quality parameter of security (technical note)", International Journal of Engineering-Transactions B: Applications,  Vol. 27, No. 5, (2013), 689-697.

12.           Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V. and Shan, M.-C., "Adaptive and dynamic service composition in eflow", in Advanced Information Systems Engineering, Springer., (2000), 13-31.

International Journal of Engineering
E-mail: office@ije.ir
Web Site: http://www.ije.ir