혼합 분포 확률 시간 넷을 이용한 웹 서비스 시스템의 응답 시간 분석

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 관련연구
• 3. 혼합 확률분포 시간 넷의 최소순회시간
• 4. 웹 서비스 시스템의 혼합 확률 분포 시간 넷 모형
• 5. 모델의 이용 방법
• 6. 결론
• 참고문헌

참고문헌 (Reference)

1 임재걸, "확률적 시간 넷과 최소 순회 시간 분석" 한국멀티미디어학회 9 (9): 671-680, 2006

2 "http://www.w3.org/TR/wsdl"

3 "http://www.w3.org/TR/soap/"

4 "http://www.uddi.org/"

5 "http://www.daimi.au.dk/designCPN/"

6 "http://wiki.daimi.au.dk/cpntools/cpntools.wiki"

7 J. Zhang, "WS Net: a Petri-net based specification model for Web services" Proceedings IEEE International Conference on Web Services

8 M. Keidl, "Towards Context Aware Adaptable Web Services" The Proceeding of the Thirteenth International World Wide Web Conference

9 Hillion, "Timed Petri Nets and Application to Multi Stage Production Systems" Berlin. Germany. Springer Verlag 424 : 281-305, 1989

10 Y. Tang, "SRN: an extended Petri-net-based workflow model for Web service composition" Proceedings of IEEE International Conference on Web Services

11 T. Murata, "Petri nets: Properties, analysis and applications" 77 (77): 541-580, 1989

12 T. Chatain, "Models for the supervision of Web services orchestration with dynamic changes" AICT /SAPIR/ELETE

13 J.P. Thomas, "Modeling of Web services flow" Proceedings of the IEEE International Conference on E Commerce

14 H. Yin, "Modeling mobile Web services flow using generalized stochastic high-level Petri net" Man and Cybernetics 5 : 4953-4958, 2004

15 J. Rodriguez Beltran, "Minimum initial marking in timed marked graphs" Man and Cybernetics 4 : 3004-3008, 2000

16 A. Dasdan, "Faster maximum and minimum mean cycle algorithms for system performance analysis" IEEE Trans 17 (17): 889-899, 1998

17 L. Johnson, "Encyclopedia of Statistical Sciences" ISBN 0-471-05552-2 5 : 1985

18 K.L. Bowers, "Determining the feasibility of a flight profile in a Free Flight environment" Proceedings of Digital Avionics Systems Conference

19 M. Nakamura, "Cycle time computation in deterministically timed weighted marked graphs" Proceedings. ETFA 2 : 1037-1046, 1999

20 S.M. Cho, "Analysis of feasibility for real time simulation of RT DEVs models" Tucson AZ USA 5 : 3069-3074, 2001

21 C.M. Khoong, "A holistic feasibility study framework for decision systems" Man and Cybernetics 24 (24): 100-106, 1994

22 Y. Manabe, "A feasibility decision algorithm for rate monotonic scheduling of periodic real time tasks" Chicago IL USA 212-218, 1995

23 R. Hamadi, "A Petri Net based Model for Web Service Composition" Conferences in Research and Practice in Information Technology 1 : 191-200, 2003