Towards a Choreography for IRS-III Stefania Galizia and John Domingue

2. Towards a Choreography for IRS-III Stefania Galizia and John Domingue Presentation @ WSMO Workshop, September 2004

3. The Internet Reasoning Service is an infrastructure for publishing, locating, executing and composing semantic web services, organized according to the WSMO framework

4. WSMO Interfaces

5. Overview of Choreography & Orchestration

6. Two Problems in Choreography • Managing dialogues • Choreography discovery • During composition

7. Choreography Framework [Greef & Breuker] Obtain Receive WS WS Key Provide Present Flow of information WS WS Initiative marker

8. Bus Train User Airline Communication Example (1/2) • Trip from Milton Keynes (UK) to southern Italy • The user and IRS have initiative • The user send message with his constraints

9. Require a trip with constraints propose Itinerary Negotiation: change constraints Airline propose Itinerary 2 Book tickets Send statement obtain Communication Example (2/2) Key present Proposal 2: Flight from Luton to Reggio Proposal 1: Flight from Luton to Amsterdam Flight from Amsterdam to Bologna

10. Key Flow of Initiative Initiative marker Initiative movement Initiative movement activities: Obtain-Initiative WS Present-Initiative WS

11. Messages structure

12. Example Pattern Handler (def-wsmo-pattern-handler easy-jet-airline-pattern-handler (message ?id ?easy-jet-ontology easy-jet-web-service-ontology easy-jet-airline easy-jet-flight-booking-service ?id-message-sender irs-iii obtain-message-event ?current-initiative-holder ?content ?time) (flight-passenger ?content ?person) (flight-passenger ?content ?departure-location) (flight-arrival-location ?content ?arrival-location) (flight-departure-time ?content ?departure-time (has-travel-plan ?person ?travel-plan) (matches-travel-plan ?travel-plan ?departure-time ?departure-location ?arrival-location) (has-travel-plan-message ?travel-plan ?travel-plan-message) then (send-message (create-message-id) easy-jet-web-service-ontology ?easy-jet-ontology easy-jet-flight-booking-service easy-jet-airline irs-iii ?id-message-sender present-message-event ?current-initiative-holder ?travel-plan-message (current-time)))

13. Java API Browser Browser Handler Publishing Clients OCML Publisher Handler WSMO Library Invocation Handler WSMX Invocation Client IRS-III Architecture Web Service Publishing Platforms Java Code Web Application SOAP SOAP WS Publisher Registry SOAP Handler IRS-III Server LispWeb Server OWL(-S) OWL(-S) Handler

14. Publisher Interface

15. Message Sequence Serial Message Sequence 2 at once all at once An Ontology of Choreographies Choreography Input roles (name, type, soap binding) Deployed WS URI Message Exchange Pattern Parallel Message Sequence

16. Choreography as SWS (1/2) • Choreograph WS • Input • WSMO WS, ontology, message history, current message • Output • New message • Parse Incoming message • Input • WSMO WS, ontology, XML based message • Output • structured message • Parse message content • Input • WSMO WS, ontology, message content • Output • Ontology structures

17. Choreography as SWS (2/2) • Find contender message handlers • Input • WSMO WS, ontology, structured message • Output • Message handler • Handle Message • Input • Message Handler, structure message • Output • New message • Invoke WS • Input • Structured message • Output • Result of WS invocation

18. Send id 2 Send id 7 Send id 13 Send id 19 Visualizing a Choreography Interaction Initialize Send id User name Password End Exchange Balance Pay Tax Bill Check Account 2 Transfer Funds -> 2 Check Account 3 Transfer Funds -> 3 Check Account 4 Transfer Funds -> 4

19. Summary • IRS-III Choreography based on Graf • Communication & initiative dimensions • Dialogue management via • Message structures • Message handlers • Choreography Discovery • Ontology of choreography • Choreography as SWS • Visualizing choreography interactions