Automated Web Service Composition in Practice: from Composition - PowerPoint PPT Presentation

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Automated Web Service Composition in Practice: from Composition Requirements Specification to Process Run. Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it June 11, 2007 - YR-SOC 07 Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Outline Automated Web Service Composition 1 Web Services and their Composition The ASTRO Automated Composition Approach The Amazon-MPS Case study 2 The Component Services Specifying Composition Requirements Automated Composition Conclusions and Future Works 3 Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works Web Service Composition Web Services: software platform-independent applications that export a description of their functionalities and make it available using standard network technologies e.g. SOAP, WSDL, UDDI, WS-BPEL, WS-Transaction, .. Web Service Composition: combine existing services, available on the web, to define higher level functionalities Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works Web Service Composition Web Services: software platform-independent applications that export a description of their functionalities and make it available using standard network technologies e.g. SOAP, WSDL, UDDI, WS-BPEL, WS-Transaction, .. Web Service Composition: combine existing services, available on the web, to define higher level functionalities e-Bookstore bookSearch ... customer virtualCart ... ... e-payment ... Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works Automated Web Service Composition Automated Web Service Composition: automatically synthesise a ready to run executable process that, interacting with a set of component services, satisfies given composition requirements. Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works Automated Web Service Composition Automated Web Service Composition: automatically synthesise a ready to run executable process that, interacting with a set of component services, satisfies given composition requirements. e-Bookstore bookSearch abs WS-BPEL ... + WSDL customer virtualCart abs WS-BPEL ... ... + WSDL abs WS-BPEL e-payment L E P + WSDL B - S W c e x e abs WS-BPEL ... + WSDL Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works The ASTRO Automated Composition Approach Requirements Composition R Composite Service AUTOMATED Services W W1 COMPOSITION BPEL4WS Executable Component Process Wn BPEL4WS Abstract Processes Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works The ASTRO Automated Composition Approach Requirements Composition R Composite Service AUTOMATED Services W W1 COMPOSITION BPEL4WS Executable Component Process Wn BPEL4WS Abstract Processes Challenges ⇒ Complex Composition Requirements control flow requirements: preferences and recovery conditions data flow requirements: constrain data manipulation and exchange ⇒ Component Services as Stateful Business Processes Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works The ASTRO Automated Composition Approach AUTOMATED COMPOSITION Requirements Composition Planning Goal ρ R Intuitive and easy-to-define requirements specification languages Composite Service MBP Efficient automated composition Services Σ c W W1 Σ W1 techniques Plan BPEL4WS Executable ⇒ Automated composition as a planning Component Process Σ Planning problem (Planning as Model Checking) Domain Wn Σ Wn BPEL4WS Abstract Processes Challenges ⇒ Complex Composition Requirements control flow requirements: preferences and recovery conditions data flow requirements: constrain data manipulation and exchange ⇒ Component Services as Stateful Business Processes Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works The ASTRO Automated Composition Approach AUTOMATED COMPOSITION Requirements Composition Planning Goal ρ R Intuitive and easy-to-define requirements specification languages Composite Service MBP Efficient automated composition Services Σ c W W1 Σ W1 techniques Plan BPEL4WS Executable ⇒ Automated composition as a planning Component Process Σ Planning problem (Planning as Model Checking) Domain Wn Σ Wn BPEL4WS Abstract Processes Challenges ⇒ Complex Composition Requirements control flow requirements: preferences and recovery conditions data flow requirements: constrain data manipulation and exchange ⇒ Component Services as Stateful Business Processes ⇒ Practical applicability in real composition scenarios Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline Automated Web Service Composition Web Services and their Composition The Amazon-MPS Case study The ASTRO Automated Composition Approach Conclusions and Future Works The Challenge Evaluate the feasibility and efficiency of the ASTRO approach on a real composition scenario that entails a high level of complexity. Amazon E-Commerce Service e-Bookstore bookSearch ... virtualCart customer ... ... e-payment ... Monte dei Paschi Virtual POS Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline The Component Services Automated Web Service Composition Specifying Composition Requirements The Amazon-MPS Case study Automated Composition Conclusions and Future Works Outline Automated Web Service Composition 1 Web Services and their Composition The ASTRO Automated Composition Approach The Amazon-MPS Case study 2 The Component Services Specifying Composition Requirements Automated Composition Conclusions and Future Works 3 Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it

Outline The Component Services Automated Web Service Composition Specifying Composition Requirements The Amazon-MPS Case study Automated Composition Conclusions and Future Works Amazon E-Commerce Service (ECS) ECS aim Exposes Amazon product information and e-commerce functionalities: searching for Amazon products (books, movies, music, restaurant, etc.) handling shopping carts inspecting customer contents (reviews, wish lists, listmania lists, etc..) inspecting vendor contents (customer feedbacks, etc..) Automated Web Service Composition in Practice: from Comp Annapaola Marconi , Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it