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

▶
automated web service composition in practice
SMART_READER_LITE
LIVE PREVIEW

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

Feb 12, 2023 126 likes •736 views

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

slide-1
SLIDE 1

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

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-2
SLIDE 2

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Outline

1

Automated Web Service Composition Web Services and their Composition The ASTRO Automated Composition Approach

2

The Amazon-MPS Case study The Component Services Specifying Composition Requirements Automated Composition

3

Conclusions and Future Works

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-3
SLIDE 3

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

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

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-4
SLIDE 4

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

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 virtualCart e-payment customer

... ... ... ...

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-5
SLIDE 5

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

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.

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-6
SLIDE 6

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

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 virtualCart e-payment customer

... ... ... ...

abs WS-BPEL WSDL +

e x e c W S

  • B

P E L

abs WS-BPEL WSDL + abs WS-BPEL WSDL + abs WS-BPEL WSDL +

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-7
SLIDE 7

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

The ASTRO Automated Composition Approach

BPEL4WS Abstract Processes W Composite Service BPEL4WS Executable Process Requirements Composition AUTOMATED COMPOSITION W1 Wn Services Component R

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-8
SLIDE 8

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

The ASTRO Automated Composition Approach

BPEL4WS Abstract Processes W Composite Service BPEL4WS Executable Process Requirements Composition AUTOMATED COMPOSITION W1 Wn Services Component R

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

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-9
SLIDE 9

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

The ASTRO Automated Composition Approach

Σc

BPEL4WS Abstract Processes W Composite Service BPEL4WS Executable Process

Σ

Planning Domain MBP Requirements Composition W1 Wn Services Component Plan

ρ

Planning Goal

Wn W1

Σ Σ

R AUTOMATED COMPOSITION

Intuitive and easy-to-define requirements specification languages Efficient automated composition techniques ⇒ Automated composition as a planning problem (Planning as Model Checking)

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

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-10
SLIDE 10

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

The ASTRO Automated Composition Approach

Σc

BPEL4WS Abstract Processes W Composite Service BPEL4WS Executable Process

Σ

Planning Domain MBP Requirements Composition W1 Wn Services Component Plan

ρ

Planning Goal

Wn W1

Σ Σ

R AUTOMATED COMPOSITION

Intuitive and easy-to-define requirements specification languages Efficient automated composition techniques ⇒ Automated composition as a planning problem (Planning as Model Checking)

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

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-11
SLIDE 11

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works Web Services and their Composition The ASTRO Automated Composition Approach

The Challenge

Evaluate the feasibility and efficiency of the ASTRO approach on a real composition scenario that entails a high level of complexity.

e-Bookstore

bookSearch virtualCart e-payment customer

... ... ... ...

Amazon

E-Commerce Service Monte dei Paschi Virtual POS

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-12
SLIDE 12

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Outline

1

Automated Web Service Composition Web Services and their Composition The ASTRO Automated Composition Approach

2

The Amazon-MPS Case study The Component Services Specifying Composition Requirements Automated Composition

3

Conclusions and Future Works

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-13
SLIDE 13

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

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..)

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-14
SLIDE 14

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

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..) ECS specification WSDL document defining available operations, messages and their data structure several documents describing informally (natural language, flow charts, etc.): ⇒ business workflows ⇒ failures and non-nominal cases ⇒ structure of each specific purpose message (movie-Search vs book-Search)

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-15
SLIDE 15

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

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..) ECS specification WSDL document defining available operations, messages and their data structure several documents describing informally (natural language, flow charts, etc.): ⇒ business workflows ⇒ failures and non-nominal cases ⇒ structure of each specific purpose message (movie-Search vs book-Search) ⇒ Need for an explicit and formal specification of each business workflow ⇒ Amazon Book-Search and Amazon Virtual-Cart

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-16
SLIDE 16

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Amazon Virtual-Cart Service

body cartCreateErr error cartCreateResponse body cartAddErr error cartAddResponse body cartGetErr error cartGetResponse Amazon Virtual Cart

INPUT MSG PART ACTION MSG PART OUTPUT ACTION

