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. WS Receive PresentProvide Obtain Key Flow of information Initiative marker Choreography Framework [Greef & Breuker]

8. 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 User Airline Bus Train

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

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

11. Messages structure ParametersDescriptionType Id-messageMessage identifierString Sender-WSMO-ontologyHome ontology of sender WSMO object WSMO ontology Receiver-WSMO- ontology Home ontology of receiver WSMO object WSMO ontology Sender-WSMO-ObjSender identifier of WSMO object WSMO web service concept Receiver -WSMO-ObjReceiver identifier of WSMO object WSMO web service concept Id-senderIdentifier of the senderURL Id-receiverIdentifier of the receiverURL Event-typeKind of event (e.g. Receive, obtain) Event type InitiativeWho has the initiativeWS/IRS-III (actor) ContentDenotes the content of message String TimeRecords the time when the action is executed Date/time

12. (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))) Example Pattern Handler

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

14. Publisher Interface

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

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. 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 Send id 2 Send id 7 Send id 13 Send id 19 Send ID 13 Account-management- ontology User-id-web-service Irs.open.ac.uk www.friendly-bank.com Present-event Irs-3 “domingue 0110765432” 29-9-04-11-10-10

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