Responsive image
博碩士論文 etd-0711107-103905 詳細資訊
Title page for etd-0711107-103905
論文名稱
Title
以可靠度為基礎的動態網路服務選擇之研究
The Study of Dynamic Web Service Selection Based on Reliability
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
70
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2007-06-22
繳交日期
Date of Submission
2007-07-11
關鍵字
Keywords
網路服務選擇、網路服務、可靠度、網路服務組合
Web Services, Reliability, Service composition, Web Service Selection
統計
Statistics
本論文已被瀏覽 5977 次,被下載 15
The thesis/dissertation has been browsed 5977 times, has been downloaded 15 times.
中文摘要
隨著服務導向架構(SOA)概念的興起,網路服務(Web Service)已經成為企業之間相互合作與緊密結合最主要的技術。由於網路上存在各種可獲得的網路服務,並且提供重複且相同的功能,當我們要組合成一個複合的網路服務流程時,我們就必須決定哪些網路服務是最合適的。動態網路服務選擇即是決定一組被呼叫的網路服務,因而構成一個複合的網路服務流程。之前對於網路服務選擇的研究通常假設網路服務之間各操作(operation)的呼叫是互相獨立的。然而,這樣的假設與現實不符合,因為網路服務內的操作通常是具有一些順序來表達其商業邏輯。因此當我們要組合成一個複合的網路服務流程時,這樣的順序限制了網路服務的選擇。在本篇論文當中,我們提出利用有限狀態機(FSM)來表達網路服務內操作的順序。並且,我們定義了一個衡量指標,叫做aggregated reliability,來衡量當我們在複合網路服務流程當中的一個狀態時,從該狀態開始可以成功執行完成的機率,在這裡我們認定每一個被選擇的網路服務都有其執行失敗的機率。我們顯示,計算aggregated reliability會等於計算特徵矩陣(eigenvector)。我們並提出了兩個選擇網路服務的策略,來讓成功執行完成的機率能夠最高。為了讓我們的研究應用在實際的環境,我們提出了將業界定義流程的語言BPEL轉成為抽象的有限狀態機。並且,我們實作一個雛形架構來實現我們提出的網路服務選擇機制。在實驗當中,我們產生了數個網路服務操作順序,實驗顯示我們的網路服務選擇策略比另外兩種直覺的策略更能達到較高的可靠度(Reliability)。
Abstract
As the emergence of SOA concept, web services has became a key technology to achieve the seamless system interoperability and collaborations with enterprises partners. Since many available web services provide overlapping or identical functionality, when it comes to composing a composite web service, a choice needs to be made for selecting an appropriate component web service. Dynamic web service selection refers to determining a subset of component web services to be invoked so as to orchestrate a composite web service. Previous work in web service selection usually assumes the invocations of web service operations to be independent of on another. But this assumption however does not hold in practice as both the composite and component web services often impose some orderings on the invocation of their operations to represent its business logic. Such orderings constrain the selection of component web services to orchestrate the composite web service. We therefore propose to use finite state machine (FSM) to model the invocation order of web service operations. We define a measure, called aggregated reliability, to measure the probability that a given state in the composite web service will lead to successful execution in the context where each component web service may fail with some probability. We show that the computation of aggregated reliability is equivalent to eigenvector computation. We also propose two strategies to select component web services that are likely to successfully complete the execution of a given sequence of operations. For our approach to work in a practical environment, the dominating composition language BPEL for specifying the operation invocation orders will be transformed into an abstract FSM. We also proposed a prototype for realizing our dynamic WS selection. Our experiments on a generated set of web service operation sequences show that our proposed strategies perform better than two baseline selection strategies.
目次 Table of Contents
CHAPTER 1 - Introduction 1
1.1 Background 1
1.2 Motivation 2
1.3 Thesis Organization 3
CHAPTER 2 - Literature Review 4
2.1 Process Models 4
2.2 Web Service Selection 5
2.3 Automatic web services composition 6
CHAPTER 3 - Problem Description 9
3.1 Key Concepts 9
3.2 Dynamic WS Selection Problem 15
CHAPTER 4 - Our Approach 18
4.1 Computation of Aggregated Reliabilities 21
4.2 Computing Delegation Selection Probabilities 23
4.3 Dynamic WS Selection Strategies 27
Aggregated Reliability(AR)-based Selection Strategy 27
Composability and Aggregated Reliability(CAR)-based Selection Strategy 28
CHAPTER 5 - Prototype Development 30
5.1 BPEL and Its Fault Handler 30
5.2 Transforming A BPEL Specification to An Abstract FSM 32
The policy of eliminating ignored operations 34
5.3 The Architecture for Dynamic WS Selection 38
5.4 Implementation: An Example 41
CHAPTER 6 - Performance Evaluation 45
6.1 Experimentation Design 45
6.2 Results of Success Rate 49
6.3 Results of Composability Rate 53
CHAPTER 7 - Conclusions 56
References 57
參考文獻 References
ActiveBPEL. Open source BPEL engine project. URL: http://www.activebpel.org/
Alonso, G., Casati, F., Kuno, H., & Machiraju, V. (2004). Web services: Concepts, architectures and applications Springer.
Benatallah, B., Casati, F., & Toumani, F. Analysis and management of web service protocols. Proc.23rd Int'l Conf.Conceptual Modeling (ER 2004), ser.LNCS, 3288
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., & Mecella, M. (2005). AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS. International Journal of Cooperative Information Systems, 14(4), 333-376.
BPEL4WS. Business process execution language for web services version 1.1. 2003. URL: http://www-128.ibm.com/developerworks/library/specification/wsbpel
Cardoso, J., Miller, J., Sheth, A., & Arnold, J. (2002). Modeling quality of service for workflows and web service processes. The VLDB Journal
Curbera, F., Duftler, M., Khalaf, R., Nagy, W., Mukhi, N., & Weerawarana, S. (2002). Unraveling the web services web: An introduction to SOAP, WSDL, and UDDI. IEEE Internet Computing, 6(2), 86-93
Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2003). Model-based verification of web service compositions. Automated Software Engineering, 2003.Proceedings.18th IEEE International Conference on, 152-161.
Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2006). LTSA-WS: A tool for model-based verification of web service compositions and choreography. International Conference on Software Engineering, 771-774.
Gerede, {. E., Hull, R., Ibarra, O. H., & Su, J. (2004). Automated composition of e-services: Lookaheads. Proceedings of the 2nd international conference on Service oriented computing, 252-262.
Grassi, V., & Patella, S. (2006). Reliability prediction for service-oriented computing environments. Internet Computing, IEEE, 10(3), 43-49.
Johnson, L. W., Riess, R. D., & Arnold, J. T. Introduction to linear algebra, 5/E.
Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., & Lafon, Y. (2004). Web services choreography description language version 1.0. W3C Working Draft, 17, 10-20041217.
Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., et al. (2004). OWL-S: Semantic markup for web services.
Menasce, D. (2002). QoS issues in web services. Internet Computing, IEEE, 6(6), 72-75.
Milanovic, N., & Malek, M. (2004). Current solutions for web service composition. Internet Computing, IEEE, 8(6), 51-59.
Nakos, G., & Joyner, D. (1998). Linear algebra with applications Brooks/Cole Pub. Co.
NuSOAP. PHP SOAP classes. URL: http://dietrich.ganx4.com/nusoap/
OASIS. Organization for the advancement of structured information standards. URL: http://www.oasis-open.org
Patel, C., Supekar, K., & Lee, Y. (2003). A QoS oriented framework for adaptive management of web service based workflows. Proceeding of Database and Expert Systems 2003 Conference, 826-835.
Peltz, C. (2003). Web services orchestration and choreography. Computer, 36(10), 46-52.
Scheick, J. T. (1997). Linear algebra with applications McGraw-Hill.
Sipser, M. Introduction to the theory of computation PwsPubCo, 1996.
Sudkamp, T. A. (1997). Languages and machines: An introduction to the theory of computer scienceAddison-Wesley Longman Publishing Co., Inc. Boston, MA, USA.
Van Leeuwen, J. (1990). Handbook of theoretical computer science Elsevier Science Inc. New York, NY, USA.
W3C. The World Wide Web Consortium. URL: http://www.w3.org
XPDL. XML process definition language. URL: http://www.wfmc.org/standards/xpdl.htm
Yu, T., & Lin, K. J. (2005). Service selection algorithms for web services with end-to-end QoS constraints. Information Systems and E-Business Management, 3(2), 103-126.
Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., & Sheng, Q. Z. (2003). Quality driven web services composition. Proceedings of the 12th international conference on World Wide Web, , 411-421.
Zhang, J. (2004). An approach to facilitate reliability testing of web services components. Software Reliability Engineering, 2004.ISSRE 2004.15th International Symposium on, , 210-218.
Zhang, J., & Zhang, L. J. (2005). Criteria analysis and validation of the reliability of web services-oriented systems. Web Services, 2005.ICWS 2005.Proceedings.2005 IEEE International Conference on, , 628.
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:校內一年後公開,校外永不公開 campus withheld
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus:永不公開 not available

您的 IP(校外) 位址是 52.90.121.17
論文開放下載的時間是 校外不公開

Your IP address is 52.90.121.17
This thesis will be available to you on Indicate off-campus access is not available.

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

QR Code