Browse > Article
http://dx.doi.org/10.9717/kmms.2011.14.11.1409

A Web Service System Analysis Method Using Petri Net with Queue  

Shim, Kyu-Bark (동국대학교 과학기술대학 정보통계학과)
Yim, Jae-Geol (동국대학교 과학기술대학 컴퓨터공학부)
Lee, Gye-Young (동국대학교 과학기술대학 컴퓨터공학부)
Kim, Jin-Seog (동국대학교 과학기술대학 정보통계학과)
Publication Information
Journal of Korea Multimedia Society / v.14, no.11, 2011 , pp. 1409-1419 More about this Journal
Abstract
It is well known that estimating the system processing time and cost at the early stage of the software system development is very important, and many Petri net methods of analysing processing time have been published. In another field of computer science, web service has been widely studied as a key of an efficient application software development method. Considering these two phenomena, this paper introduces a Petri net method of analysing the process time of application software consisting of web services. It is not plausible to represent the process time of a web application system as a constant. Therefore, we propose to use "Petri net with queues" to represent a web application system. The main contribution of this paper is to introduce a method of analysing a "Petri net with queues".
Keywords
Web Service; Petri Net; Queue; System Analysis; SOA; Formalization;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Tadao Murata, Jaegeol Yim, Huabei Yin, and Ouri Wolfson, "Petri-Net Model and Minimum Cycle Time for Updating Moving Objects Database," International Journal of Computer Systems Science & Engineering, Vol.21, No.3, pp. 211-217, 2006.
2 Jaegeol Yim, Jae-Hun Joo, and Young-Chan Lee, "Timed Net With Choice Probability and Its Minimum Cycle Time-The Case of Location Based Service," Expert Systems With Applications Vol.31, No.2, pp. 221-230. 2006.   DOI   ScienceOn
3 M.P. Papazoglou and D. Georgakopoulos, "Service-Oriented Computing," Communications ACM, Vol.46, No.10, pp. 25-28, 2003.
4 J. Zhang, C.K. Chang, L.J. Zhang, and P.C.K. Hung, "Toward a Service-Oriented Development Through a Case Study," IEEE Trans. Syst., Man, Cyber. A, Syst. Humans, Vol.37, No.6, pp. 955-969, 2007.   DOI
5 R. Hamadi and B. Benatallah, "A Petri Netbased Model for Web Service Composition," 14th Australasian database conference, Vol. 17, pp. 191-200, 2003.
6 P. Xiong, Y. Fan, and M. Zhou, "A Petri Net Approach to Analysis and Composition of Web Services," IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol.40, Issue 2, pp. 376-387, 2010.   DOI
7 Y. Han, C. Jiang, and X. Luo, "Modeling and Analysis of Semantic Web Services with Petri Nets," IEEE Third International Conference on Semantics, Knowledge and Grid, pp. 122-127, 2007.
8 Y. Han and X. Luo, "Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets," IEEE International Symposium on Parallel and Distributed Processing with Applications, pp. 659-663, 2009.
9 H. Yin, Z. Tan, C. Lin, Y. Jiang, and F. Qiu, "Modeling Mobile Web Services Flow Using Generalized Stochastic High-Level Petri Net," IEEE International Conference on Systems, Man and Cybernetics, Vol.5, pp. 4953-4958, 2004.
10 김종호, 이기성, 확률과정입문, 2010, 자유아카데미.
11 이호우, 대기행렬이론 - 확률과정론적분석, 시그마프레스. 1998.