!cartAddResponse !cartAddErr ?cartAdd cartAdd cartCreate body body ?clear ?nop ?cartGet !cartGetErr !cartGetResponse ?cartCreate !cartCreateErr !cartCreateResponse CREATE_ERR GET_ERR NOT_EMPTY SUCC START

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-17
SLIDE 17

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Amazon Virtual-Cart Service

body cartCreateErr error cartCreateResponse body cartAddErr error cartAddResponse body cartGetErr error cartGetResponse Amazon Virtual Cart

INPUT MSG PART ACTION MSG PART OUTPUT ACTION

!cartAddResponse !cartAddErr ?cartAdd cartAdd cartCreate body body ?clear ?nop ?cartGet !cartGetErr !cartGetResponse ?cartCreate !cartCreateErr !cartCreateResponse CREATE_ERR GET_ERR NOT_EMPTY SUCC START

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-18
SLIDE 18

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Amazon Book-Search Service

customerId itemSearchRequest login body itemSearchResponse body itemSearchError error

INPUT MSG PART ACTION MSG PART OUTPUT ACTION

Amazon Book Search !itemSearchResponse ?login !loginAck ?logout ?itemSearchRequest !itemSearchErr !loginErr START FAIL SUCC

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-19
SLIDE 19

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

MPS Virtual Point of Sale (POS) Service

Models a real on-line payment service offered by an Italian bank (Monte dei Paschi di Siena).

ACTION MSG PART INPUT

MPS Virtual POS startTrans amount shopEmail shopID

ACTION MSG PART OUTPUT

requestSubmitted requestNotAvail confirmAck transTime transAuthorization errorDesc startTransAck startTransErr errorDesc paymentURL transID errorDesc transDate confirmErr ?startTrans !confirmErr !confirmAck !requestSubmitted !requestNotAvail ?cancel ?confirm !startTransErr !startTransAck SUCC DATA_ERR CUSTOMER_ERR CANCELED COMMIT_ERR START

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-20
SLIDE 20

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

e-Bookstore service customer interface

customerId login keyword author publisher title search ASIN quantity add transDate transTime transAuthorization sent subTotal paymentURL checkoutAck confirmErr error e−Bookstore Client

INPUT MSG PART ACTION ACTION MSG PART OUTPUT

searchResult addErr addAck checkoutErr searchErr error error numItems ASIN detailPageURL author title publisher ISBN price subTotal error ?login !loginAck !loginErr !searchErr !searchResult ?search ?add !addErr !addAck !checkoutAck !checkoutErr ?logout ?checkout LOGIN_ERR LOGOUT CHECKOUT_ERR !confirmErr !sent PAY_ERR SUCC

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-21
SLIDE 21

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Control Flow Requirements

e-Bookstore

bookSearch virtualCart e-payment customer

... ... ... ...

e-Bookstore goal SELL BOOKS

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-22
SLIDE 22

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Control Flow Requirements

e-Bookstore

bookSearch virtualCart e-payment customer

. . . . . . . . . . . . . . . . . . . . . . . . It´s too expensive! We don´t have that book! Payment transaction failed!

e-Bookstore goal do whatever possible to SELL BOOKS if something goes wrong guarantee NO SINGLE COMMITMENTS

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-23
SLIDE 23

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Control Flow Requirements

e-Bookstore

bookSearch virtualCart e-payment customer

. . . . . . . . . . . . . . . . . . . . . . . . It´s too expensive! We don´t have that book! Payment transaction failed!

e-Bookstore goal do whatever possible to SELL BOOKS if something goes wrong guarantee NO SINGLE COMMITMENTS

⇒ Take into account the transactionality of each service within the overall composition.

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-24
SLIDE 24

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Control Flow Requirements

body cartCreateErr error cartCreateResponse body cartAddErr error cartAddResponse body cartGetErr error cartGetResponse Amazon Virtual Cart

INPUT MSG PART ACTION MSG PART OUTPUT ACTION

!cartAddResponse !cartAddErr ?cartAdd cartAdd cartCreate body body ?clear ?nop ?cartGet !cartGetErr !cartGetResponse ?cartCreate !cartCreateErr !cartCreateResponse CREATE_ERR GET_ERR NOT_EMPTY SUCC START

