雲端運算是近來全世界最熱門的資訊議題，任何設備只要能夠連上網路，就可以享有各種不同的網路服務，這些服務可能建置在不同的機器設備上，甚至可能在相隔遙遠的雲端裡，因此也稱之為雲端服務，在操作過程中，使用者不需要擔心服務安裝在哪裡，亦不用擔心服務如何達成，可想而知網路服務的背後，隱藏著很複雜的技術與架構。
網路服務的開發方式相當地簡單且快速，為系統帶來更大的便利與彈性，不過在管理的部份，卻變得越來越複雜，例如不易瞭解網路的結構與狀態、潛在的無窮迴圈及冗餘的流程問題，甚至是在資源共享的情況下，因等待或其他因素而導致死結的情況產生。這些問題將使得網路服務組合在執行時期，可能發生無法預期的錯誤。情況嚴重時，系統可能會完全鎖死或停止，對公司將造成重大的財務及商譽上的損失。這些流程的問題，需要在網路服務組合執行前先進行驗證，本研究透過流程轉換成派翠網路的分析，以確保流程設計的正確性與穩定性。
因此，本論文運用網路服務標準，將雲端服務轉換成派翠網路模型，再以派翠網路中的針織法為分析基礎，檢驗模型的狀態，避免死結發生，並提供網路特徵報告書，以降低管理的複雜度，進而提升服務的穩定性。

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。