slide1
Download
Skip this Video
Download Presentation
Towards a Choreography for IRS-III Stefania Galizia and John Domingue

Loading in 2 Seconds...

play fullscreen
1 / 20

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


  • 311 Views
  • Uploaded on

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 .

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Towards a Choreography for IRS-III Stefania Galizia and John Domingue' - KeelyKia


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide2
Towards a Choreography for IRS-III

Stefania Galizia and John Domingue

Presentation @ WSMO Workshop, September 2004

slide3
The Internet Reasoning Service is an infrastructure for publishing, locating, executing and composing semantic web services, organized according to the WSMO framework
two problems in choreography
Two Problems in Choreography
  • Managing dialogues
  • Choreography discovery
    • During composition
slide7
Choreography Framework [Greef & Breuker]

Obtain

Receive

WS

WS

Key

Provide

Present

Flow of information

WS

WS

Initiative marker

slide8
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
slide9
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

slide10
Key

Flow of Initiative

Initiative marker

Initiative movement

Initiative movement activities:

Obtain-Initiative

WS

Present-Initiative

WS

example pattern handler
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)))

irs iii architecture
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

slide15
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

choreography as sws 1 2
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
choreography as sws 2 2
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
visualizing a choreography interaction
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

summary
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
ad