AUTOMATIC WEB SERVICE COMPOSITION WITH AI PLANNING A THESIS SUBMITTED TO THE GRADUATE SCHOOL OF NATURAL AND APPLIED SCIENCES OF MIDDLE EAST TECHNICAL UNIVERSITY BY MEHMET KUZU IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER ENGINEERING JULY 2009 i Approval of the thesis: AUTOMATIC WEB SERVICE COMPOSITION WITH AI PLANNING submitted by MEHMET KUZU in partial fulfillment of the requirements for the degree of Master of Science in Computer Engineering Department, Middle East Technical University by, Prof. Dr. Canan Özgen _______________ Dean, Graduate School of Natural and Applied Sciences Prof. Dr. M üslim Bozyiğit _______________ Head of Department, Computer Engineering Assoc. Prof. Dr. Nihan Kesim Çiçekli Supervisor, Computer Engineering Dept., METU _______________ Examining Committee Members: Assoc. Prof. Dr. Ali Doğru Computer Engineering Dept., METU _____________________ Assoc. Prof. Dr. Nihan Kesim Çiçekli Computer Engineering Dept., METU _____________________ Assoc. Prof. Dr. Halit Oğuztüzün Computer Engineering Dept., METU _____________________ Asst. Prof. Dr. Pınar Şenkul Computer Engineering Dept., METU _____________________ Dr. Gökçe Banu Laleci Ertürkmen SRDC, METU _____________________ Date: 27.07.2009 i i I hereby declare that all information in this document has been obtained and presented in accordance with academic rules and ethical conduct. I also declare that, as required by these rules and conduct, I have fully cited and referenced all material and results that are not original to this work. Name, Last name: Mehmet Kuzu Signature : ii i ABSTRACT AUTOMATIC WEB SERVICE COMPOSITION WITH AI PLANNING Kuzu, Mehmet M.S., Department of Computer Engineering Supervisor: Assoc. Prof. Dr. Nihan Kesim Çiçekli July 2009, 129 pages In this thesis, some novel ideas are presented for solving automated web service composition problem. Some possible real world problems such as partial observability of environment, nondeterministic effects of web services, service execution failures are solved through some mechanisms. In addition to automated web service composition, automated web service invocation task is handled in this thesis by using reflection mechanism. The proposed approach is based on AI planning. Web service composition problem is translated to AI planning problem and a novel AI planner namely “Simplanner” that is designed for working in highly dynamic environments under time constraints is adapted to the proposed system. World altering service calls are done by conforming to the WS-Coordination and WS-Business Activity web service transaction specifications in order to physically repair failure situations and prevent undesired side effects of aborted web service composition efforts. Keywords: Automatic Web Service Composition, Automatic Web Service Invocation, Semantic Web Services, AI Planning iv ÖZ YAPAY ZEKA PLANLAMA TEKNİKLERİ İLE OTOMATİK WEB SERVİS BİLEŞİMİ Kuzu, Mehmet Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Doç. Dr. Nihan Kesim Çiçekli Temmuz 2009, 129 sayfa Bu tezde, otomatik örün servis birleşimi problemini çözmek için bazı yenilikçi düşünceler sunulmuştur. Çevrenin kısmen algılanabilirliği, örün servislerinin belirsiz etkileri, servislerin uygulama anı hataları gibi bazı gerçek hayat problemleri birtakım yöntemler aracılığı ile çözülmüştür. Otomatik örün servis birleşimine ek olarak, otomatik örün servis yürütme işlemi de dinamik programlama özellikleri kullanılarak bu tez kapsamında ele alınmıştır. Önerilen yaklaşım tarzı, yapay zekâ planlama tekniğine dayalıdır. Örün servisleri birleşimi problemi, yapay zekâ planlama problemine dönüştürülmüş; son derece dinamik ortamlarda ve zaman kısıtlaması altında çalışmak için tasarlanmış yenilikçi bir yapay zekâ planlama aracı olan "Simplanner" sisteme uyarlanmıştır. Çevresel değişim etkileri olan servis çağrıları, WS-Coordination ve WS-Business Activity örün servis hareketleri tanımlamalarına uygun olarak gerçekleştirilmektedir. Böylece hatalı durumların fiziksel onarımı yapılıp, yarıda kesilen örün servis birleşim denemelerinin istenmeyen yan etkileri ortadan kaldırılmıştır. Anahtar Kelimeler: Otomatik Örün Servis Birleşimi, Otomatik Örün Servis Tetiklenmesi, Anlamsal Örün Servisleri, Yapay Zekâ ile Planlama v To my family v i ACKNOWLEDGEMENTS I would like to express my sincere gratitude and appreciation to my supervisor Assoc. Prof. Dr. Nihan Kesim Çiçekli for her endless encouragement and support throughout this study. I am very lucky that I have such a friendly, intellectual, patient and benignant supervisor. I would like to thank Assoc. Prof. Dr.Nilufer Önder who gave me invaluable suggestions about my thesis. I want also thank to Çağla Okutan and Ertay Kaya who work on the same subject and helped me a lot for overcoming difficulties. I am deeply grateful to my parents who devoted their life to their children and my brother Ali Cem for their love and support. Without them, this work could not have been completed. I am deeply indebted to my friends, Gökhan Yaprakkaya, Hüseyin Yılmaz, Kurtçebe Eroğlu, Çağlar Şenaras, Özgür Karaaslan, Nedim Ozan Tekin and all the other colleagues at HAVELSAN whose suggestions and encouragement helped me a lot during my study. I would thank the Scientific and Technological Research Council of Turkey (TÜBİTAK) for providing the financial means throughout this study. Finally, my special thanks go to Asst. Prof. Dr. Oscar Sapena who is the creator of Simplanner that is the most important component of this thesis. He answered all my questions with patience and clarifies all the obscure points in my mind. vi i TABLE OF CONTENTS ABSTRACT ............................................................................................................... iv ÖZ ............................................................................................................................... v ACKNOWLEDGEMENTS ...................................................................................... vii TABLE OF CONTENTS ......................................................................................... viii LIST OF FIGURES.................................................................................................... xi CHAPTERS 1 INTRODUCTION .............................................................................................. 1 2 BACKGROUND INFORMATION AND RELATED WORK ...................... 10 2.1 Background Information ........................................................................ 10 2.1.1 Web Services ................................................................................. 10 2.1.2 OWL-S .......................................................................................... 13 2.1.3 AI Planning ................................................................................... 15 2.1.4 PDDL ............................................................................................ 16 2.1.5 Web Service Composition ............................................................. 17 2.2 Previous Works with Similar Approaches .............................................. 23 2.2.1 Web Service Composition with SHOP2 HTN Planner ................. 23 2.2.2 Web Service Composition with OWLS-XPLAN ......................... 24 2.2.3 Web Service Composition with WSPLAN ................................... 25 vi ii 2.2.4 IBM’s Service Creation Environment Based on End to End Composition of Web Services .......................................................... 26 3 OVERALL SYSTEM ARCHITECTURE .................................................... 28 3.1 Motivating Example ................................................................................ 28 3.2 System Architecture ................................................................................ 33 3.2.1 Preprocessing Phase ...................................................................... 34 3.2.2 Planning Phase .............................................................................. 35 3.2.3 Action Handling Phase .................................................................. 37 3.2.4 Execution Phase ............................................................................ 38 3.2.5 Unexpected Event Handling Phase ............................................... 40 3.3 OWL-S/PDDL Mapping ......................................................................... 41 4 AUTOMATED WSC WITH SIMPLANNER .............................................. 49 4.1 Introduction to Simplanner ..................................................................... 49 4.2 Simplanner Application to WSC Domain ............................................... 55 4.2.1 Problem Statement to the Simplanner ........................................... 56 4.2.2 Planner – Execution Component Integration ................................ 60 4.2.3 Execution Component and Its Integration with Unexpected Event Handler Component ......................................................................... 64 4.2.4 Unexpected Event Handler Component and Its Integration with Planner .............................................................................................. 67 4.3 Advantages of Using Simplanner for WSC Domain .............................. 69 5 AUTOMATED SERVICE INVOCATION ISSUES ................................... 73 ix 5.1 Automated Service Invocation ................................................................ 73 5.2 Logical/Physical Map .............................................................................. 82 5.3 Action Caching Mechanism .................................................................... 85 6 TRANSACTION ISSUES FOR WEB SERVICE COMPOSITION ............ 90 6.1 WS-Transaction Frameworks.................................................................. 91 6.2 Integration of WS-Transaction Frameworks to the Proposed System .... 96 7 CASE STUDY: TRAVEL DOMAIN ......................................................... 102 7.1 Case 1: Information Unavailability ....................................................... 103 7.2 Case 2: Service Unavailibality .............................................................. 109 8 CONCLUSIONS AND FUTURE WORK ................................................. 114 REFERENCES ........................................................................................................ 118 APPENDIX A TRAVEL ONTOLOGY ............................................................ 125 x
Description: