Download
1 / 20

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


  • 310 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-IIIStefania 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 l.jpg

Towards a Choreography for IRS-III

Stefania Galizia and John Domingue

Presentation @ WSMO Workshop, September 2004


Slide3 l.jpg

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


Wsmo interfaces l.jpg
WSMO Interfaces publishing, locating, executing and composing


Overview of choreography orchestration l.jpg
Overview of Choreography & Orchestration publishing, locating, executing and composing


Two problems in choreography l.jpg
Two Problems in Choreography publishing, locating, executing and composing

  • Managing dialogues

  • Choreography discovery

    • During composition


Slide7 l.jpg

Choreography Framework [Greef & Breuker] publishing, locating, executing and composing

Obtain

Receive

WS

WS

Key

Provide

Present

Flow of information

WS

WS

Initiative marker


Slide8 l.jpg

Bus publishing, locating, executing and composing

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

Require a trip with constraints publishing, locating, executing and composing

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

Key publishing, locating, executing and composing

Flow of Initiative

Initiative marker

Initiative movement

Initiative movement activities:

Obtain-Initiative

WS

Present-Initiative

WS


Slide11 l.jpg

Messages structure publishing, locating, executing and composing


Example pattern handler l.jpg
Example Pattern Handler publishing, locating, executing and composing

(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 l.jpg

J publishing, locating, executing and composing ava

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


Publisher interface l.jpg
Publisher Interface publishing, locating, executing and composing


Slide15 l.jpg

Message Sequence publishing, locating, executing and composing

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 l.jpg
Choreography as SWS (1/2) publishing, locating, executing and composing

  • 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 l.jpg
Choreography as SWS (2/2) publishing, locating, executing and composing

  • 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 l.jpg

Send id 2 publishing, locating, executing and composing

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 l.jpg
Summary publishing, locating, executing and composing

  • 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