Responsive image
博碩士論文 etd-0602111-165751 詳細資訊
Title page for etd-0602111-165751
論文名稱
Title
驗證網路服務Choreography的實作方式之研究
Verification of Web Services in Support of Choreography
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
85
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2010-06-29
繳交日期
Date of Submission
2011-06-02
關鍵字
Keywords
網路服務適合性、網路服務選擇、網路服務一致性、網路服務組合
Web service compatibility, Web service composition, Web service conformance, Choreography, Web service selection
統計
Statistics
本論文已被瀏覽 6080 次,被下載 1216
The thesis/dissertation has been browsed 6080 times, has been downloaded 1216 times.
中文摘要
近年來,Web服務已經廣泛應用於網際網路上。由於便捷的通信技術和低廉的成本,使得組織之間的溝通變得更加容易。可以由兩種不同角度來描述Web服務合成(Web service composition):orchestration和choreography等二個模式。在先前Web服務驗證的研究中通常是探討choreography模式的正確性。然而在落實choreography模式的執行階段,仍存在一些潛在的正確性問題沒有被解決,如死結(deadlock)。本研究藉由移除一些不符合choreography模式的Web服務候選實例,避免合成的Web服務不相容於choreography模式和執行時的錯誤。實驗評估的方法是模擬10,000次執行Web符合成並動態選擇Web服務候選實例,且假設各個候選實例有相同的操作可靠度 (operation reliability)。實驗結果顯示,去除掉不相容的Web服務候選實例可有效地提高Web服務合成的成功率和空間使用效能。
Abstract
In recent years, Web services had been widely used on the Internet. Thanks to the convenient communication technologies and their inexpensive cost, communications between organizations is much easier, and Web services have become a de-facto standard for organizations to provide information and services. There are two different perspectives to describe Web service composition: orchestration and choreography. Works that verify a choreography model so as to alleviating some correctness problem such as deadlock have also been proposed. However the verification of implementations based on a choreography model has not be addressed. In this thesis, we propose an approach to verify the conformance of a set of Web services to a given choreography model and prune some candidate Web services which do not comply with the choreography model to avoid discordance with the choreography model and run-time errors. The proposed approach is evaluated by simulating 10,000 execution sequences of composite Web services. The experimental results show that our proposed method improves the performance of success rate and space usage by pruning the unsuitable candidate Web services.
目次 Table of Contents
CHAPTER 1 - Introduction 1
1.1. Background 1
1.2. Motivation 2
1.3. Thesis Contribution 3
1.4. Thesis Organization 3
CHAPTER 2 - Literature Review 4
2.1. Web Service Technology 4
2.1.1 SOAP 4
2.1.2 WSDL 5
2.1.3 UDDI 6
2.2. Web Service Composition Standard 7
2.2.1 Orchestration Model 7
2.2.2 Choreography Model 9
2.3. Translation to Theoretical Models 13
2.4. Correctness Criteria 17
2.5. Conformance Problem 20
CHAPTER 3 - Problem Definition 24
3.1. An illustrating Example 24
3.2. Problem Description 31
CHAPTER 4 - The Approach 32
4.1. The Framework 32
4.2. Global Translation and Choreography Verification 35
4.3. Local Translation 37
4.4. Candidate Selection for Each Role 38
4.5. Realizability Check of Choreography 43
CHAPTER 5 - Performance Evaluation 49
5.1. Experimental Design 50
5.2. Success Rate without pruning 51
5.3. Success Rate with pruning 60
5.4. The comparison of composition sizes for each method 68
CHAPTER 6 - Conclusion 70
Reference 72
參考文獻 References
1. Alexandre Alves, B., Assaf Arkin, I., Sid Askary, I., Charlton Barreto, A. S., Ben Bloch, S., Francisco Curbera, I., et al. (2007). Web Services Business Process Execution Language Version 2.0 Retrieved 06/01/2010, from http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
2. Baldoni, M., Baroglio, C., Chopra, A. K., Desai, N., Patti, V., & Singh, M. P. (2009). Choice, interoperability, and conformance in interaction protocols and service choreographies.
3. Baldoni, M., Baroglio, C., Martelli, A., & Patti, V. (2006). A priori conformance verification for guaranteeing interoperability in open environments. Service-Oriented Computing–ICSOC 2006, 339-351.
4. Barker, A., Walton, C., & Robertson, D. (2009). Choreographing Web Services. IEEE Transactions on Services Computing, 2(2), 152-166.
5. Bordeaux, L., Salaun, G., Berardi, D., & Mecella, M. (2005). When are two web services compatible? Technologies for E-Services, 15-28.
6. Bravetti, M., & Zavattaro, G. (2007a). Contract based multi-party service composition.
7. Bravetti, M., & Zavattaro, G. (2007b). A theory for strong service compliance.
8. Bultan, T., Fu, X., & Su, J. (2007). Analyzing conversations: Realizability, synchronizability, and verification. Nitto, editors, Test and Analysis of Web Services, 57–85.
9. David Martin, S. I. e., Mark Burstein, B. T., Jerry Hobbs, U. I. S. I., Ora Lassila, N., Drew McDermott, Y. U., Sheila McIlraith, U. o. T., et al. (2004). OWL-S: Semantic Markup for Web Services Retrieved 06/10/2010, from http://www.w3.org/Submission/OWL-S/
10. Deng, S., Wu, Z., Zhou, M., Li, Y., & Wu, J. (2006). Modeling service compatibility with Pi-calculus for choreography. Lecture Notes in Computer Science, 4215, 26.
11. Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2003). Model-based verification of web service compositions.
12. Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2006). Model-based analysis of obligations in web service choreography. Paper presented at the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services.
13. Giordano, L., & Martelli, A. (2007). Verifying agent conformance with protocols specified in a temporal action logic. AI* IA 2007: Artificial Intelligence and Human-Oriented Computing, 145-156.
14. Guermouche, N., & Godart, C. (2009). Timed Model Checking Based Approach for Web Services Analysis. Paper presented at the IEEE International Conference on Web Services.
15. Hwang, S., Lim, E., Lee, C., & Chen, C. (2008). Dynamic web service selection for reliable Web service composition. IEEE Transactions on Services Computing, 1(2), 104-116.
16. Li, L., & Chou, W. (2009). An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.
17. Liao, W. (2009). Choreographing Web Services in Support of Reliable Composite Web Service Execution.
18. Linz, P. (2006). An introduction to formal languages and automata: Jones & Bartlett Publishers.
19. Luc Clement, S., Andrew Hately, I., Claus von Riegen, S. A., & Tony Rogers, C. A. (2004). UDDI Version 3.0.2 Retrieved 06/10/2010, from http://uddi.org/pubs/uddi_v3.htm
20. Martin Gudgin, M., Marc Hadley, S. M., Noah Mendelsohn, I., Jean-Jacques Moreau, C., Henrik Frystyk Nielsen, M., Anish Karmarkar, O., et al. (2007). SOAP Version 1.2 Part 1: Message Framework (Second Edition) Retrieved 06/01/2010, from http://www.w3.org/TR/2007/REC-soap12-part1-20070427/
21. Milner, R. (1989). Communication and concurrency: Prentice Hall.
22. Nickolas Kavantzas, O., David Burdett, C. O., Gregory Ritzinger, N., Tony Fletcher, C., Yves Lafon, W. C., & Charlton Barreto, A. S. I. (2005). Web Services Choreography Description Language Version 1.0 Retrieved 06/01/2010, from http://www.w3.org/TR/ws-cdl-10/
23. Peltz, C. (2003). Web services orchestration and choreography. Computer, 46-52.
24. Rajamani, S., & Rehof, J. (2002). Conformance checking for models of asynchronous message passing software.
25. Roberto Chinnici, S. M., Jean-Jacques Moreau, C., Arthur Ryman, I., & Sanjiva Weerawarana, W. (2007). Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language Retrieved 06/10/2010, from http://www.w3.org/TR/wsdl20/
26. Valero, V., Emilia Cambronero, M., D'az, G., & Macia, H. (2009). A Petri net approach for the design and analysis of web services choreographies. Journal of Logic and Algebraic Programming, 78(5), 359-380.
27. Zhao, X., Yang, H., & Qiu, Z. (2006). Towards the formal model and verification of web service choreography description language. WS-FM 2006, LNCS, 4184.
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:校內外都一年後公開 withheld
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus: 已公開 available


紙本論文 Printed copies
紙本論文的公開資訊在102學年度以後相對較為完整。如果需要查詢101學年度以前的紙本論文公開資訊,請聯繫圖資處紙本論文服務櫃台。如有不便之處敬請見諒。
開放時間 available 已公開 available

QR Code