1 / 20

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

Towards a Choreography for IRS-III Stefania Galizia and John Domingue. Presentation @ WSMO Workshop, September 2004. The Internet Reasoning Service is an infrastructure for publishing, locating, executing and composing semantic web services , organized according to the WSMO framework .

KeelyKia
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


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

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

  3. WSMO Interfaces

  4. Overview of Choreography & Orchestration

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

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

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

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

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

  10. Messages structure

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

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

  13. Publisher Interface

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

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

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

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

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

More Related