複合式網際服務之塑模與驗證

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：28

、訪客IP：52.15.86.184

姓名

林琮凱(Tsung-Kai Lin) 查詢紙本館藏

畢業系所

網路學習科技研究所

論文名稱

複合式網際服務之塑模與驗證
(Modeling and Verification of Composite Web Services)

相關論文

★ 透過視覺化影片瀏覽行為分析提升磨課師課程之完課率	★ 應用智慧分類法提升文章發佈效率於一企業之知識分享平台
★ 家庭智能管控之研究與實作	★ 開放式監控影像管理系統之搜尋機制設計及驗證
★ 資料探勘應用於呆滯料預警機制之建立	★ 探討問題解決模式下的學習行為分析
★ 資訊系統與電子簽核流程之總管理資訊系統	★ 製造執行系統應用於半導體機台停機通知分析處理
★ Apple Pay支付於iOS平台上之研究與實作	★ 應用集群分析探究學習模式對學習成效之影響
★ 應用序列探勘分析影片瀏覽模式對學習成效的影響	★ 一個以服務品質為基礎的網際服務選擇最佳化方法
★ 維基百科知識推薦系統對於使用e-Portfolio的學習者滿意度調查	★ 學生的學習動機、網路自我效能與系統滿意度之探討-以e-Portfolio為例
★ 藉由在第二人生內使用自動對話代理人來改善英文學習成效	★ 合作式資訊搜尋對於學生個人網路搜尋能力與策略之影響

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

網路服務組合在現今的服務導向架構中，逐漸扮演了重要的角色，早期的網路服務提供了功能讓需求者來使用，然而這些網路服務的功能往往無法符合需求者的需要。因此，網路服務組合讓需求者可依自身的需求把數個在網路上的網路服務串接成一個較大的網路服務，這種方式將帶來更大的附加價值以及更大的彈性。而運用工作流程來組合網路服務是目前最常見的方式，然而以流程來組合網路服務有很大的可能會因為流程設計上的錯誤而導致死結、潛在的無窮迴圈以及多餘的流程。這些問題將導致網路服務組合在執行時期時發生嚴重的錯誤。所以這些流程設計上的問題需要在網路服務組合執行之前進行驗證以確保流程設計是正確無誤的。
本論文提出了以派翠網路為基礎的網路服務組合塑模與驗證方式。首先以派翠網路塑模網路服務組合，再利用Reachability，Coverability性質來分析派翠網路模型是否存在死結以及潛在的無窮迴圈，最後運用了深先搜尋演算法來得知網路服務組合中是否有多餘的流程。
本論文的結果顯示，使用網路服務組合塑模及驗證方法可以確保網路服務組合流程的正確性並增加網路服務組合的可靠性。

摘要(英)

In recent service-oriented architecture composite web services gradually play an important role. In earlier web service provides its capabilities in terms of functions in order to let service requester can make use of it. However these web services can not usually meet the need of service requester. The advantage of composite web services is to let service requester compose several web services according to the need of service requester. Thus, such a way brings value-added benefit and flexibility. Utilizing workflow to compose several web services is a common method at present. Nevertheless, utilizing workflow to compose several web services probably results in deadlock, potential infinite loop, and redundant flow because of flow design error. These problems will cause critical error of composite web services7 in design time. Therefore, there problems of flow design need to verify before executing composite web services.
This thesis proposed modeling and verification of composite web services based on Petri nets. Firstly, after modeling workflow with Petri nets, I utilized properties of reachability, and coverability to analyze Petri net model in order to check whether deadlock and potential infinite loop exist in workflow. Lastly, I made use of depth-first search to examine whether redundant flow exists in workflow.
This thesis showed that utilizing method of modeling and verification of composite web services can ensure correctness of flow of composite web services and enhance reliability of composite web services.

關鍵字(中)

★ 塑膜
★ 複合式網際服務
★ 商業流程執行語言
★ 派翠網路
★ 驗證

關鍵字(英)

★ Composite Web Services
★ Modeling
★ Verification
★ Petri nets
★ BPEL4WS

論文目次

摘要 I
Abstract II
Acknowledgements IV
Contents V
List of Figures VI
List of Tables VII
Chapter 1 Introduction 1
1.1 Overview 1
1.2 Research Motivation 3
1.3 Research Problems 4
1.4 Methods and Contributions 11
Chapter 2 Related Work 13
Chapter 3 Composite Web Services Modeling 17
3.1 System architecture 17
3.2 Petri nets and definitions for Composite Web Services 18
3.3 Modeling Composite Web Services with Petri nets 21
Chapter 4 Composite Web Services Verification 43
4.1 Deadlock detection 45
4.2 Potential Infinite Loop Detection 49
4.3 Redundant Flow Detection 53
Chapter 5 Conclusion Remarks 54
References 55

參考文獻

