臺灣博碩士論文加值系統

近年來，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.

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.