博碩士論文 etd-0602111-165751 詳細資訊


[回到前頁查詢結果 | 重新搜尋]

姓名 謝汶芳(Wen-Fan Hsieh) 電子郵件信箱 E-mail 資料不公開
畢業系所 資訊管理學系研究所(Information Management)
畢業學位 碩士(Master) 畢業時期 99學年第2學期
論文名稱(中) 驗證網路服務Choreography的實作方式之研究
論文名稱(英) Verification of Web Services in Support of Choreography
檔案
  • etd-0602111-165751.pdf
  • 本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。
    請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
    論文使用權限

    電子論文:校內外都一年後公開

    論文語文/頁數 英文/85
    統計 本論文已被瀏覽 5361 次,被下載 1126 次
    摘要(中) 近年來,Web服務已經廣泛應用於網際網路上。由於便捷的通信技術和低廉的成本,使得組織之間的溝通變得更加容易。可以由兩種不同角度來描述Web服務合成(Web service composition):orchestration和choreography等二個模式。在先前Web服務驗證的研究中通常是探討choreography模式的正確性。然而在落實choreography模式的執行階段,仍存在一些潛在的正確性問題沒有被解決,如死結(deadlock)。本研究藉由移除一些不符合choreography模式的Web服務候選實例,避免合成的Web服務不相容於choreography模式和執行時的錯誤。實驗評估的方法是模擬10,000次執行Web符合成並動態選擇Web服務候選實例,且假設各個候選實例有相同的操作可靠度 (operation reliability)。實驗結果顯示,去除掉不相容的Web服務候選實例可有效地提高Web服務合成的成功率和空間使用效能。
    摘要(英) 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.
    關鍵字(中)
  • 網路服務適合性
  • 網路服務選擇
  • 網路服務一致性
  • 網路服務組合
  • 關鍵字(英)
  • Web service compatibility
  • Web service composition
  • Web service conformance
  • Choreography
  • Web service selection
  • 論文目次 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
    參考文獻 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.
    口試委員
  • 林福仁 - 召集委員
  • 楊婉秀 - 委員
  • 林信惠 - 指導教授
  • 黃三益 - 指導教授
  • 口試日期 2010-06-29 繳交日期 2011-06-02

    [回到前頁查詢結果 | 重新搜尋]


    如有任何問題請與論文審查小組聯繫