學術產出-Theses
Article View/Open
Publication Export
-
題名 派翠網路運用於建構雲端服務之研究
Using petri net for cloud computing作者 陳俊廷
Jiun-Ting Chen貢獻者 陳春龍<br>吳忠敏
Chen, Chuen Lung<br>Wu, Chung Min
陳俊廷
Jiun-Ting Chen關鍵詞 網路服務
雲端服務
派翠網路
針織法
死結
Web Service
Cloud services
Petri Net
knitting technique
deadlock日期 2010 上傳時間 17-Apr-2012 09:11:49 (UTC+8) 摘要 雲端運算是近來全世界最熱門的資訊議題，任何設備只要能夠連上網路，就可以享有各種不同的網路服務，這些服務可能建置在不同的機器設備上，甚至可能在相隔遙遠的雲端裡，因此也稱之為雲端服務，在操作過程中，使用者不需要擔心服務安裝在哪裡，亦不用擔心服務如何達成，可想而知網路服務的背後，隱藏著很複雜的技術與架構。網路服務的開發方式相當地簡單且快速，為系統帶來更大的便利與彈性，不過在管理的部份，卻變得越來越複雜，例如不易瞭解網路的結構與狀態、潛在的無窮迴圈及冗餘的流程問題，甚至是在資源共享的情況下，因等待或其他因素而導致死結的情況產生。這些問題將使得網路服務組合在執行時期，可能發生無法預期的錯誤。情況嚴重時，系統可能會完全鎖死或停止，對公司將造成重大的財務及商譽上的損失。這些流程的問題，需要在網路服務組合執行前先進行驗證，本研究透過流程轉換成派翠網路的分析，以確保流程設計的正確性與穩定性。因此，本論文運用網路服務標準，將雲端服務轉換成派翠網路模型，再以派翠網路中的針織法為分析基礎，檢驗模型的狀態，避免死結發生，並提供網路特徵報告書，以降低管理的複雜度，進而提升服務的穩定性。
Cloud computing is regarded as the most popular recent ICT topic. Any equipment which can be connected to Internet can provide its user have the access to the various services, which may be built on different machines, or even may exist in the distant `clouds` far away. However, in the operating process, the user has no need to worry where the service locates, needless to say how the service operates, which means that a considerably amount of data and techniques hide behind the Web service.Web service is an artifical piece of art, the user and the manager can concatenate several Web services online into a bigger one according to the conditions they need, which is a considerably simple and fast developing method bringing more convenience and flexibility for the system. Nonetheless, the managerial part also becomes more complex in problems like potential infinite loops and abundant procedures, for instance. What is worse is under the circumstance of resource sharing, the deadlocks happen while pending or other factors occur. These issues will lead to severe errors while the Web service compound operates. If the system completely locks and stops, serious financial damage and loss of commercial reputation will be caused to the company. Hence the design of procedures needs to be validated and transformed as Petri Net analysis before the Web service compound operates in order to assure the accuracy and stability of the procedure design.Therefore, this paper uses Web service standards, turning Web services into Petri Net models with knitting technique as analytical base, to validate the accuracy and stability of the model to avoid deadlock to happen in order to enhance the reliability of the service.參考文獻 1. Andrews, T., F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, “BPEL4WS V1.1 specification,” http://public.dhe.ibm.com/software/dw/specs/ws-bpel/ws-bpel.pdf, 2003.
2. Business Process Modeling Language (BPEL), http://www.ebpml.org/bpml.htm, Access time: Nov 2010.
3. Berners-lee, T., 1998, “What the Semantic Web can represent,” http://www.w3.org/DesignIssues/RDFnot.html, Access time: Nov 2010.
4. Berners-Lee, T., “Semantic Web - XML2000,” http://www.w3.org/2000/talks/1206-xm2k-tbl/sidr1-0.html, 2000.
5. Gruber, T., “What is an Ontology?” http://www-ksl.stanford.edu/kst/what-is-anontology.html, 2000.
6. IBM, “IBM cloud computing,” http://www.ibm.com/cloud-computing/us/en/, Access time: Nov 2010.
7. Lehmann, M., “Web Services Composition,” http://www.isys.uni-klu.ac.at/ISYS/Courses/03SS/S_DKE/lehmann.ppt, 2003.
8. Snell, J., “The Web services insider, Part4: Introducing the Web Services Flow Language,” http://www-106.ibm.com/developerworks/webservices/library/ws-ref4/, Jun 2001.
9. W3C, “Web Service Choreography Interface(WSCI),” http://www.w3c.org/TR/wsci/, Access time: Nov 2010.
10. WFMC, “XML Processing Description Language(XPDL),” http://www.wfmc.org/standards/XPDL.htm, Access time: Nov 2010.
11. Arkin, A., S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, S. Commerce, C. K. Liu, S. Thatte, P. Yendluri and A. Yiu, “Web Services Business Process Execution Language Version 2.0,” 2005.
12. Arpinar I. B., R. Zhang, B. Aleman-Meza and A. Maduko, “Ontology-driven Web services composition platform,” ISeB, 2005, pp.175-199.
13. Bada, M., R. Stevens, C. A. Goble, Y. Gil, M. Ashburner, J. A. Blake, J. M. Cherry, M. Harris and S. Lewis, “A short Study on the Success of the Gene Ontology,” Web Semantics: Science, Services and Agents on the World Wide Web 1, 2004, pp. 235-240.
14. Benatallah, B., M. Dumas, M. C. Fauvet and F. A. Rabhi, “Towards Patterns of Web Services Composition,” Patterns and skeletons for parallel and distributed computing, 2003a, pp. 265-296.
15. Benatallah, B., Q. Z. Sheng and M. Dumas, “The Self-Serv Environment for Web Services Composition,” IEEE Internet Computing, Vol. 7, No. 1, Jan/Feb 2003b, pp. 40-48.
16. Berardi, D., D. Calvanese, G. D. Giacomo, M. Lenzerini and M. Mecella, “A foundational vision of E-Services,” In Proceedings of the Workshop on Web Service, E-Business, the Semantic Web (WES’) held in conjunction with the 15th Conference on Advanced Information Systems Engineering, Klagenfurt / Velden, Austria, 2003.
17. Bertoli, P., M. Pistore and P. Traverso, “Automated Composition of Web Services by Planning in Asynchronous Domains,” In Proc. ICAPS’05, 2005.
18. Casati, F., S. Ilnicki, L. Jin, V. Krishnamoorthy, M. C. Shan, “eFlow: a Platform for Developing and Managing Composite e-Services,” Proceedings Academia/Industry Working Conference on Research Challenges, Apr 2000, pp. 341-348.
19. Chandrasekaran, S., J. A. Miller, G. A. Silver, I. B. Arpinar and A.P. Sheth, “Performance Analysis and Simulation of Composite Web Services,” The International Journal of Electronic Commerce and Business Media (EM), Vol. 13, No. 2, June 2003, pp. 120-132.
20. Chao, D. Y. and D. T. Wang, “A Reduction algorithm of Petri net, ” Proc. Int`l Comp Symp (ICS 92’), Taichung, Taiwan, Dec. 13-15, 1992, pp. 16-23.
21. Chao, D. Y., M. C. Zhou and D. T. Wang, “Extending Knitting Technique to Petri net Synthesis of Automated Manufacturing Systems,” The Computer Journal, Oxford University Press, Vol. 37, No. 1, Jan. 1994a, pp. 67-76.
22. Chao, D. Y. and D. T. Wang, “A Synthesis Technique of General Petri nets,” Journal of Systems Integration, Vol. 4, No. 1, Feb. 1994b, pp. 67-102.
23. Chao, D. Y. and D. T. Wang, “An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols,” Software-Practice and Experience, Vol. 24, 1994c, pp. 747-783.
24. Chao, D. Y. and D. T. Wang, “Knitting Technique with TP-PT Generations for Petri net Synthesis,” Technical Report No. CIS-94-45, Dept. of Computer and Information Science, New Jersey Institute of Technology, 1994d.
25. Chao, D. Y. and D. T. Wang, “Petri Net Synthesis and Synchronization Using Knitting Technique,” IEEE Int’l Conf. SMC, San Antonio, TX, October2-5 1994e, pp. 652-657.
26. Chao, D. Y. and D. T. Wang, “The Knitting Technique and Its Application to Communication Protocol Synthesis,” MASCOTS`94, Durham, NC, Jan. 31 - Feb. 2, 1994f, pp. 234-238.
27. Chao, D. Y. and D. T. Wang, “XPN-FMS: A Modeling and Simulation Software for FMS Using Petri nets and X window,” International Journal of Flexible Manufacturing Systems, Vol. 7, No. 4, October 1995, pp.339-360.
28. Chao, D. Y. and D. T. Wang, “Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion,” MIS Review, Vol. 7, December 1997a, pp.45-85.
29. Chao, D. Y. and D. T. Wang, “Two Theoretical and Practical Aspects of Knitting Technique Invariants and a New Class of Petri Net, ” IEEE Transactions on System, Man, and Cybernatics, Vol. 27, 1997b, pp. 962-977.
30. Chao, D. Y., “Petrinetsyn the Sisand Synchronization Using Knitting Technique,” Journal of Information Science and Engineering, Vol. 15, 1999, pp. 543-568.
31. Chao, D. Y., “A Computer Aided Design Technique for Flexible Manufacturing Systems Synthesis Utilizing Petri Nets,” Computer-Aided Design, Engineering, and Manufacturing: Techniques and Applications, Volume III, Operational Methods in Computer Aided Design, CRC Press, 2001a, pp. 8.1-8.64.
32. Chao, D. Y. and J. A. Nicdao, “Liveness for Synchronized Choice Petri Nets,” Computer Journal (British Computer Society), Vol. 44, No. 1, 2001b, pp. 124-136.
33. Chen, Y., W. T. Tsai and D. Y. Chao, “Dependency Analysis a Compositional Technique for Building Large Petri Net,” IEEE Transactions on Parallel and Distributed Systems, Vol. 4, 1993, pp. 414-426.
34. Cherbakov L., G. Galambos, R. Harishankar, S. Kalyana and G. Rackham, “Impact of Service Orientation at the Business Level,” IBM Systems Journal, Vol. 44, No. 4, 2005, pp. 653-669.
35. Chiu, H. S. and C. Yang, “Beyond e-Commerce Software Quality: Web Services Effectiveness,” Proceeding of Second Asia-Pacific Conference on Quality Software, 2001, pp. 397-405.
36. Curbera, F., Y. Gol and, J. Klein, F. Leymann, D. Roller, S. Thatte and S. Weerawarana, “Business Process Execution Language for Web Services, Version 1.0,” 2002, pp. 80.
37. Curbera, F., 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, Vol. 6, No. 2, Mar/Apr 2002, pp. 86-93.
38. Datta, A. and S. Ghosh, “Synthesis of a Class of Deadlock-free Petri Nets,” Journal of ACM, Vol. 31, 1984, pp. 486-506.
39. Fensel, D., “The Semantic Web and Its Language,” IEEE Intelligent Systems, 2000, pp. 67-73.
40. Foster, H., S. Uchitel, J. Magee and J. Kramer, “Model-based, Verification of Web Service Compositions,” presented at Eighteenth IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, 2003.
41. Fu, X., T. Bultan and J. Su, “Analysis of Interacting BPEL Web Services,” In Proc. WWW’04, 2004.
42. Grau, B. C., B. Parsia and E. Sirin, “Combining OWL ontologies using E-Connections,” Web Semantics: Science, Services and Agents on the World Wide Web, 2006, pp. 40-59.
43. Guarino, N., “Formal Ontology and Information Systems,” Proc. Of the 1st International Conference on Formal Ontologies in Information Systems, FOIS’98. Trento, Italy, Amsterdam, ISO Press, 6-8 June 1998, pp. 3-15.
44. Hendler, J., “Agents and the Semantic Web,” IEEE Intelligent Systems, 2001, pp. 30-37.
45. Horrocks, I. and P. F. Patel-Schneider, “Three Theses of Representation in the Semantic Web,” ACM, 2003, pp. 39-47.
46. Jian, Y. and M. P. Papazoglou, “Web Component: A Substrate for Web Services Reuse and Composition,” Proceedings of the 14th International Conference on Advanced Information Systems Engineering, May 2002, pp. 21-36.
47. Juric, M. B. and M. Krizevnik, “WS-BPEL 2.0 for SOA Composite Applications with Oracle SOA Suite 11g,” 2010, pp. 178.
48. Li, M., P. van Santen, D. W. Walker, O. F. Rana and M. A. Baker, “SGrid: a Service-Oriented Model for the Semantic Grid,” Future Generation Computer Systems, 2004, pp. 7-18.
49. Limthanmaphon B. and Y. Zhang, “Web Service Composition with Case-based Reasoning,” In Proceedings of the 14th Australasian database conference, Adelaide, Australia, 2003, pp.201-208.
50. Maamar, Z., S. K. Mostefaoui and H. Yahyaoui, “Toward an Agent-based and Context-Oriented Approach for Web Services Composition,” IEEE Transact Knowledge Data Engineering, Vol. 17, No. 5, 2005, pp. 686-697.
51. Maedche, A., B. Motik, L. Stojanovic, R. Studer and R. Volz, “Ontology for Enterprise Knowledge Management,” IEEE Intelligent Systems, Vol. 18, 2003, pp. 26-33.
52. Marton, A., G. Piccinelli and C. Turfin, “Service Provision and Composition in Virtual Business Communities,” Symposium on Reliable Distributed Systems, Oct 1999, pp. 336-341.
53. Matskin, M. and J. Rao, “Value-Added Web Services Composition Using Automatic Program Synthesis,” Springer-Verlag Berlin Heidelberg, LNCS 2512, 2002, pp. 213-224.
54. Medjahed, B., B. Benatallah, A. Bouguettaya, A. H. H. Ngu and A. K. Elmagarmid, “Business-to-Business Interactions: Issues and Enabling Technologies,” The VLDB Journal, Vol. 12, No. 1, May 2003, pp. 59-85.
55. Murata, T., “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, Vol. 77, No. 4, Apr 1989, pp. 541-580.
56. Ramamoorthy, C. V., S. T. Dong and Y. Usuda, “An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol,” IEEE Transactions on Software Engineering, Vol. 11, 1985, pp. 886-908.
57.Sensoy, M. and P. Yolum, “A Context-Aware Approach for Service Selection Using Ontologies,” AAMAS’06, Hakodate, Hokkaido, Japan, May 8-12 2006, pp. 931-938.
58. Silva, M., “Las Redes de Petri: en la Automática y la Informática,” Editorial AC, Madrid, 1985.
59. Rao, J. and X. Su, “A Survey of Automated Web Service Composition Methods,” Semantic Web Services and Web Process Composition, Vol. 3387, 2005, pp. 43-54.
60. van der Aalst, W. M. P., “Three Good reasons for Using a Petri net based Workflow Management System,” presented at Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC’96), 1996, pp. 179-20.
61. van der Aalst, W. M. P., A. H. M. ter Hofstede, B. Kiepuszewski and A.P. Barros, “Workflow Patterns,” Distributed and Parallel Databases Vol. 14, No. 1, July 2003, pp.5-51.
62. van der Aalst, W. M. P., M. Dumas, and A. H. M. ter Hofstede, “Web Service Composition Languages: Old Wine in New Bottles?,” presented at Euromicro Conference, 2003, Proceedings. 29th, 2003.
63. van der Aalst, W. M. P., “Don’t Go with the Flow: Web Services Composition Standards Exposed,” IEEE Intelligent Systems, Jan/Feb, 2003.
64. van der Meer, D., A. Datta, K. Dutta, H. Thomas, K. Ramamritham and S. B. Navathe, “FUSION: A System Allowing Dynamic Web Services Composition and Automatic Execution,” IEEE International conference on E-Commerce (CEC), 2003, pp. 399-404.
65. Wang, Y. and E. Stroulia, “Semantic Structure Matching for Assessing Web-Service Similarity,” Proceedings of the First International Conference on Service Oriented Computing, Trento, Italy, 2003.
66. Wang, F. H. and H. M. Shao, “Effective Personalized Recommendation Based on Time-Framed Navigation Clustering and Association Mining,” Expert Systems with Applications, Vol. 27, No. 3, 2004, pp. 365-377.
67. Younasa, M., K. M. Chaob, and C. Laing, “Composition of Mismatched Web Servicesin Distributed Service Oriented Design Activities,” Advanced Engineering Informatics, Vol. 19, No. 2, 2005, pp. 143-153.
68. Zeng, L., B. Benatallah, H. Lei, A. H. H. Ngu, D. Flaxer and H. Chang, “Flexible Composition of Enterprise Web Services,” The International Journal of Electronic Commerce and Business Media, Vol. 13, No. 2, Jun 2003, pp. 141-152.
69. Zeng, L., B. Benatallah, A. H. H. Ngu, M. Dumas, J. Kalagnanam and H. Chang, “QoS-Aware Middleware for Web Services Composition,” IEEE Transactions on Software Engineering, Vol. 30, No. 5, May 2004, pp. 311-327.
70. Zhou, M. C., F. DiCesare and A. A. Dosrochers, “A Top-Down Modular Approach to Synthesis of Petri Net Models for Manufacturing Systems,” Proc. of IEEE Robotics and Automation Conference, cottsdale, AZ, 1989, pp. 534-539.
71. Zhou, M. C. and F. DiCesare, “Parallel and Sequential Mutual Exclusions for Petri Net Modeling for Manufacturing Systems with Shared Resources,” IEEE Trans. on Robotics and Automation, Vol. 7, No. 4, 1991, pp. 515-527.
72. Zhou, M. C. and K. Venkatesh, “Modeling, Simulation and Control of Flexible Manufacturing System: a Petri Net Approach,” World Scientific, pp. 41-42, 1998.
73. 李志偉，以Petri Net為基礎的網路服務組合箝制驗證及簡化方法，中原大學資訊管理學系碩士論文，2004。
74. 高慶霖，以派翠網路偵測網路服務流程之死結，中正大學資訊管理研究所碩士論文，2004。
75. 葉俊仁，企業競合上上策：若即若離 企業合夥關係新主張：Loosely Couple，資訊與電腦，(264)，2002，pp. 78-83。描述 博士
國立政治大學
資訊管理研究所
92356510
99資料來源 http://thesis.lib.nccu.edu.tw/record/#G0923565101 資料類型 thesis dc.contributor.advisor 陳春龍<br>吳忠敏 zh_TW dc.contributor.advisor Chen, Chuen Lung<br>Wu, Chung Min en_US dc.contributor.author (Authors) 陳俊廷 zh_TW dc.contributor.author (Authors) Jiun-Ting Chen en_US dc.creator (作者) 陳俊廷 zh_TW dc.creator (作者) Jiun-Ting Chen en_US dc.date (日期) 2010 en_US dc.date.accessioned 17-Apr-2012 09:11:49 (UTC+8) - dc.date.available 17-Apr-2012 09:11:49 (UTC+8) - dc.date.issued (上傳時間) 17-Apr-2012 09:11:49 (UTC+8) - dc.identifier (Other Identifiers) G0923565101 en_US dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/52732 - dc.description (描述) 博士 zh_TW dc.description (描述) 國立政治大學 zh_TW dc.description (描述) 資訊管理研究所 zh_TW dc.description (描述) 92356510 zh_TW dc.description (描述) 99 zh_TW dc.description.abstract (摘要) 雲端運算是近來全世界最熱門的資訊議題，任何設備只要能夠連上網路，就可以享有各種不同的網路服務，這些服務可能建置在不同的機器設備上，甚至可能在相隔遙遠的雲端裡，因此也稱之為雲端服務，在操作過程中，使用者不需要擔心服務安裝在哪裡，亦不用擔心服務如何達成，可想而知網路服務的背後，隱藏著很複雜的技術與架構。網路服務的開發方式相當地簡單且快速，為系統帶來更大的便利與彈性，不過在管理的部份，卻變得越來越複雜，例如不易瞭解網路的結構與狀態、潛在的無窮迴圈及冗餘的流程問題，甚至是在資源共享的情況下，因等待或其他因素而導致死結的情況產生。這些問題將使得網路服務組合在執行時期，可能發生無法預期的錯誤。情況嚴重時，系統可能會完全鎖死或停止，對公司將造成重大的財務及商譽上的損失。這些流程的問題，需要在網路服務組合執行前先進行驗證，本研究透過流程轉換成派翠網路的分析，以確保流程設計的正確性與穩定性。因此，本論文運用網路服務標準，將雲端服務轉換成派翠網路模型，再以派翠網路中的針織法為分析基礎，檢驗模型的狀態，避免死結發生，並提供網路特徵報告書，以降低管理的複雜度，進而提升服務的穩定性。 zh_TW dc.description.abstract (摘要) Cloud computing is regarded as the most popular recent ICT topic. Any equipment which can be connected to Internet can provide its user have the access to the various services, which may be built on different machines, or even may exist in the distant `clouds` far away. However, in the operating process, the user has no need to worry where the service locates, needless to say how the service operates, which means that a considerably amount of data and techniques hide behind the Web service.Web service is an artifical piece of art, the user and the manager can concatenate several Web services online into a bigger one according to the conditions they need, which is a considerably simple and fast developing method bringing more convenience and flexibility for the system. Nonetheless, the managerial part also becomes more complex in problems like potential infinite loops and abundant procedures, for instance. What is worse is under the circumstance of resource sharing, the deadlocks happen while pending or other factors occur. These issues will lead to severe errors while the Web service compound operates. If the system completely locks and stops, serious financial damage and loss of commercial reputation will be caused to the company. Hence the design of procedures needs to be validated and transformed as Petri Net analysis before the Web service compound operates in order to assure the accuracy and stability of the procedure design.Therefore, this paper uses Web service standards, turning Web services into Petri Net models with knitting technique as analytical base, to validate the accuracy and stability of the model to avoid deadlock to happen in order to enhance the reliability of the service. en_US dc.description.tableofcontents 摘要 iAbstract ii誌謝 iii目錄 iv圖目錄 vi表目錄 viii第一章 緒論 11.1 研究動機 11.2 研究目的 21.3 研究範圍與步驟 31.4 研究架構 4第二章 文獻探討 62.1 網路服務 62.1.1 網路服務的特性 82.1.2 網路服務技術 92.1.3 網路服務管理議題 112.2 語意網路服務 132.2.1 語意網的介紹 132.2.2 本體論定義 152.3 網路服務組合 182.3.1 網路服務組合定義與目的 182.3.2 網路服務組合方法 192.3.2.1 網路服務組合階段 202.3.2.2 網路服務組合需求規格 212.3.2.3 網路服務組合方式 212.3.2.4 網路服務組合執行方法 222.3.3 網路服務組合平台 232.3.4 服務流程執行語言 272.3.5 網路服務組合樣式 302.4 雲端服務 302.5 派翠網路介紹 342.6 派翠網路死結的判斷 38第三章 研究方法 403.1 WSBPEL轉派翠網路機制 403.1.1 WSBPEL 2.0轉換為派翠網路之規則 413.1.1.1 WSBPEL 2.0基礎活動轉換至派翠網路規則 413.1.1.2 指派活動轉換 473.1.1.3 驗證活動轉換 483.1.1.4 控制活動 493.1.1.5 錯誤處理活動 523.1.2 WSBPEL 2.0結構化活動轉至派翠網路規則 543.1.2.1 條件式活動 543.1.2.2 循環式活動 563.1.2.3 選擇式活動 583.1.2.4 多重分支式活動 603.1.3 WSBPEL 2.0流程活動轉換至派翠網路規則 623.2 WSBPEL 2.0轉派翠網路流程及演算法 663.2.1 BPEL-PN引擎 663.2.2 WSBPEL 2.0轉派翠網路演算法 703.2.3 分析網路死結模組 793.3 針織技術 813.4 編織的規則 92第四章 系統實作與結果 954.1 WSBPEL轉換派翠網路 954.2 派翠網路範例 95第五章 結論與建議 1085.1 研究結論 1085.2 研究貢獻 1085.3 未來發展 110參考文獻 111 zh_TW dc.language.iso en_US - dc.source.uri (資料來源) http://thesis.lib.nccu.edu.tw/record/#G0923565101 en_US dc.subject (關鍵詞) 網路服務 zh_TW dc.subject (關鍵詞) 雲端服務 zh_TW dc.subject (關鍵詞) 派翠網路 zh_TW dc.subject (關鍵詞) 針織法 zh_TW dc.subject (關鍵詞) 死結 zh_TW dc.subject (關鍵詞) Web Service en_US dc.subject (關鍵詞) Cloud services en_US dc.subject (關鍵詞) Petri Net en_US dc.subject (關鍵詞) knitting technique en_US dc.subject (關鍵詞) deadlock en_US dc.title (題名) 派翠網路運用於建構雲端服務之研究 zh_TW dc.title (題名) Using petri net for cloud computing en_US dc.type (資料類型) thesis en dc.relation.reference (參考文獻) 1. Andrews, T., F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, “BPEL4WS V1.1 specification,” http://public.dhe.ibm.com/software/dw/specs/ws-bpel/ws-bpel.pdf, 2003. zh_TW dc.relation.reference (參考文獻) 2. Business Process Modeling Language (BPEL), http://www.ebpml.org/bpml.htm, Access time: Nov 2010. zh_TW dc.relation.reference (參考文獻) 3. Berners-lee, T., 1998, “What the Semantic Web can represent,” http://www.w3.org/DesignIssues/RDFnot.html, Access time: Nov 2010. zh_TW dc.relation.reference (參考文獻) 4. Berners-Lee, T., “Semantic Web - XML2000,” http://www.w3.org/2000/talks/1206-xm2k-tbl/sidr1-0.html, 2000. zh_TW dc.relation.reference (參考文獻) 5. Gruber, T., “What is an Ontology?” http://www-ksl.stanford.edu/kst/what-is-anontology.html, 2000. zh_TW dc.relation.reference (參考文獻) 6. IBM, “IBM cloud computing,” http://www.ibm.com/cloud-computing/us/en/, Access time: Nov 2010. zh_TW dc.relation.reference (參考文獻) 7. Lehmann, M., “Web Services Composition,” http://www.isys.uni-klu.ac.at/ISYS/Courses/03SS/S_DKE/lehmann.ppt, 2003. zh_TW dc.relation.reference (參考文獻) 8. Snell, J., “The Web services insider, Part4: Introducing the Web Services Flow Language,” http://www-106.ibm.com/developerworks/webservices/library/ws-ref4/, Jun 2001. zh_TW dc.relation.reference (參考文獻) 9. W3C, “Web Service Choreography Interface(WSCI),” http://www.w3c.org/TR/wsci/, Access time: Nov 2010. zh_TW dc.relation.reference (參考文獻) 10. WFMC, “XML Processing Description Language(XPDL),” http://www.wfmc.org/standards/XPDL.htm, Access time: Nov 2010. zh_TW dc.relation.reference (參考文獻) 11. Arkin, A., S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, S. Commerce, C. K. Liu, S. Thatte, P. Yendluri and A. Yiu, “Web Services Business Process Execution Language Version 2.0,” 2005. zh_TW dc.relation.reference (參考文獻) 12. Arpinar I. B., R. Zhang, B. Aleman-Meza and A. Maduko, “Ontology-driven Web services composition platform,” ISeB, 2005, pp.175-199. zh_TW dc.relation.reference (參考文獻) 13. Bada, M., R. Stevens, C. A. Goble, Y. Gil, M. Ashburner, J. A. Blake, J. M. Cherry, M. Harris and S. Lewis, “A short Study on the Success of the Gene Ontology,” Web Semantics: Science, Services and Agents on the World Wide Web 1, 2004, pp. 235-240. zh_TW dc.relation.reference (參考文獻) 14. Benatallah, B., M. Dumas, M. C. Fauvet and F. A. Rabhi, “Towards Patterns of Web Services Composition,” Patterns and skeletons for parallel and distributed computing, 2003a, pp. 265-296. zh_TW dc.relation.reference (參考文獻) 15. Benatallah, B., Q. Z. Sheng and M. Dumas, “The Self-Serv Environment for Web Services Composition,” IEEE Internet Computing, Vol. 7, No. 1, Jan/Feb 2003b, pp. 40-48. zh_TW dc.relation.reference (參考文獻) 16. Berardi, D., D. Calvanese, G. D. Giacomo, M. Lenzerini and M. Mecella, “A foundational vision of E-Services,” In Proceedings of the Workshop on Web Service, E-Business, the Semantic Web (WES’) held in conjunction with the 15th Conference on Advanced Information Systems Engineering, Klagenfurt / Velden, Austria, 2003. zh_TW dc.relation.reference (參考文獻) 17. Bertoli, P., M. Pistore and P. Traverso, “Automated Composition of Web Services by Planning in Asynchronous Domains,” In Proc. ICAPS’05, 2005. zh_TW dc.relation.reference (參考文獻) 18. Casati, F., S. Ilnicki, L. Jin, V. Krishnamoorthy, M. C. Shan, “eFlow: a Platform for Developing and Managing Composite e-Services,” Proceedings Academia/Industry Working Conference on Research Challenges, Apr 2000, pp. 341-348. zh_TW dc.relation.reference (參考文獻) 19. Chandrasekaran, S., J. A. Miller, G. A. Silver, I. B. Arpinar and A.P. Sheth, “Performance Analysis and Simulation of Composite Web Services,” The International Journal of Electronic Commerce and Business Media (EM), Vol. 13, No. 2, June 2003, pp. 120-132. zh_TW dc.relation.reference (參考文獻) 20. Chao, D. Y. and D. T. Wang, “A Reduction algorithm of Petri net, ” Proc. Int`l Comp Symp (ICS 92’), Taichung, Taiwan, Dec. 13-15, 1992, pp. 16-23. zh_TW dc.relation.reference (參考文獻) 21. Chao, D. Y., M. C. Zhou and D. T. Wang, “Extending Knitting Technique to Petri net Synthesis of Automated Manufacturing Systems,” The Computer Journal, Oxford University Press, Vol. 37, No. 1, Jan. 1994a, pp. 67-76. zh_TW dc.relation.reference (參考文獻) 22. Chao, D. Y. and D. T. Wang, “A Synthesis Technique of General Petri nets,” Journal of Systems Integration, Vol. 4, No. 1, Feb. 1994b, pp. 67-102. zh_TW dc.relation.reference (參考文獻) 23. Chao, D. Y. and D. T. Wang, “An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols,” Software-Practice and Experience, Vol. 24, 1994c, pp. 747-783. zh_TW dc.relation.reference (參考文獻) 24. Chao, D. Y. and D. T. Wang, “Knitting Technique with TP-PT Generations for Petri net Synthesis,” Technical Report No. CIS-94-45, Dept. of Computer and Information Science, New Jersey Institute of Technology, 1994d. zh_TW dc.relation.reference (參考文獻) 25. Chao, D. Y. and D. T. Wang, “Petri Net Synthesis and Synchronization Using Knitting Technique,” IEEE Int’l Conf. SMC, San Antonio, TX, October2-5 1994e, pp. 652-657. zh_TW dc.relation.reference (參考文獻) 26. Chao, D. Y. and D. T. Wang, “The Knitting Technique and Its Application to Communication Protocol Synthesis,” MASCOTS`94, Durham, NC, Jan. 31 - Feb. 2, 1994f, pp. 234-238. zh_TW dc.relation.reference (參考文獻) 27. Chao, D. Y. and D. T. Wang, “XPN-FMS: A Modeling and Simulation Software for FMS Using Petri nets and X window,” International Journal of Flexible Manufacturing Systems, Vol. 7, No. 4, October 1995, pp.339-360. zh_TW dc.relation.reference (參考文獻) 28. Chao, D. Y. and D. T. Wang, “Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion,” MIS Review, Vol. 7, December 1997a, pp.45-85. zh_TW dc.relation.reference (參考文獻) 29. Chao, D. Y. and D. T. Wang, “Two Theoretical and Practical Aspects of Knitting Technique Invariants and a New Class of Petri Net, ” IEEE Transactions on System, Man, and Cybernatics, Vol. 27, 1997b, pp. 962-977. zh_TW dc.relation.reference (參考文獻) 30. Chao, D. Y., “Petrinetsyn the Sisand Synchronization Using Knitting Technique,” Journal of Information Science and Engineering, Vol. 15, 1999, pp. 543-568. zh_TW dc.relation.reference (參考文獻) 31. Chao, D. Y., “A Computer Aided Design Technique for Flexible Manufacturing Systems Synthesis Utilizing Petri Nets,” Computer-Aided Design, Engineering, and Manufacturing: Techniques and Applications, Volume III, Operational Methods in Computer Aided Design, CRC Press, 2001a, pp. 8.1-8.64. zh_TW dc.relation.reference (參考文獻) 32. Chao, D. Y. and J. A. Nicdao, “Liveness for Synchronized Choice Petri Nets,” Computer Journal (British Computer Society), Vol. 44, No. 1, 2001b, pp. 124-136. zh_TW dc.relation.reference (參考文獻) 33. Chen, Y., W. T. Tsai and D. Y. Chao, “Dependency Analysis a Compositional Technique for Building Large Petri Net,” IEEE Transactions on Parallel and Distributed Systems, Vol. 4, 1993, pp. 414-426. zh_TW dc.relation.reference (參考文獻) 34. Cherbakov L., G. Galambos, R. Harishankar, S. Kalyana and G. Rackham, “Impact of Service Orientation at the Business Level,” IBM Systems Journal, Vol. 44, No. 4, 2005, pp. 653-669. zh_TW dc.relation.reference (參考文獻) 35. Chiu, H. S. and C. Yang, “Beyond e-Commerce Software Quality: Web Services Effectiveness,” Proceeding of Second Asia-Pacific Conference on Quality Software, 2001, pp. 397-405. zh_TW dc.relation.reference (參考文獻) 36. Curbera, F., Y. Gol and, J. Klein, F. Leymann, D. Roller, S. Thatte and S. Weerawarana, “Business Process Execution Language for Web Services, Version 1.0,” 2002, pp. 80. zh_TW dc.relation.reference (參考文獻) 37. Curbera, F., 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, Vol. 6, No. 2, Mar/Apr 2002, pp. 86-93. zh_TW dc.relation.reference (參考文獻) 38. Datta, A. and S. Ghosh, “Synthesis of a Class of Deadlock-free Petri Nets,” Journal of ACM, Vol. 31, 1984, pp. 486-506. zh_TW dc.relation.reference (參考文獻) 39. Fensel, D., “The Semantic Web and Its Language,” IEEE Intelligent Systems, 2000, pp. 67-73. zh_TW dc.relation.reference (參考文獻) 40. Foster, H., S. Uchitel, J. Magee and J. Kramer, “Model-based, Verification of Web Service Compositions,” presented at Eighteenth IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, 2003. zh_TW dc.relation.reference (參考文獻) 41. Fu, X., T. Bultan and J. Su, “Analysis of Interacting BPEL Web Services,” In Proc. WWW’04, 2004. zh_TW dc.relation.reference (參考文獻) 42. Grau, B. C., B. Parsia and E. Sirin, “Combining OWL ontologies using E-Connections,” Web Semantics: Science, Services and Agents on the World Wide Web, 2006, pp. 40-59. zh_TW dc.relation.reference (參考文獻) 43. Guarino, N., “Formal Ontology and Information Systems,” Proc. Of the 1st International Conference on Formal Ontologies in Information Systems, FOIS’98. Trento, Italy, Amsterdam, ISO Press, 6-8 June 1998, pp. 3-15. zh_TW dc.relation.reference (參考文獻) 44. Hendler, J., “Agents and the Semantic Web,” IEEE Intelligent Systems, 2001, pp. 30-37. zh_TW dc.relation.reference (參考文獻) 45. Horrocks, I. and P. F. Patel-Schneider, “Three Theses of Representation in the Semantic Web,” ACM, 2003, pp. 39-47. zh_TW dc.relation.reference (參考文獻) 46. Jian, Y. and M. P. Papazoglou, “Web Component: A Substrate for Web Services Reuse and Composition,” Proceedings of the 14th International Conference on Advanced Information Systems Engineering, May 2002, pp. 21-36. zh_TW dc.relation.reference (參考文獻) 47. Juric, M. B. and M. Krizevnik, “WS-BPEL 2.0 for SOA Composite Applications with Oracle SOA Suite 11g,” 2010, pp. 178. zh_TW dc.relation.reference (參考文獻) 48. Li, M., P. van Santen, D. W. Walker, O. F. Rana and M. A. Baker, “SGrid: a Service-Oriented Model for the Semantic Grid,” Future Generation Computer Systems, 2004, pp. 7-18. zh_TW dc.relation.reference (參考文獻) 49. Limthanmaphon B. and Y. Zhang, “Web Service Composition with Case-based Reasoning,” In Proceedings of the 14th Australasian database conference, Adelaide, Australia, 2003, pp.201-208. zh_TW dc.relation.reference (參考文獻) 50. Maamar, Z., S. K. Mostefaoui and H. Yahyaoui, “Toward an Agent-based and Context-Oriented Approach for Web Services Composition,” IEEE Transact Knowledge Data Engineering, Vol. 17, No. 5, 2005, pp. 686-697. zh_TW dc.relation.reference (參考文獻) 51. Maedche, A., B. Motik, L. Stojanovic, R. Studer and R. Volz, “Ontology for Enterprise Knowledge Management,” IEEE Intelligent Systems, Vol. 18, 2003, pp. 26-33. zh_TW dc.relation.reference (參考文獻) 52. Marton, A., G. Piccinelli and C. Turfin, “Service Provision and Composition in Virtual Business Communities,” Symposium on Reliable Distributed Systems, Oct 1999, pp. 336-341. zh_TW dc.relation.reference (參考文獻) 53. Matskin, M. and J. Rao, “Value-Added Web Services Composition Using Automatic Program Synthesis,” Springer-Verlag Berlin Heidelberg, LNCS 2512, 2002, pp. 213-224. zh_TW dc.relation.reference (參考文獻) 54. Medjahed, B., B. Benatallah, A. Bouguettaya, A. H. H. Ngu and A. K. Elmagarmid, “Business-to-Business Interactions: Issues and Enabling Technologies,” The VLDB Journal, Vol. 12, No. 1, May 2003, pp. 59-85. zh_TW dc.relation.reference (參考文獻) 55. Murata, T., “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, Vol. 77, No. 4, Apr 1989, pp. 541-580. zh_TW dc.relation.reference (參考文獻) 56. Ramamoorthy, C. V., S. T. Dong and Y. Usuda, “An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol,” IEEE Transactions on Software Engineering, Vol. 11, 1985, pp. 886-908. zh_TW dc.relation.reference (參考文獻) 57.Sensoy, M. and P. Yolum, “A Context-Aware Approach for Service Selection Using Ontologies,” AAMAS’06, Hakodate, Hokkaido, Japan, May 8-12 2006, pp. 931-938. zh_TW dc.relation.reference (參考文獻) 58. Silva, M., “Las Redes de Petri: en la Automática y la Informática,” Editorial AC, Madrid, 1985. zh_TW dc.relation.reference (參考文獻) 59. Rao, J. and X. Su, “A Survey of Automated Web Service Composition Methods,” Semantic Web Services and Web Process Composition, Vol. 3387, 2005, pp. 43-54. zh_TW dc.relation.reference (參考文獻) 60. van der Aalst, W. M. P., “Three Good reasons for Using a Petri net based Workflow Management System,” presented at Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC’96), 1996, pp. 179-20. zh_TW dc.relation.reference (參考文獻) 61. van der Aalst, W. M. P., A. H. M. ter Hofstede, B. Kiepuszewski and A.P. Barros, “Workflow Patterns,” Distributed and Parallel Databases Vol. 14, No. 1, July 2003, pp.5-51. zh_TW dc.relation.reference (參考文獻) 62. van der Aalst, W. M. P., M. Dumas, and A. H. M. ter Hofstede, “Web Service Composition Languages: Old Wine in New Bottles?,” presented at Euromicro Conference, 2003, Proceedings. 29th, 2003. zh_TW dc.relation.reference (參考文獻) 63. van der Aalst, W. M. P., “Don’t Go with the Flow: Web Services Composition Standards Exposed,” IEEE Intelligent Systems, Jan/Feb, 2003. zh_TW dc.relation.reference (參考文獻) 64. van der Meer, D., A. Datta, K. Dutta, H. Thomas, K. Ramamritham and S. B. Navathe, “FUSION: A System Allowing Dynamic Web Services Composition and Automatic Execution,” IEEE International conference on E-Commerce (CEC), 2003, pp. 399-404. zh_TW dc.relation.reference (參考文獻) 65. Wang, Y. and E. Stroulia, “Semantic Structure Matching for Assessing Web-Service Similarity,” Proceedings of the First International Conference on Service Oriented Computing, Trento, Italy, 2003. zh_TW dc.relation.reference (參考文獻) 66. Wang, F. H. and H. M. Shao, “Effective Personalized Recommendation Based on Time-Framed Navigation Clustering and Association Mining,” Expert Systems with Applications, Vol. 27, No. 3, 2004, pp. 365-377. zh_TW dc.relation.reference (參考文獻) 67. Younasa, M., K. M. Chaob, and C. Laing, “Composition of Mismatched Web Servicesin Distributed Service Oriented Design Activities,” Advanced Engineering Informatics, Vol. 19, No. 2, 2005, pp. 143-153. zh_TW dc.relation.reference (參考文獻) 68. Zeng, L., B. Benatallah, H. Lei, A. H. H. Ngu, D. Flaxer and H. Chang, “Flexible Composition of Enterprise Web Services,” The International Journal of Electronic Commerce and Business Media, Vol. 13, No. 2, Jun 2003, pp. 141-152. zh_TW dc.relation.reference (參考文獻) 69. Zeng, L., B. Benatallah, A. H. H. Ngu, M. Dumas, J. Kalagnanam and H. Chang, “QoS-Aware Middleware for Web Services Composition,” IEEE Transactions on Software Engineering, Vol. 30, No. 5, May 2004, pp. 311-327. zh_TW dc.relation.reference (參考文獻) 70. Zhou, M. C., F. DiCesare and A. A. Dosrochers, “A Top-Down Modular Approach to Synthesis of Petri Net Models for Manufacturing Systems,” Proc. of IEEE Robotics and Automation Conference, cottsdale, AZ, 1989, pp. 534-539. zh_TW dc.relation.reference (參考文獻) 71. Zhou, M. C. and F. DiCesare, “Parallel and Sequential Mutual Exclusions for Petri Net Modeling for Manufacturing Systems with Shared Resources,” IEEE Trans. on Robotics and Automation, Vol. 7, No. 4, 1991, pp. 515-527. zh_TW dc.relation.reference (參考文獻) 72. Zhou, M. C. and K. Venkatesh, “Modeling, Simulation and Control of Flexible Manufacturing System: a Petri Net Approach,” World Scientific, pp. 41-42, 1998. zh_TW dc.relation.reference (參考文獻) 73. 李志偉，以Petri Net為基礎的網路服務組合箝制驗證及簡化方法，中原大學資訊管理學系碩士論文，2004。 zh_TW dc.relation.reference (參考文獻) 74. 高慶霖，以派翠網路偵測網路服務流程之死結，中正大學資訊管理研究所碩士論文，2004。 zh_TW dc.relation.reference (參考文獻) 75. 葉俊仁，企業競合上上策：若即若離 企業合夥關係新主張：Loosely Couple，資訊與電腦，(264)，2002，pp. 78-83。 zh_TW
