Responsive image
博碩士論文 etd-0821112-182718 詳細資訊
Title page for etd-0821112-182718
論文名稱
Title
一套支援彈性化服務組合與資料整合的Web服務組合模式
A Web Service Composition Model in Support of Flexible Service Composition and Data Integration
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
121
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2011-09-26
繳交日期
Date of Submission
2012-08-21
關鍵字
Keywords
網路服務組合、後設模式、服務範型
Web service composition, service pattern, meta-model
統計
Statistics
本論文已被瀏覽 5938 次,被下載 467
The thesis/dissertation has been browsed 5938 times, has been downloaded 467 times.
中文摘要
雖然再用網路服務(Web service)的效益已被廣泛認同,但組合既存的網路服務以實現不同的商務需求,依然是一項困難且耗時的任務。有鑒於此,一些研究提出工作流程樣版或設計範型等方法,促進再用並簡化服務組合的負擔。然而,工作流程樣版法所定義的流程缺乏彈性而設計範型法則是提供抽象的設計概念與原則,面對多變的環境和多樣的需求,這些方法能改善服務組合的效能有限。提升網路組合效能以面對多變與多樣的環境,是強化企業敏捷性與競爭力的關鍵技術。鑒於目前研究文獻在提升服務組合效能方面的不足,本論文提出一個完備的服務範型模式(service pattern model),以定義具備功能彈性的服務範型(service pattern)。與既有的研究比較,它可定義具功能彈性的流程,並可遵循系統化的步驟快速建構可執行的網路組合。本模式除了包含目前網路組合技術具備的元素外,也提出了獨特性的設計階段流程控制單元與設想型服務(prospect service)等元素。再者,為提升網路組合的效率,本研究也發展了一套邏輯推論方法,能自動地決定服務範型的組態,建構可執行的網路組合。另一方面,本論文針對網路組合的訊息格式不一致議題,提出一個能表達網路服務的資料模式,稱為WS-data model,它擴充關聯式資料模式的資料操作元,能整合網路服務呼叫和訊息處理的網路組合執行計畫於一個查詢樹,解決網路組合訊息不一致的問題並兼顧執行最佳化的計算。此一模式的操作元,也整合入前述服務範型模式,描述工作流程中網路服務間訊息交換處理的需求,促成服務範型模式能完備地描述網路組合的各類流程需求。最後,本研究也設計並執行二個實驗,以評估所提模式的可行性。根據實驗的結果,自動化服務範型組態推論,能有效率地決定正確組態值,以快速建構可執行的網路組合;而另一個部署到Amazon EC2執行的網路組合實驗,也確實反應WS-data model的最佳化計算,能正確地找出執行時間最短的網路組合執行計畫。
Abstract
Although the benefits of reusing services have been widely acknowledged, composing existing services to realize different user requirements is still a difficult and time consuming task. There have been research works on workflow templates and service design patterns that offer a higher level of reuse and assist in the composition process. Yet existing workflow templates are too specific and service design patterns may be too abstract and their effectiveness in assisting the composition process may be limited. In this dissertation, we propose a comprehensive service pattern model that is more flexible than existing workflow/service templates while allowing systematic instantiation into some concrete workflows. The service pattern supports flow control, abstract services, and prospect services (similar to a node in a design pattern). Also, we develop a set of reasoning rules to automatically verify and determine the assignment of instantiation parameters in service pattern. In addition, recent research into automated Web service composition focuses on control flow specification and enforcement. Traditionally, message mismatch between Web services appears as an orthogonal problem that can be solved using XML-based query languages. This study instead considers Web service composition and message manipulation holistically to support greater optimization of Web service composition. A proposed model, the WS-data model, focuses on data exchanges in composing Web services. Several operators with varying properties can be used to compose Web services and manipulate their input and output data. Experiments conducted on the Amazon Cloud platform show that these operators’ properties can be used to develop a more efficient way for realizing a complex task, expressed according to the proposed WS-data model. It is hoped that the proposed models and automated reasoning of instantiation parameters assignment will realize the benefits of SOA in the real business settings.
目次 Table of Contents
論文審定書 i
誌 謝 ii
摘 要 iii
ABSTRACT iv
CHAPTER 1 INTRODUCTION 1
CHAPTER 2 LITERATURE REVIEW 11
2.1 AUTOMATED WEB SERVICE COMPOSITION 11
2.2 FLEXIBLE SERVICE COMPOSITION AND SERVICE DESIGN PATTERNS 12
2.3 MESSAGE MISMATCH RESOLUTION 15
CHAPTER 3 WS-DATA MODEL 18
3.1 WS-DATA TREE AND FOREST 18
3.2 WS-DATA ALGEBRA 20
3.3 EQUIVALENCE RULES 26
3.4 THE REPRESENTATION OF WEB SERVICE COMPOSITION 28
3.5 WS-DATA COST MODEL 30
3.6 COMPARISON WITH OTHER DATA COMPOSITION MODEL 31
CHAPTER 4 SERVICE PATTERN MODEL 34
4.1 THE MOTIVATING EXAMPLES 34
4.2 THE DEFINITION OF SERVICE PATTERN MODEL 39
4.2.1 Prospect service 40
4.2.2 Adaptable workflow template 41
4.2.3 Service pattern model 43
4.3 THE INSTANTIATION OF SERVICE PATTERN 49
4.3.1 The instantiation for stock replenishment 49
4.3.2 The instantiation for profit computation 53
4.3.3 The instantiation for order fulfillment 57
4.3.4 The instantiation for a new business process 61
4.4 COMPARISON WITH OTHER SERVICE COMPOSITION MODELS 65
CHAPTER 5 OPTIMIZING WS-DATA EXPRESSIONS AND PERFORMANCE EVALUATIONS 69
5.1 PERFORMANCE OF WS-DATA OPERATORS 69
5.2 COST ESTIMATION AND OPTIMIZATION PROCEDURE 70
5.3 THE PERFORMANCE COMPARISON ON AMAZON CLOUD 74
CHAPTER 6 AUTOMATED INSTANTIATION PARAMETERS ASSIGNMENT AND PERFORMANCE EVALUATIONS 76
6.1 THE SYSTEM ARCHITECTURE 76
6.2 THE FACTS CREATION 77
6.3 INFERENCE RULES 79
6.3.1 Matching rules in the first stage 79
6.3.2 Alignment rules in the second stage 80
6.3.3 Goal checking rule in the third stage 85
6.4 THE PERFORMANCE EVALUATIONS 87
CHAPTER 7 CONCLUSIONS 94
REFERENCE 97
APPENDIX: THE INFERENCE RULES IN JESS 100
參考文獻 References
Abu-Matar, M., and Gomaa, H. "Feature Based Variability for Service Oriented Architectures," 2011 9th Working IEEE/IFIP Conference on Software Architecture, 2011, pp. 302-309.
Aggarwal, R., Kunal, V., Miller, J., and Milnor, W. "Constraint driven Web service composition in METEOR-S," in: 2004 IEEE International Conference on Services Computing, 2004, pp. 23-30.
Akkiraju, R., Srivastava, B., Ivan, A. A., Goodwin, R., and Syeda-Mahmood, T. "SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition," IEEE International Conference on Web Services (ICWS 2006), 2006, pp. 37–44.
Algergawy, A., Nayak, R., and Saake, G. "Element Similarity Measures in XML Schema Matching," Information Sciences (180:24) 2010, pp 4975-4998.
Anonymous "An Ontology to Describe the Schema Information of a Relational Database," 2007.
Bellur, U., and Vadodaria, H. "On Extending Semantic Matchmaking to Include Preconditions and Effects," in: 2008 IEEE International Conference on Web Services (ICWS 2008), IEEE Computer Society, 2008, pp. 120-128.
Benatallah, B., Dumas, M., Fauvet, M. C., and Rabhi, F. A. "Towards Patterns of Web Services Composition," in: Patterns and Skeletons for Parallel and Distributed Computing, F.A. Rabhi and S. Gorlatch (eds.), Springer-Verlag, London, 2002a, pp. 265-296.
Benatallah, B., Dumas, M., Fauvet, M. C., Rabhi, F. A., and Sheng, Q. Z. "Overview of Some Patterns for Architecting and Managing Composite Web Services," ACM SIGecom Exchanges (3:3) 2002b, pp 9-16.
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., and Mecella, M. "Automatic Aervice Composition Based on Behavioral Descriptions," International Journal of Cooperative Information Systems (14:4) 2005, pp 333-376.
Boukottaya, A., and Vanoirbeek, C. "Schema Matching for Transforming Structured Documents," 2005 ACM symposium on Document engineering, 2005, pp. 101-110.
Brogi, A., Corfini, S., and Popescu, R. "Semantics-Based Composition-Oriented Discovery of Web Services," ACM Transactions on Internet Technology (8:4) 2008, pp 1-39.
Chen, K., Xu, J., and Reiff-Marganiec, S. "Markov-HTN Planning Approach to Enhance Flexibility of Automatic Web Service Composition," IEEE International Conference on Web Services (ICWS 2009), IEEE, 2009, pp. 9-16.
Cummins, F. Building the Agile Enterprise: with SOA, BPM and MBM Morgan Kaufmann, 2008.
Doshi, P., Goodwin, R., Akkiraju, R., and Verma, K. "Dynamic Workflow Composition Using Markov Decision Processes," International Journal of Web Services Research (2:1) 2004, pp 576-582.
Erl, T. Service-oriented architecture: concepts, technology, and design Prentice Hall PTR, 2005.
Erl, T. SOA Principles of Service Design Prentice Hall PTR, Upper Saddle River, NJ, 2007.
Fernandez, M., Malhotra, A., Marsh, J., Nagy, M., and Walsh, N. "XQuery 1.0 and XPath 2.0 Data Model," W3C, 2007.
Frasincar, F., Houben, G. J., and Pau, C. "XAL: An Algebra for XML Query Optimization," Australian Computer Science Communications (24:2) 2002, pp 49-56.
Geebelen, K., Michiels, S., and Joosen, W. "Dynamic Reconfiguration Using Template Based Web Service Composition," the 3rd Workshop on Middleware for Service Oriented Computing, 2008, pp. 49-54.
Gerede, C. E., Hull, R., Ibarra, O. H., and Su, J. "Automated Composition of E-Services: Lookaheads," the 2nd International Conference on Service Oriented Computing, 2004, pp. 252-262.
Gil, Y., Ratnakar, V., Kim, J., Gonzalez-Calero, P., Groth, P., Moody, J., and Deelman, E. "Wings: Intelligent Workflow-Based Design of Computational Experiments," IEEE Intelligent Systems (26:1) 2011, pp 62-72.
Gu, Z., Li, J., and Xu, B. "Automatic Service Composition Based on Enhanced Service Dependency Graph," IEEE International Conference on Web Services (ICWS 2008), 2008, pp. 246-253.
Hadaytullah, Koskimies, K., and Systa, T. "Using Model Customization for Variability Management in Service Compositions," 2009 IEEE International Conference on Web Services (ICWS 2009), 2009, pp. 687-694.
IBM "IBM Business Process Manager," 2011.
Jagadish, H., Lakshmanan, L., Srivastava, D., and Thompson, K. "TAX: A Tree Algebra for XML," the 8th International Workshop on Database Programming Languages (DBPL 2001), 2001, pp. 149-164.
Kapuruge, M., Jun, H., and Colman, A. "Support for Business Process Flexibility in Service Compositions: An Evaluative Survey," 2010 21st Australian Software Engineering Conference (ASWEC), 2010, pp. 97-106.
Lecue, F., Salibi, S., Bron, P., and Moreau, A. "Semantic and Syntactic Data Flow in Web Service Composition," IEEE International Conference on Web Services (ICWS 2008), 2008, pp. 211-218.
Levy, M., and Weitz, B. A. Retailing Management, (6th ed.) McGraw-Hill/Irwin, 2007.
Li, X., Madnick, S., Zhu, H., and Fan, Y. "Reconciling Semantic Heterogeneity in Web Services Composition," the 30th International Conference on Information Systems (ICIS 2009), 2009.
Liang, Q. A., and Su, S. Y. W. "AND/OR Graph and Search Algorithm for Discovering Composite Web Services," International Journal of Web Services Research (2:4) 2005, pp 48-67.
Lucchi, R., and Mazzara, M. "A Pi-calculus Based Semantics for WS-BPEL," Journal of Logic and Algebraic Programming (70:1) 2007, pp 96-118.
Madnick, S., and Zhu, H. "Improving Data Quality through Effective Use of Data Semantics," Data & Knowledge Engineering (59:2) 2006, pp 460-475.
Magnani, M., and Montesi, D. "A Unified Approach to Structured and XML Data Modeling and Manipulation," Data & Knowledge Engineering (59:1) 2006, pp 25-62.
Medjahed, B., Bouguettaya, A., and Elmagarmid, A. K. "Composing Web services on the Semantic Web," The VLDB Journal (12:4) 2003, pp 333-351.
Mietzner, R., and Leymann, F. "Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors," 2008 IEEE International Conference on Services Computing (SCC 2008), 2008, pp. 359-366.
Mrissa, M., Ghedira, C., Benslimane, D., Maamar, Z., Rosenberg, F., and Dustdar, S. "A Context-Based Mediation Approach to Compose Semantic Web Services," ACM Transactions on Internet Technology (8:1) 2007, p Article 4.
Muller, R., Greiner, U., and Rahm, E. "AgentWork: A Workflow System Supporting Rule-based Workflow Adaptation," Data & Knowledge Engineering (51:2) 2004, pp 223-256.
Nagarajan, M., Verma, K., Sheth, A. P., and Miller, J. A. "Ontology Driven Data Mediation in Web Services," International Journal of Web Services Research (4:4) 2007, pp 104-126.
Narayanan, S., and McIlraith, S. A. "Simulation, Verification and Automated Composition of Web Services," the 11th International Conference on World Wide Web, 2002, pp. 77-88.
Narendra, N. C., and Ponnalagu, K. "Towards a Variability Model for SOA-Based Solutions," 2010 IEEE International Conference on Services Computing (SCC 2010), 2010, pp. 562-569.
Narendra, N. C., Ponnalagu, K., Srivastava, B., and Banavar, G. S. "Variation-Oriented Engineering (VOE): Enhancing Reusability of SOA-based Solutions," 2008 IEEE International Conference on Services Computing (SCC 2008), 2008, pp. 257-264.
Nguyen, T., and Colman, A. "A Feature-Oriented Approach for Web Service Customization," 2010 IEEE International Conference on Web Services (ICWS 2010), 2010, pp. 393-400.
Nguyen, T., Colman, A., Talib, M. A., and Han, J. "Managing Service Variability: State of the Art and Open Issues," the 5th Workshop on Variability Modeling of Software-Intensive Systems, 2011, pp. 165-173.
Oracle "Oracle Business Process Management Suite," 2011.
Ouyang, C., Verbeek, E., Van Der Aalst, W. M. P., Breutel, S., Dumas, M., and Ter Hofstede, A. H. M. "Formal Semantics and Analysis of Control Flow in WS-BPEL," Science of Computer Programming (67:2-3) 2007, pp 162-198.
Paolucci, M., Kawamura, T., Payne, T., and Sycara, K. "Semantic Matching of Web Services Capabilities," 1st International Semantic Web Conference (ISWC 2002), 2002, pp. 333-347.
Pistore, M., Traverso, P., and Bertoli, P. "Automated Composition of Web Services by Planning in Asynchronous Domains," the 15 International Conference on Automated Planning and Scheduling, 2005, pp. 2-11.
Pohl, K., Bockle, G., and Linden, F. Software Product Line Engineering, Foundations, Principles, and Techniques Springer-Verlag, Berlin, Heidelberg, 2005.
Ponnekanti, S. R., and Fox, A. "SWORD: A Developer Toolkit for Web Service Composition," the 11th World Wide Web Conference, 2002.
Ruokonen, A., Raisanen, V., Siikarla, M., Koskimies, K., and Systa, T. "Variation Needs in Service-Based Systems," 2008 IEEE Sixth European Conference on Web Services (ECOWS 2008), 2008, pp. 115-124.
SAP "SAP NetWeaver BUSINESS PROCESS MANAGEMENT," 2011.
Sirin, E., Parsia, B., and Hendler, J. "Template-Based Composition of Semantic Web Services," AAAI Fall Symposium on Agents and the Semantic Web, 2005.
Sirin, E., Parsia, B., Wu, D., Hendler, J., and Nau, D. "HTN Planning for Web Service Composition Using SHOP2," Web Semantics: Science, Services and Agents on the World Wide Web (1:4) 2004, pp 377-396.
Sloan, J. C., and Khoshgoftaar, T. M. "From Web Service Artifact to a Readable and Verifiable Model," IEEE Transactions on Services Computing (2:4) 2009, pp 277-288.
Srivastava, U., Munagala, K., Widom, J., and Motwani, R. "Query Optimization over Web Services," the 32nd International Conference on Very Large Data Bases, VLDB Endowment, 2006, pp. 355-366.
Tan, W., Fan, Y., and Zou, M. "A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language," IEEE Transactions on Automation Science and Engineering (6:1) 2009, pp 94-106.
Ullman, J. D. "Query Optimization for Database Systems," in: Principles of Database and Knowledge-Base Systems, Computer Science Press, 1989, pp. 633-725.
van der Aalst, W. M. P., ter Hofstede, A., Kiepuszewski, B., and Barros, A. P. "Workflow Patterns," Distributed and Parallel Databases (14:1) 2003, pp 5-51.
Van Der Aalst, W. M. P., and Ter Hofstede, A. H. M. "YAWL: Yet Another Workflow Language," Information Systems (30:4) 2005, pp 245-275.
Yu, T., Zhang, Y., and Lin, K. J. "Efficient Algorithms for Web Services Selection with End-to-End QoS Constraints," ACM Transactions on The Web (1:1) 2007, pp 1-25.
Zdun, U., Hentrich, C., and Aalst, W. M. P. V. D. "A Survey of Patterns for Service-Oriented Architectures," International Journal of Internet Protocol Technology (1:3) 2006, pp 132 - 143.
Zdun, U., Hentrich, C., and Dustdar, S. "Modeling Process-Driven and Service-Oriented Architectures Using Patterns and Pattern Primitives," ACM Transations on Web (1:3) 2007, p 14.
Zeng, L., Ngu, A., Benatallah, B., Podorozhny, R., and Lei, H. "Dynamic Composition and Optimization of Web Services," Distributed and Parallel Databases (24:1) 2008, pp 45-72.
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:自定論文開放時間 user define
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus: 已公開 available


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

QR Code