ACTION MSG PART INPUT

MPS Virtual POS startTrans amount shopEmail shopID

ACTION MSG PART OUTPUT

requestSubmitted requestNotAvail confirmAck transTime transAuthorization errorDesc startTransAck startTransErr errorDesc paymentURL transID errorDesc transDate confirmErr ?startTrans !confirmErr !confirmAck !requestSubmitted !requestNotAvail ?cancel ?confirm !startTransErr !startTransAck SUCC DATA_ERR CUSTOMER_ERR CANCELED COMMIT_ERR START

Semantic annotations: some states are marked as successful (),

  • ther as failing (×).

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-25
SLIDE 25

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Control Flow Requirements

body cartCreateErr error cartCreateResponse body cartAddErr error cartAddResponse body cartGetErr error cartGetResponse Amazon Virtual Cart

INPUT MSG PART ACTION MSG PART OUTPUT ACTION

!cartAddResponse !cartAddErr ?cartAdd cartAdd cartCreate body body ?clear ?nop ?cartGet !cartGetErr !cartGetResponse ?cartCreate !cartCreateErr !cartCreateResponse CREATE_ERR GET_ERR NOT_EMPTY SUCC START

ACTION MSG PART INPUT

MPS Virtual POS startTrans amount shopEmail shopID

ACTION MSG PART OUTPUT

requestSubmitted requestNotAvail confirmAck transTime transAuthorization errorDesc startTransAck startTransErr errorDesc paymentURL transID errorDesc transDate confirmErr ?startTrans !confirmErr !confirmAck !requestSubmitted !requestNotAvail ?cancel ?confirm !startTransErr !startTransAck SUCC DATA_ERR CUSTOMER_ERR CANCELED COMMIT_ERR START

eBS ABS AVC VPOS Primary

  • Secondary

× /× × ×

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-26
SLIDE 26

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Specifying Data Flow Requirements

Constraining the flow of data among the Web Services participating in the composition.

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-27
SLIDE 27

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Specifying Data Flow Requirements

Constraining the flow of data among the Web Services participating in the composition. The idea Define the valid routings and manipulations of messages that the new composite service can perform

How incoming messages must be used, forwarded or manipulated, to obtain outgoing messages

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-28
SLIDE 28

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Datanet Modeling Language

The data flow requirements are collected in a diagram called data-net nodes: sources/target of data on data arcs: flow or manipulation of data

✁ ✁ ✂✁✂ ✂✁✂ ✄✁✄ ✄✁✄☎ ☎ ✆✁✆ ✆✁✆✝ ✝ ✞✁✞✁✞✁✞✁✞✁✞ ✟✁✟✁✟✁✟✁✟✁✟ ✠✁✠✁✠✁✠✁✠✁✠ ✡✁✡✁✡✁✡✁✡✁✡ ✁ ✁ ✂✁✂ ✂✁✂ ✄✁✄ ✄✁✄☎ ☎ ✆✁✆ ✆✁✆✝ ✝

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-29
SLIDE 29

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

Datanet Modeling Language

The data flow requirements are collected in a diagram called data-net nodes: sources/target of data on data arcs: flow or manipulation of data

a b

!

forwarder: simply forwards data received on the input node to the output node

✁ ✁ ✂✁✂ ✂✁✂ ✄✁✄ ✄✁✄☎ ☎ ✆✁✆ ✆✁✆✝ ✝ ✞✁✞✁✞✁✞✁✞✁✞ ✟✁✟✁✟✁✟✁✟✁✟ ✠✁✠✁✠✁✠✁✠✁✠ ✡✁✡✁✡✁✡✁✡✁✡

f

c a b

function: upon receiving data on all input nodes, computes the function result and forwards it to the output node

b c a

fork: forwards data received on the input node to all the output nodes

✁ ✁ ✂✁✂ ✂✁✂ ✄✁✄ ✄✁✄☎ ☎ ✆✁✆ ✆✁✆✝ ✝

b c a

merge: forwards data received on some input node to the output node, preserving temporal order

