![Page 1: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/1.jpg)
Christoph Bussler
Mick Kerrigan
Matthew Moran
Brahmananda Sapkota
Michael Stollberg
Michal Zaremba
Liliana Cabral
John Domingue
Stefania Galizia
Barry Norton
Semantic Web Services Systems and Tools
4th International Semantic Web Conference (ISWC 2005)
Galway, Ireland, 6 November 2005
![Page 2: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/2.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
AgendaPart I: Introduction to Semantic Web Services and WSMO
Part II: The Web Service Execution Environment, WSMX– WSMX motivation, scope, approach – System Architecture
Coffee Break
Part III: The Internet Reasoning Service, IRS III – IRS Architecture – IRS Editing, Browsing, and Publication Environment
Part IV: Hands-On Session with IRS III – Create and publish WSMO descriptions – Use WSMX and IRS frameworks for goal-driven service invocation
![Page 3: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/3.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
PART I: Introduction to Semantic Web
Services and WSMO
• Semantic Web Services
• WSMO
– Design principles
– Top level concepts
![Page 4: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/4.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Semantic Web Services
• Define exhaustive description frameworks for describing Web Services and related aspects (Web Service Description Ontologies)
• Support ontologies as underlying data model to allow machine supported data interpretation (Semantic Web aspect)
• Define semantically driven technologies for automation of the Web Service usage process (Web Service aspect)
![Page 5: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/5.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Semantic Web Services (2)
Usage Process:
• Publication: Make available the description of the capability of a service
• Discovery: Locate different services suitable for a given task
• Selection: Choose the most appropriate services among the available ones
• Composition: Combine services to achieve a goal• Mediation: Solve mismatches (data, process) among
the combined • Execution: Invoke services following programmatic
conventions
![Page 6: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/6.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Semantic Web Services (3)
Usage Process – execution support
• Monitoring: Control the execution process• Compensation: Provide transactional support and
undo or mitigate unwanted effects• Replacement: Facilitate the substitution of services by
equivalent ones• Auditing: Verify that service execution occurred in the
expected way
![Page 7: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/7.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
• A conceptual model for Semantic Web Services : – Ontology of core elements for Semantic Web Services – a formal description language (WSML) – execution environment (WSMX)
• … derived from and based on the Web Service Modeling Framework, WSMF
• an SDK-Cluster Working Group (joint European research and development initiative)
Web Service Modeling Ontology Web Service Modeling Ontology (WSMO)(WSMO)
![Page 8: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/8.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
A Conceptual Model for SWS
A Formal Language for WSMO
A Rule-based Language for SWS
Execution Environment for WSMO
WSMO Working Groups
![Page 9: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/9.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMO Design Principles
Web Compliance Ontology-Based
Strict Decoupling
Centrality of Mediation
Ontological Role Separation
Description versus Implementation
Execution Semantics
WSMO
![Page 10: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/10.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Objectives that a client wants toachieve by using Web Services
Provide the formally specified terminologyof the information used by all other components
Semantic description of Web Services: - Capability (functional)- Interfaces (usage)
Connectors between components with mediation facilities for handling heterogeneities
WSMO D2, version 1.2, 13 April 2005 (W3C submission)
WSMO Top Level Notions
![Page 11: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/11.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
PART II: The Web Service Execution
Environment (WSMX)
• Introduction, background and motivation
• Structural architecture
• Dynamic behaviour
• Future plans
![Page 12: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/12.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Introduction
• Software framework for runtime binding of service requesters and service providers
• WSMX interprets service requester’s goal to– discover matching services– select (if desired) the service that best fits– provide mediation (if required)– make the service invocation
• Is based on the conceptual model provided by WSMO• Has a formal execution semantics• Service Oriented and event-based architecture
– based on microkernel design using technologies as J2EE, Hibernate, Spring, JMX, etc.
![Page 13: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/13.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Motivation
• Provide middleware ‘glue’ for Semantic Web Services– Allow service providers focus on their business
• Provide a reference implementation for WSMO– Eat our own cake
• Provide an environment for goal based service discovery and invocation– Run-time binding of service requester and provider
• Provide a flexible Service Oriented Architecture– Add, update, remove components at run-time as needed
• Keep open-source to encourage participation– Developers are free to use in their own code
• Define formal execution semantics– Unambiguous model of system behaviour
![Page 14: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/14.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Usage Scenario
![Page 15: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/15.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Usage Scenario - P2P
• A P2P network of WSMX ‘nodes’
• Each WSMX node described as a SWS
• Communication via WSML over SOAP
• Distributed discovery – first aim
• Longer term aim - distributed execution environment
![Page 16: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/16.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Usage Scenario - P2P
Peer
Internet
Message
Message
Internet
Message
MessagePeer
WSMX SWSARCHITECTURE
![Page 17: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/17.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Usage Scenario - P2P
Internet
Message
MessagePeerPeer
Internet
Message
Message
Bas
eSe
rvic
es
Reasoner Semantic Repository Triple Space
Data Mediation Communication Choreography
Negotiation and Contracting
Orchestration Planning
Management Discovery Process Mediation
App
licat
ion
Serv
ices
End
Use
r
Applications
Management & Monitoring
Dev
elop
er
Ontology Editor
Process Editor
Goal Editor
Mapping Editor
Vertical Services
Ver
tica
l Ser
vice
s
![Page 18: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/18.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Development Process & Releases
• The development process for WSMX includes:– Establishing its conceptual model– Defining its execution semantics– Develop the architecture– Design the software – Building a working implementation
• Planned releases:
2005 2006
January 2005 (WSMX 0.1.6)
July 2005 (WSMX 0.2.0) current status of components
November 2005 (WSMX 0.3.0)
November 2004 (WSMX 0.1.5)
![Page 19: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/19.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Design Principles
Strong Decoupling & Strong Mediationautonomous components with mediators for interoperability
Interface vs. Implementationdistinguish interface (= description) from implementation (=program)
Peer to Peer
interaction between equal partners (in terms of control)
WSMO Design Principles == WSMX Design Principles
== SOA Design Principles
![Page 20: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/20.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Benefits of SOA
• Better reuse– Build new functionality (new execution semantics) on
top of existing Business Services
• Well defined interfaces – Manage changes without affecting the Core System
• Easier Maintainability– Changes/Versions are not all-or-nothing
• Better Flexibility
![Page 21: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/21.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Service Oriented State
• The interface to the service is implementation-independent
• The service can be dynamically invoked – Runtime binding
• The service is self-contained– Maintains its own state
![Page 22: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/22.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Messaging
• Messaging is peer-to-peer facility• Distributed communication
– Loosely coupled • Sender does not need to know receiver (and vice
versa)• Asynchronous mechanism to communicate between
software applications
![Page 23: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/23.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Architecture
MessagingMessaging
Application Management
Application Management
Service Oriented
Architectures
Service Oriented
Architectures
![Page 24: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/24.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Selected Components
• Adapters• Parser• Invoker• Choreography • Process Mediator• Discovery• Data Mediator• Resource Manager
![Page 25: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/25.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Adapters
• To overcome data representation mismatches on the communication layer
• Transforms the format of a received message into WSML compliant format
• Based on mapping rules
![Page 26: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/26.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Parser
• WSML compliant parser– Code handed over to wsmo4j initiative
http://wsmo4j.sourceforge.net/
• Validates WSML description files
• Compiles WSML description into internal memory model
• Stores WSML description persistently (using Resource Manager)
![Page 27: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/27.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Communication Mgr – Invoker
• WSMX uses – The SOAP implementation from Apache AXIS – The Apache Web Service Invocation Framework (WSIF)
• WSMO service descriptions are grounded to WSDL• Both RPC and Document style invocations possible• Input parameters for the Web Services are translated
from WSML to XML using an additional XML Converter component.
Network
InvokerApache
AXISXML
ConverterMediatedWSML Data
XML WebService
SOAP
![Page 28: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/28.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Choreography
• Requester and provider have their own observable communication patterns– Choreography part of WSMO
• A choreography instance is loaded for each – Both requester and provider have their own WSMO
descriptions
• The Choreography component examines a service’s choreography to determine next step in communication
• The Choreography component raises events for the Invoker to make actual service invocations
![Page 29: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/29.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Process Mediator
• Requester and provider have their own communication patterns
• Only if the two match precisely, a direct communication may take place
• At design time equivalences between the choreographies’ conceptual descriptions is determined and stored as set of rules
• The Process Mediator provides the means for runtime analyses of two choreography instances and uses mediators to compensate possible mismatches
![Page 30: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/30.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Process Mediator
Business Partner1Business Partner1
Business Partner2Business Partner2
AB B
Business Partner1Business Partner1
Business Partner2Business Partner2
A B
B A
Business Partner1Business Partner1
Business Partner2Business Partner2
A and BA
B
Business Partner1Business Partner1
Business Partner2Business Partner2
A
BA and B
PM
PM
PM
PM
Business Partner1Business Partner1
Business Partner2Business Partner2
A
AckA
APM
![Page 31: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/31.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Discovery
• Responsible for finding appropriate Web Services to achieve a goal (discovery)
• Current discovery component is based on simple matching
• Advanced semantic discovery in prototypical stage
![Page 32: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/32.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Discovery
WS
{Keyword}
Lev
el o
f A
bst
ract
ion
Syntactic
Semantic („Light“)
Semantic („Heavy“)
Keyword-based with NaturalLanguage Processing (NLP)
Coarse grained Serviceand Goal descriptions
Fine grained Serviceand Goal descriptions
W1 … WL
![Page 33: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/33.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Discovery
WS
{Keyword}
Lev
el o
f A
bst
ract
ion
Syntactic
Semantic („Light“)
Semantic („Heavy“)
Keyword-based with NaturalLanguage Processing (NLP)
Coarse grained Serviceand Goal descriptions
Fine grained Serviceand Goal descriptions
W1 … WL
![Page 34: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/34.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Data Mediator
• Ontology-to-ontology mediation• A set of mapping rules are defined and then executed• Initially rules are defined semi-automatic• Create for each source instance the target instance(s)
Target Ontology
Source Ontology
Data Base
Mapping Rules Creator
Execution Environment
MappingsMappings
Mapping Rules
Source Instance
Target Instance
![Page 35: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/35.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Resource Manager
• Stores internal memory model to a data store
• Decouples storage mechanism from the rest of WSMX
• Data model is compliant to WSMO API
• Independent of any specific data store implementation i.e. database and storage mechanism
![Page 36: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/36.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
System Entry Points
Legend
Adapter
any Data format
CommunicationManager
(Requester Side)
Parser
ServiceRequester
WSML
ChoreographyEngine
CommunicationManager
(Provider Side)
ServiceProvider
SOAP
DataMediator
CommunicationManager
(Requester Side
Parser
ServiceRepository
Matchmaker
Selector
DataMediator
Editor
CommunicationManager
(Requester Side
Parser
ServiceProvider
receiveMessagereceiveGoalstoreEntity
Adapter
any Data format
ServiceRequester
WSMLWSML
ServiceRepository
WSMX components
External entities
Execution Flow
Usage
![Page 37: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/37.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Define “Business” ProcessDiscover Web Services
Create Choreography
Created
Discover Services
Mediate Data
Mediate Data
Return Mediated Data
Return Mediated Data
Return Web Services
Check Choreography
Confirmed
Call Invoker
Confirmed
Start
End
![Page 38: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/38.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Generate Wrappers for Components
Discover Web Services
Create Choreography
Created
Discover Services
Mediate Data
Mediate Data
Return Mediated Data
Return Mediated Data
Return Web Services
Check Choreography
Confirmed
Call Invoker
Confirmed
Start
End
Discovery Wrapper
Data Mediator Wrapper
ChoreographyWrapper
Communication Manager Wrapper
Registry of known components
![Page 39: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/39.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Context DataPROCESS CONTEXT
Discover Web Services
Create Choreography
Created
Discover Services
Mediate Data
Mediate Data
Return Mediated Data
Return Mediated Data
Return Web Services
Check Choreography
Confirmed
Call Invoker
Confirmed
Start
End
Discovery Wrapper
Data Mediator Wrapper
ChoreographyWrapper
Communication Manager Wrapper
Registry of known components
Choreography objectMediated objects,
Web Services entities
ErrorsExceptions
![Page 40: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/40.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Event-based Implementation
MediatorDiscoveryChoreographyCommunication
Manager
Core – Manager
“Business” Process – Internal Workflow
Choreography Wrapper
Discovery Wrapper
implements Mediator Interface
Event and Notification Distribution/Delivery Mechanism
Data Mediator Wrapper
Communication Manager Wrapper
events events eventsnotifications notifications notificationsnotificationsevents
![Page 41: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/41.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Execution Semantics
WSMX
Syste
m In
terface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Request to discoverWeb services.
![Page 42: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/42.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Goal expressedin WSML is sent toWSMX SystemInterface
Execution Semantics
![Page 43: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/43.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Com. M. implementsthe interface toreceive WSML goals
Execution Semantics
![Page 44: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/44.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Com. M. informsCore that Goalhas been received
Execution Semantics
![Page 45: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/45.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Chor. wrapperpicks up event for Chor. component
Execution Semantics
![Page 46: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/46.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
New choreography Instance is created
Execution Semantics
![Page 47: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/47.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Core is notifiedthat choreographyinstance has beencreated.
Execution Semantics
![Page 48: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/48.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
WSML goal isparsed to internal format.
Execution Semantics
![Page 49: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/49.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Discovery isinvoked
for parsed goal.
Execution Semantics
![Page 50: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/50.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Discovery may requires ontology
mediation.
Execution Semantics
![Page 51: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/51.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
After data mediation,Discovery iterates,if needed throughlast steps untilresult set is finished.
Execution Semantics
![Page 52: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/52.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Selection is invokedto relax result set tofinally one service.
Execution Semantics
![Page 53: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/53.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Choreographyinstance for goalrequester is checkedfor next steps.
Execution Semantics
![Page 54: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/54.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Result is returnedto Com. Man. to beforwarded to theservice requester.
Execution Semantics
![Page 55: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/55.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Set of Web Servicedescriptionsexpressed in WSMLsent to adapter.
Execution Semantics
![Page 56: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/56.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX
System
Interface
WSMX ManagerWSMX Manager Core
Administration Framework Interface
Data and C
omm
unication Protocols A
dapters
Adapter 1
Adapter 2
Adapter n
... Grounding
CM Wrapper
CommunicationManager
Interface
Invoker Receiver
RMWrapper
Resource Manager
Interface
ParserWrapper
Parser
Interface
DiscoveryWrapper
Discovery
Interface
SelectorWrapper
Selector
Interface
DMWrapper
DataMediator
Interface
PMWrapper
ProcessMediator
Interface
ChoreographyWrapper
Choreography
Interface
Reasoner Interface
Reasoner
Resource Manager Interface
WSMO Objects Non WSMO Objects
WSMT – Web Services Modelling Toolkit
Service Providers
Web Service 1
Web Service 2
Web Service p
...
Service Requesters
Back-End Application
Agent acting on behalf of service
requester
WSML EditorWSMX Monitor Choreography EditorWSMX Managment Mediator Editor
ComponentWrapper
New Component
Interface
Set of Web Servicedescriptions expressedin requester’s ownformat returned togoal requester.
Execution Semantics
![Page 57: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/57.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Usage Scenario - P2P
Internet
Message
MessagePeerPeer
Internet
Message
Message
Bas
eSe
rvic
es
Reasoner Semantic Repository Triple Space
Data Mediation Communication Choreography
Negotiation and Contracting
Orchestration Planning
Management Discovery Process Mediation
App
licat
ion
Serv
ices
End
Use
r
Applications
Management & Monitoring
Dev
elop
er
Ontology Editor
Process Editor
Goal Editor
Mapping Editor
Vertical Services
Ver
tica
l Ser
vice
s
• Complete the functionality for all the boxes
![Page 58: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/58.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Conclusions
• Conceptual model is WSMO • End to end functionality for executing SWS• Has a formal execution semantics• Real implementation • Open source code base at SourceForge• Event-driven component architecture• Growing functionality - developers welcome
![Page 59: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/59.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX @ Sourceforge.net
![Page 60: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/60.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
PART III: Internet Reasoning Service - IRS
• Design principles
• Architecture and features
• Demonstration
![Page 61: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/61.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
IRS-IIIIRS-III
• IRS-III: The Internet Reasoning Service is an infrastructure for publishing, locating, executing and composing Semantic Web Services
• Internet Reasoning Service (IRS-III):– System overview– Demonstration
![Page 62: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/62.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Design Principles
• Ontological separation of User and Web Service Contexts
• Capability Based Invocation • Ease of Use• One Click Publishing• Agnostic to Service Implementation Platform• Connected to External Environment• Open• Complete Descriptions• Inspectable• Interoperable with SWS Frameworks and Platforms
![Page 63: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/63.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Features of IRS-III (1/2)
• Based on Soap messaging standard
• Provides Java API for client applications
• Provides built-in brokering and service discovery support
• Provides capability-centred service invocation
![Page 64: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/64.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Features of IRS-III (2/2)• Publishing support for variety of platforms
– Java, Lisp, Web Applications, Java Web Services
• Enables publication of ‘standard code’ – Provides clever wrappers– One-click publishing of web services
• Integrated with standard Web Services world– Semantic web service to IRS– ‘Ordinary’ web service
![Page 65: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/65.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
IRS-3 Server
Domain Models
Web Service Specifications+ Registry of Implementors
Goal Specifications+ SOAP Binding
IRS Publisher
S O
A P
IRS Client
SOAP
IRS Publisher
IRS Publisher
IRS Publisher
Lisp
Java
Java WS
IRS-III Framework
![Page 66: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/66.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
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
![Page 67: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/67.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Publishing Platform Architecture
IRS-III Publishing PlatformHTTP Server
SOAP Handler
ServiceRegistrar
ServiceInvoker
WS Service Registry
IRS-III Server
Invocation Client
SOAP
SOAP
Publishing Clients
SOAP
Web Service 1Web Service 2
Web Service 3
![Page 68: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/68.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
IRS-III/WSMO differences
• Underlying language OCML• Goals have inputs and outputs• IRS-III broker finds applicable web services via
mediators– Used mediator within WS capability – Mediator source = goal
• Web services have inputs and outputs ‘inherited’ from goal descriptions
• Web service selected via assumption (in capability)
![Page 69: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/69.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
IRS-III Demo
![Page 70: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/70.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
SWS Creation & Usage Steps
• Create a goal description – (e.g. exchange-rate-goal)– Add input and output roles– Include role type and soap binding
• Create a wg-mediator description – Source = goal– Possibly add a mediation service
• Create a web service description– Used-mediator of WS capability = wg-mediator above
• Specify Operation <-> Lisp function mapping in Choreography Grounding
• Publish against web service description• Invoke web service by ‘achieve goal’
![Page 71: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/71.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Multiple WS for goal
• Each WS has a mediator for used-mediator slot of capability– Some WS may share a mediator
• Define a kappa expression for assumption slot of WS capability
• Kappa expression format– (kappa (?goal) <ocml relations>)
• Getting the value of an input role– (wsmo-role-value ?goal <role-name>)
![Page 72: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/72.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Defining a Mediation Service
• Define a wg-mediator
• Source = goal
• Mediation-service = goal for mediation service
• Mediation goal – Mediation goal input roles are a subset of
goal input roles
• Define mediator and WS as normal
![Page 73: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/73.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Valid Relations
• Classes are unary relations – e.g. (country ?x)
• Slots are binary relations – e.g. (is-capital-of ?x ?y)
• Standard relations in base (OCML toplevel) ontology
=, ==, <, >, member
![Page 74: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/74.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
European Currency Assumption
(kappa (?goal)
(member
(wsmo-role-value
?goal
'has_source_currency)
'(euro pound)))
![Page 75: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/75.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Goal Based Invocation
Invocation
Instantiate Goal Description
Exchange-rate-goal Has-source-currency: us-dollarsHas-target-currency: pound
Web Service Discovery
European-exchange-rate-wsNon-european-exchange-rate-wsEuropean-bank-exchange-rate-ws
Solve GoalGoal -> WG Mediator -> WS/Capability/Used-mediator
Web service selection
European-exchange-rate
Mediate input values
‘$’ -> us-dollar
WS -> Capability -> Assumptionexpression Mediation
Invoke selected web service
European-exchange-rate
Invocation
![Page 76: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/76.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
PART III: Joint WSMX and IRS
Hands-on Session
• IRS III hands-on part
• WSMX hands-on part
![Page 77: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/77.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
IRS-III Hands-On Session
![Page 78: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/78.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
European Travel Scenario
![Page 79: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/79.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
European Travel Demo
![Page 80: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/80.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
IRS-III Hands On Task
• Develop an application for the European Travel scenario based on SWS. The application should support a person booking a train ticket between 2 European cities at a specific time and date
• Create Goal, Web service and Mediator WSMO descriptions in IRS-III (european-travel-service-descriptions) for available services. Your descriptions should choose a specific service depending on the start and end locations and the type of traveller. Use the assumption slot to do this
• Publish available lisp functions against your descriptions
• Invoke the web services
• Solution to be shown at the end of this session
![Page 81: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/81.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Tutorial Setup
IRS Server (3000)
Domain Models
Web Service WSMO Descriptions
+ Registry of Implementors
Goal WSMO Descriptions+ SOAP Binding
Travel Services
(3001)
IRS Lisp Publisher
IRS-III Knowledge Model Browser & Editor
WSMX
Mediator WSMO Descriptions
![Page 82: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/82.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Travel Related Knowledge Models
![Page 83: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/83.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Key Classes, Relations, Instances
Is-in-country <city> <country> e.g.
(is-in-country berlin germany) -> true
(student <person>) -> true, for john matt michal
(business-person <person>) -> true, for liliana michael
![Page 84: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/84.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Goals
1- Get train timetable– Inputs: origin and destination cities (city), date
(date-and-time, e.g. (18 4 2004))– Output: timetable (string)
2- Book train– Inputs: passenger name (person), origin and
destination cities, departure time-date (list-date-and-time, e.g. (20 33 16 15 9 2004))
– Output: booking information (string)
![Page 85: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/85.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Services
• 1 service available for goal 1– No constraints
• 6 services available for goal 2– As a provider write the constraints applicable to the
services to satisfy the goal (assumption logical expressions)
• 1 wg-mediator mediation-service– Used to convert time in list format to time in
universal format
![Page 86: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/86.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Service constraints
• Services 2-5– Services for (origin and destination) cities in
determined countries
• Service 4-5– Need a mediation service to map goal time-date to
service time-date
• Services 6-7– Services for students or business people in Europe
![Page 87: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/87.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Available Functions (1/3)
1- get-train-times paris london (18 4 2004)"Timetable of trains from PARIS to LONDON on 18, 4, 2004 5:18…23:36"
2- book-english-train-journey christoph milton-keynes london (20 33 16 15 9 2004)"British Rail: CHRISTOPH is booked on the 66 going from MILTON-KEYNES to
LONDON at 16:49, 15, SEPTEMBER 2004. The price is 169 Euros."
3- book-french-train-journey sinuhe paris lyon (3 4 6 18 8 2004)"SNCF: SINUHE is booked on the 511 going from PARIS to LYON at 6:12, 18,
AUGUST 2004. The price is 27 Euros."
![Page 88: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/88.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Available Functions (2/3)
4- book-german-train-journey christoph berlin frankfurt 3304251200
"First Class Booking German Rail (Die Bahn): CHRISTOPH is booked on the 323 going from BERLIN to FRANKFURT at 17:11, 15, SEPTEMBER 2004. The price is 35 Euros."
5- book-austrian-train-journey sinuhe vienna innsbruck 3304251200
"Austrian Rail (OBB): SINUHE is booked on the 367 going from VIENNA to INNSBRUCK at 16:47, 15, SEPTEMBER 2004. The price is 36 Euros. "
![Page 89: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/89.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Available Functions (3/3)
6- book-student-european-train-journey john london nice (3 4 6 18 8 2004)"European Student Rail Travel: JOHN is booked on the 916 going from
LONDON to NICE at 6:44, 18, AUGUST 2004. The price is 94 Euros. "
7- book-business-european-train-journey liliana paris innsbruck (3 4 6 18 8 2004)"Business Europe: LILIANA is booked on the 461 going from PARIS to
INNSBRUCK at 6:12, 18, AUGUST 2004.The price is 325 Euros."
8- mediate-time (lisp function) or JavaMediateTime/mediate (java) (9 30 17 20 9 2004)3304686609
![Page 90: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/90.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Example: Multiply Goal
![Page 91: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/91.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Example: Multiply Web Service
![Page 92: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/92.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Example: Publishing
![Page 93: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/93.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Tips• Order matters for input roles
– Input roles in goal must match order of arguments to function
• Need to specify both input roles and output role• Be careful with soap binding
– sexpr as default– String for one line output – Use xml for multiple line output
• Input roles for web services inherited from goal• Slot names can not be the same as class names• Goal <-> web service linking mediator in the capability
used mediators
![Page 94: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/94.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
WSMX Hands-on session WSMX Hands-on session
![Page 95: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/95.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Aims of the Session
• To create WSMO descriptions of Goals and Web Services using different Ontologies
• To register a Web Service description with WSMX
• To create mappings between the different Ontologies used for the Goal and Web Service to allow Data Mediation
• To register Ontology Mappings with WSMX• To use the Goal created to discover the Web
Service description and invoke it.
![Page 96: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/96.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Creating Semantic Descriptions
• You will be provided with two sets of Ontologies, one for the Goal and one for the Web Services.
• The two Ontologies simulate the case where the user and service provider use different Ontologies.
• You play the role of both the user and the service provider.
• Use the WSML Editor in the WSMT to view the provided Ontologies and create the Goal and Web Service based on the different sets provided
![Page 97: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/97.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Register the Web Service
• Use the WSMX Invoker in the WSMT to register the Web Service you created with WSMX.
Semantic Description
WSDL Document
WSMX
Resource Manager
receiveWSML
![Page 98: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/98.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Create Ontology Mappings
• When there are multiple Ontologies that describe the same thing are used in different descriptions, it is necessary to create mappings between them to allow instances of one be converted to instances of the other.
• Use the WSMX Data Mediator Mapping Tool in the WSMT to create the mappings between the supplied Ontologies and store these mappings in WSMX.
• The tool will provide you with recommendations of which mappings to create. Note: the recommendations become more accurate as you create more mappings.
![Page 99: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/99.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Storing the Mappings
• Use the WSMX Data Mediation Mapping Tool to store the mappings between the source and target Ontologies.
Mappings
WSMX
Resource Manager
storeMappings
![Page 100: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/100.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Invoking the Web Service
• Use the WSMX Invoker in the WSMT to execute the achieveGoal entry-point of WSMX with the Goal you created.
• Communication with WSMX is asynchronous and the messages you sent and the responses you received can be monitored through the WSMX Invoker.
Goal
Instance Data
WSMX
Resource Manager
achieveGoal Discovery Mediation Invocation
result
WS
![Page 101: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/101.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Wrap-up
• Summary
• References
• Acknowledgements
![Page 102: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/102.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Summary
• WSMX and IRS are two WSMO compliant execution engines
• Both focus on goal-driven service invocation
• Both focus on solving heterogeneity through mediators
• Both share a common public interface– Integration at the system level
![Page 103: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/103.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
References WSMX
• The central location where WSMX work, papers, and software can be found is the WSMX working group homepage: http://www.wsmx.org.
• The main documents are: – Conceptual Model (http://www.wsmo.org/2004/d13/d13.1/v0.3/) – Architecture (http://www.wsmo.org/TR/d13/d13.4/v0.2/)– Implementation: open source at http://sourceforge.net/projects/wsmx– Documentation (http://www.wsmo.org/TR/d22/v0.2/) – Execution Semantics (http://www.wsmo.org/TR/d13/d13.2/) – WSMX Toolkit (http://www.wsmo.org/TR/d9/d9.1/v0.2/)
• Further Readings: Fensel D. and Bussler C., "The Web Service Modeling Framework, WSMF,"
Electronic Commerce Research and Application, vol. 1, 2002Bussler, C. (2003): B2B Integration. Berlin, Heidelberg: Springer. Haselwanter, T.; Zaremba, Ma.., Zaremba Mi.: Enabling Components Management
and Executions Semantics in WSMX. In Proceedings of the 2nd International WSMO Implementation Workshop (WIW 2005), Innsbruck, Austria, June 2005.
Zaremba, M. and Bussler, C.: Towards Dynamic Execution Semantics in Semantic Web Services. In Proceedings of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration, 2005.
![Page 104: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/104.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
References IRS III
• J. Domingue, L. Cabral, F. Hakimpour,D. Sell and E. Motta: IRS-III: A Platform and Infrastructure for Creating WSMO-based Semantic Web Services. Proceedings of the Workshop on WSMO Implementations (WIW 2004) Frankfurt, Germany, September 29-30, 2004, CEUR Workshop Proceedings, ISSN 1613-0073, online http://CEUR-WS.org/Vol-113/paper3.pdf.
• J. Domingue and S. Galizia: Towards a Choreography for IRS-III.• Proceedings of the Workshop on WSMO Implementations (WIW 2004) Frankfurt,
Germany, September 29-30, 2004, CEUR Workshop Proceedings, ISSN 1613-0073, online http://CEUR-WS.org/Vol-113/paper7.pdf.
• Cabral, L., Domingue, J., Motta, E., Payne, T. and Hakimpour, F. (2004).• Approaches to Semantic Web Services: An Overview and Comparisons. In
proceedings of the First European Semantic Web Symposium (ESWS2004);• 10-12 May 2004, Heraklion, Crete, Greece.
• Motta, E., Domingue, J., Cabral, L. and Gaspari, M. (2003) IRS-II: A Framework and Infrastructure for Semantic Web Services. In proceedings of the 2nd International Semantic Web Conference (ISWC2003) 20-23 October 2003, Sundial Resort, Sanibel Island, Florida, USA.
![Page 105: Christoph Bussler Mick Kerrigan Matthew Moran Brahmananda Sapkota Michael Stollberg Michal Zaremba Liliana Cabral John Domingue Stefania Galizia Barry](https://reader030.vdocuments.site/reader030/viewer/2022032523/56649d805503460f94a6468e/html5/thumbnails/105.jpg)
4th International Sematic Web Conference, Galway, Ireland 6 November 2005
Acknowledgements
The WSMO work is funded by the European Commission under the projects ASG, DIP, Knowledge Web, SEKT, SWWS, AKT and Esperonto; by Science Foundation Ireland under the DERI-Lion project; and by the Austrian government under the FIT-IT program.