1. BEA Systems, International Business Machines Corporation, Microsoft Corporation, SAP AG, & Siebel System. Business Process Execution Language for Web Services Version 1.1. Retrieved May 5, 2003, from http://www-128.ibm.com/developerworks/library/specification/ws-bpel/.
2. Booth, D., & Liu, C.K., Web Service Description Language (WSDL) 2.0. Retrieved March 27, 2006, from http://www.w3.org/TR/wsdl20-primer/.
3. Buhler, P., & Vidal, J. M. (2003), Towards Adaptive Workflow Enactment Using Multiagent Systems, Information Technology and Management Journal, 6(1), 61-87.
4. Cleaveland, R., & Sims, S. (1996), The NCSU concurrencyworkbench, In Proceedings of the 8th Conference on Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, 394-397.
5. De Michelis, G.., Ellis, C. & Memmi, G.., editors. (1994), Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, Zaragoza, Spain.
6. Ellis, C.A. & Nutt, G.J. (1993), Modelling and Enactment of Workflow Systems, In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, 1-16. Berlin, Springer-Verlag.
7. Fu, X., Bultan, T., & Su, J. (2004), Analysis of Interacting BPEL Web Services, In Proceeding of the 13th International World Wide Web Conference, 621-630.
8. Fu, X., Bultan, T., & Su, J. (2004), Model Checking Interactions of Composite Web Services (Technical Report 2004-05), Computer Science Department, University of California at Santa Barbara.
9. Girault, C., & Valk, R. (2003), Petri Nets for Systems Engineering. A guide to modeling, Verification, and applications, New York, Springer.
10. Hamadi, R., & Benatallah, B. (2003), A Petri Net-based Model Web Service Composition, Fourteenth Australasian Database Conference (ADC2003), Adelaide, Australia. Conferences in Research and Practice in Information Technology, 191-200.
11. Holzmann, G. (2003), The Spin Model Checker, Addison-Wesley.
12. Huang, H., Tsai, W.T., Paul, R., & Chen, Y. (2005), Automated Model Checking and Testing for Composite Web Services, Proceedings of the eight IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), 300-307.
13. International Business Machines Corporation, The IBM Business Process Execution Language for Web Services Java Run Time BPEL4J, Retrieved April 13, 2004, from http://www.alphaworks.ibm.com/tech/bpws4j.
14. Jensen, K. (1997), Coloured Petri Nets. Basic concepts, analysis methods and practical use (EATCS monographs on Theoretical Computer Science), Berlin, Springer-Verlag.
15. Jian, Y., & Mike, P. (2002), Web Component: A Substrate for Web Services Reuse and Composition, Proceedings of the 14th International Conference on Advanced Information System Engineering.
16. Milner, R. (1980), A Calculus of Communicating Systems, LNCS-92, Springer-Verlag.
17. Mitra, N, Simple Object Access Protocol (SOAP) Version 1.2. Retrieved June 24, 2003, from http://www.w3.org/TR/2003/REC-soap12-part0-20030624/.
18. Murata, T. (1989), Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77(4), 541-580.
19. Narayanan, S., & Mcllraith, S. A. (2002), Simulation, Verification and Automated Composition of Web Services, Proceedings of the 11th international conference on World Wide Web, 77-88.
20. National Chiao Tung University, Intelligent Transportation Systems Project of Program for Promoting University Academic Excellence, from http://www.itstaiwan.org/.
21. Reisig, W. (1985), Petri nets: an introduction, volume 4 of Monographs in theoretical computer science : an EATCS series, Berlin, Springer-Verlag.
22. Russell, S., & Norvig, P. (2003), Artificial Intelligence A modern Approach, New Jersey, Prentice Hall.
23. Silva, M. & Valette, R. (1989), Petri Nets and Flexible Manufacturing (In G. Rozenberg, editor, Advances in Petri Nets, volume 424 of Lecture Notes in Computer Science), 274-417. Berlin, Springer-Verlag.
24. The Open Source BPEL Engine. ActiveBPEL Engine. Retrieved February 21 , 2006, from http://www.activebpel.org/.
25. Thomas, J.P., Thomas, M. & Ghinea, G. (2003), Modeling of Web Services Flow, Proceedings of the IEEE International Conference on E-Commerce (CEC’03), 391-398.
26. Tsai, W., Cao, Z., Chen, Y., & Paul, R. (2005), Web Services based Collaborative and Cooperative Computing, to appear in Workshop on Cooperative Computing, Internetworking, and Assurance Chengdu.
27. Tsai, W., Song, W., Paul, R., Cao, Z., & Hunag, H. (2004), Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing, Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 554-559.
28. van der Aalst, W.M.P. (1999), Woflan: A Petri-net-based Workflow Analyzer, Systems Analysis - Modelling - Simulation, 35(3), 345-357.
29. van der Aalst, W.M.P. (1996), Three Good reasons for Using a Petri-net-based Workflow Management System, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), 179-201.
30. van Hee, K.M. (1994), Information System Engineering: a Formal Approach, Cambridge University Press.
31. van der Aalst, W.M.P. (2000), Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques, Lecture Notes In Computer Science; Vol. 1806 archive Business Process Management, Models, Techniques, and Empirical Studies, 161-183, London, Springer-Verlag.
32. Wohed, P., van der Aalst, W.M.P., Dumas, M. & ter Hofstede, A.H.M. (2002), Pattern-Based Analysis of BPEL4WS document, Technical Report FIT-TR-2002-04, QUT.
33. Wolf, M. & Reimer, U. (1996), editors. Proceedings of the International Conference on Practical Aspects of Knowledge Management (PAKM’96), Workshop on Adaptive Workflow, Basel, Switzerland.
34. Walton, C. (2004), Model Checking Multi-Agent Web Services, In Proceeding of AAAI Spring Symposium on Semantic Web Services.
35. Yi, X. & Kochut, K.J. (2004), A CP-nets-based Design and Verification Framework for Web Services Compositions, Proceedings of 2004 IEEE International Conference on Web Services, 756-760.

指導教授

楊鎮華(Stephen J.H. Yang)

審核日期

2006-7-14

推文