+

a b

cloner: forwards, one or more times, data received from the input node to the output node

a b

?

filter: receives data on the input node and either forwards it to the output node or discards it

a b

L

last: forwards to the output node the last data received on the input node and discards all previous Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-30
SLIDE 30

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

e-Bookstore Data Flow Requirements

sent

OUTPUT MESSAGE INPUT MESSAGE

cartCreate cartAdd cartCreateResponse cartGetResponse cartAddErr cartAddResponse cartCreateErr cartGetErr Amazon Virtual Cart itemSearchResponse

INPUT MESSAGE OUTPUT MESSAGE

Amazon Book Search itemSearchRequest login itemSearchError

INPUT MESSAGE

login search add e−Bookstore Client

OUTPUT MESSAGE

searchResult searchErr addErr addAck checkoutErr confirmErr checkoutAck startTrans

INPUT MESSAGE

startTransAck startTransErr requestNotAvail confirmAck confirmErr

MESSAGE OUTPUT

MPS Virtual POS

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-31
SLIDE 31

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

e-Bookstore Data Flow Requirements

sent

OUTPUT MESSAGE INPUT MESSAGE

cartCreate cartAdd cartCreateResponse cartGetResponse cartAddErr cartAddResponse cartCreateErr cartGetErr Amazon Virtual Cart itemSearchResponse

INPUT MESSAGE OUTPUT MESSAGE

Amazon Book Search itemSearchRequest login itemSearchError

INPUT MESSAGE

login search add e−Bookstore Client

OUTPUT MESSAGE

searchResult searchErr addErr addAck checkoutErr confirmErr checkoutAck startTrans

INPUT MESSAGE

startTransAck startTransErr requestNotAvail confirmAck confirmErr

MESSAGE OUTPUT

MPS Virtual POS

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-32
SLIDE 32

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

e-Bookstore Data Flow Requirements

sent

OUTPUT MESSAGE INPUT MESSAGE

cartCreate cartAdd cartCreateResponse cartGetResponse cartAddErr cartAddResponse cartCreateErr cartGetErr Amazon Virtual Cart itemSearchResponse

INPUT MESSAGE OUTPUT MESSAGE

Amazon Book Search itemSearchRequest login itemSearchError

INPUT MESSAGE

login search add e−Bookstore Client

OUTPUT MESSAGE

searchResult searchErr addErr addAck checkoutErr confirmErr checkoutAck startTrans

INPUT MESSAGE

startTransAck startTransErr requestNotAvail confirmAck confirmErr

MESSAGE OUTPUT

MPS Virtual POS

getError /nsABS:ItemSearchResponse/Items/Request/Errors/Error/Message

XPath

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-33
SLIDE 33

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

e-Bookstore Data Flow Requirements

getError

sent

OUTPUT MESSAGE INPUT MESSAGE

cartCreate cartAdd cartCreateResponse cartGetResponse cartAddErr cartAddResponse cartCreateErr cartGetErr Amazon Virtual Cart itemSearchResponse

INPUT MESSAGE OUTPUT MESSAGE

Amazon Book Search itemSearchRequest login itemSearchError

createCartAdd INPUT MESSAGE

login search add e−Bookstore Client

OUTPUT MESSAGE

searchResult searchErr addErr addAck checkoutErr confirmErr checkoutAck startTrans

INPUT MESSAGE

startTransAck startTransErr requestNotAvail confirmAck confirmErr

MESSAGE OUTPUT

MPS Virtual POS X

createCartCreate

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-34
SLIDE 34

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

e-Bookstore Data Flow Requirements

getError createCartCreate

X sent

OUTPUT MESSAGE INPUT MESSAGE

cartCreate cartAdd cartCreateResponse cartGetResponse cartAddErr cartAddResponse cartCreateErr cartGetErr Amazon Virtual Cart itemSearchResponse

INPUT MESSAGE OUTPUT MESSAGE

Amazon Book Search itemSearchRequest login itemSearchError

createCartAdd getShopEmail getSubTotal getShopId INPUT MESSAGE

login search add e−Bookstore Client

OUTPUT MESSAGE

