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

WSMO Interfaces

Overview of Choreography & Orchestration

Two Problems in Choreography

• Managing dialogues

• Choreography discovery – During composition

WSWS

WSWS

Receive

PresentProvide

Obtain

Key

Flow of information

Initiative marker

Choreography Framework [Greef & Breuker]

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

Communication Example (2/2)

Require a trip with constraints

propose Itinerary

Negotiation: change constraints

Book tickets

propose Itinerary 2

Send statement

present

obtainProposal 1:

Flight from Luton to Amsterdam

Flight from Amsterdam to Bologna

Proposal 2:

Flight from Luton to Reggio

Airline

Key

Initiative movement

Initiative movement activities:

WS

WS

Present-Initiative

Obtain-Initiative

Key

Flow of Initiative

Initiative marker

Messages structure

Parameters Description Type

Id-message Message identifier String

Sender-WSMO-ontology Home ontology of sender WSMO object

WSMO ontology

Receiver-WSMO-ontology

Home ontology of receiver WSMO object

WSMO ontology

Sender-WSMO-Obj Sender identifier of WSMO object

WSMO web service concept

Receiver -WSMO-Obj Receiver identifier of WSMO object

WSMO web service concept

Id-sender Identifier of the sender URL

Id-receiver Identifier of the receiver URL

Event-type Kind of event (e.g. Receive, obtain)

Event type

Initiative Who has the initiative WS/IRS-III (actor)

Content Denotes the content of message

String

Time Records the time when the action is executed

Date/time

(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

LispWeb Server

IRS-III Architecture

IRS-III Server

WS Publisher Registry

OCML

WSMO Library

OWL(-S) HandlerOWL(-S)

Browser

Invocation Client

Publishing Clients

SOAP Handler

SOAP

Publishing Platforms

Web Service

Java Code

Web Application

SOAPBrowserHandler

PublisherHandler

InvocationHandler

Java

API

WSMX

Publisher Interface

An Ontology of Choreographies

ChoreographyInput roles (name, type, soap binding)Deployed WS URIMessage Exchange Pattern

Message Sequence

Parallel Message Sequence Serial Message Sequence

all at once2 at once

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)

• 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

Initialize Send idUser namePasswordEnd ExchangeBalancePay Tax BillCheck Account 2Transfer Funds -> 2Check Account 3 Transfer Funds -> 3Check Account 4Transfer Funds -> 4

Send id 2Send id 7Send id 13Send 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

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