searchResult searchErr addErr addAck checkoutErr paymentURL subTotal confirmErr checkoutAck startTrans amount shopID shopEmail

INPUT MESSAGE

startTransAck startTransErr requestNotAvail confirmAck confirmErr

MESSAGE OUTPUT

MPS Virtual POS

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-35
SLIDE 35

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

ASTRO Automated Composition Framework

Σc

Requirements Composition R RD

C

BPEL4WS Abstract Processes W Composite Service BPEL4WS Executable Process

Σ

Planning Domain MBP

ΣD

W1 Wn Services Component Plan

ρ

Planning Goal

Wn W1

Σ Σ

AUTOMATED COMPOSITION

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-36
SLIDE 36

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works The Component Services Specifying Composition Requirements Automated Composition

ASTRO Automated Composition Framework

The e-Bookstore Composite Service ..cannot fit here!

Time (sec.) BPEL model composition complex construction & emission activities e-Bookstore 2.7 605.2 177

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-37
SLIDE 37

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Outline

1

Automated Web Service Composition Web Services and their Composition The ASTRO Automated Composition Approach

2

The Amazon-MPS Case study The Component Services Specifying Composition Requirements Automated Composition

3

Conclusions and Future Works

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-38
SLIDE 38

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Lessons Learnt and Future Works

⇒ WS-BPEL extremely convenient to model component service protocols

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-39
SLIDE 39

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Lessons Learnt and Future Works

⇒ WS-BPEL extremely convenient to model component service protocols ⇒ Efficiency of the automated composition techniques composition techniques can scale up to real world scenarios hand writing e-Bookstore code: more than 20 hours the synthesised code is readable and easily modifiable

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-40
SLIDE 40

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Lessons Learnt and Future Works

⇒ WS-BPEL extremely convenient to model component service protocols ⇒ Efficiency of the automated composition techniques composition techniques can scale up to real world scenarios hand writing e-Bookstore code: more than 20 hours the synthesised code is readable and easily modifiable ⇒ Feasibility of the composition requirement specification clear separation between control and data requirements helps a lot data and control flow requirements specification: approx. 2 hours

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-41
SLIDE 41

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Lessons Learnt and Future Works

⇒ Need for semantic annotations on data (SA-WSDL) (Future Work) Semantic annotations can be used to automatically obtain (part of) the data-net

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-42
SLIDE 42

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Lessons Learnt and Future Works

⇒ Need for semantic annotations on data (SA-WSDL) (Future Work) Semantic annotations can be used to automatically obtain (part of) the data-net ⇒ Do we really need to specify the customer interface? (Ongoing Work) Automatically obtain both the customer interface and the composite process (Ongoing Work) Iterative composition process: requirements refinement and re-composition

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-43
SLIDE 43

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Lessons Learnt and Future Works

⇒ Need for semantic annotations on data (SA-WSDL) (Future Work) Semantic annotations can be used to automatically obtain (part of) the data-net ⇒ Do we really need to specify the customer interface? (Ongoing Work) Automatically obtain both the customer interface and the composite process (Ongoing Work) Iterative composition process: requirements refinement and re-composition ⇒ How to deal with “Plan not found“ ? (Future Work) Automated requirements relaxation (Future Work) Apply verification techniques on the composition domain

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-44
SLIDE 44

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

The ASTRO Project

The presented WS composition approach has been implemented within the ASTRO toolset www.astroproject.org

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-45
SLIDE 45

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

The end

Thank you :) Questions?

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-46
SLIDE 46

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

References

Automated Composition of Web Services by Planning in Asynchronous

  • Domains. M. Pistore and P. Traverso and P. Bertoli. (ICAPS 05)

Automated Synthesis of Composite BPEL4WS Web Services. M. Pistore and

  • P. Traverso and P. Bertoli and A.Marconi. (ICWS 05)

Automated Composition of Web Services by Planning at the Knowledge

  • Level. M. Pistore and A. Marconi and P. Traverso and P. Bertoli. (IJCAI 05)

Specifying Data-Flow Requirements for the Automated Composition of Web

  • Services. A. Marconi and M. Pistore and P. Traverso. (SEFM 06)

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition

  • Goals. A. Marconi and M. Pistore and P. Traverso. (ICSOC 06)

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-47
SLIDE 47

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

e-Bookstore Data Flow Requirements

OUTPUT MESSAGE INPUT MESSAGE

cartCreate cartAdd cartCreateResponse cartGetResponse cartAddErr cartAddResponse cartCreateErr cartGetErr Amazon Virtual Cart startTrans amount shopID shopEmail

INPUT MESSAGE

startTransAck startTransErr requestNotAvail confirmAck confirmErr

MESSAGE OUTPUT

MPS Virtual POS sent

OUTPUT MESSAGE

searchResult searchErr addErr addAck checkoutErr paymentURL subTotal confirmErr checkoutAck

INPUT MESSAGE

login search add e−Bookstore Client

createItemSearch createResult getError createCartCreate

X

getError1 getSubTotal getSubTotal getShopId getError

itemSearchResponse

INPUT MESSAGE OUTPUT MESSAGE

Amazon Book Search itemSearchRequest login itemSearchError

createCartAdd getShopEmail

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-48
SLIDE 48

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

A data-net defines constraints on the possible operations that the composite process can perform on messages.

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-49
SLIDE 49

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

A data-net defines constraints on the possible operations that the composite process can perform on messages. We assume that, in the new composite process, there exists a variable for each connection node in the data-net:

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-50
SLIDE 50

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

A data-net defines constraints on the possible operations that the composite process can perform on messages. We assume that, in the new composite process, there exists a variable for each connection node in the data-net: variables associated to external connection nodes are those used by the new composite process to store received messages and to prepare the messages to be sent

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-51
SLIDE 51

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

A data-net defines constraints on the possible operations that the composite process can perform on messages. We assume that, in the new composite process, there exists a variable for each connection node in the data-net: variables associated to external connection nodes are those used by the new composite process to store received messages and to prepare the messages to be sent variables associated to internal connection nodes are those used to manipulate messages by means of internal functions and assignments

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-52
SLIDE 52

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

For each output operation of a component service in the data-net we define a STS which represents the sending of the message (as an output action) and the storing of all message parts (as internal actions)

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-53
SLIDE 53

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

For each output operation of a component service in the data-net we define a STS which represents the sending of the message (as an output action) and the storing of all message parts (as internal actions) Example For the output operation C.request with message parts date and loc we define the following STS:

C.request.date−>C_request_date C.request.loc−>C_request_loc !C.request Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-54
SLIDE 54

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

For each input operation of a component service in the data-net we define a STS which represents the storing of all message parts (as internal actions) and the reception of the message (as an input action).

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-55
SLIDE 55

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

For each input operation of a component service in the data-net we define a STS which represents the storing of all message parts (as internal actions) and the reception of the message (as an input action). Example For the input operation C.booked with message parts info and cost we define the following STS:

x−>C_booked_info x−>C_booked_cost ?C.booked x−>C_booked_info x−>C_booked_cost ?C.booked

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-56
SLIDE 56

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

We define a STS for each data-flow element in the data-net:

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-57
SLIDE 57

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

We define a STS for each data-flow element in the data-net: id(a)(b)

x−>a a−>b

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-58
SLIDE 58

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

We define a STS for each data-flow element in the data-net: id(a)(b)

x−>a a−>b

  • per[f](a,b)(c)

x−>a x−>b x−>a x−>b f(a,b)−>c Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp

slide-59
SLIDE 59

Outline Automated Web Service Composition The Amazon-MPS Case study Conclusions and Future Works

Data Requirements as STS

We define a STS for each data-flow element in the data-net: id(a)(b)

x−>a a−>b

  • per[f](a,b)(c)

x−>a x−>b x−>a x−>b f(a,b)−>c

The STS ΣD, modeling the data-net, is the synchronized product of all the STSs corresponding to external connection nodes and data-flow elements.

Annapaola Marconi, Marco Pistore and Paolo Traverso FBK-irst, Trento, Italy (marconi,pistore,traverso)@itc.it Automated Web Service Composition in Practice: from Comp