wsml logo
wsmo logo

wsmx logo
WSML WSMO WSMX
IRS III

Semantically Enabled Service-Oriented Architectures (SESA)

Tutorial


Abstract

This tutorial provides a comprehensive overview on the state-of-the-art in Semantic Web and Semantic Web services, and presents the concept of so-called Semantically Enabled Service-Oriented Architectures (SESA) as the next step of technology development. The tutorial will be based on the Web Service Modeling Ontology WSMO (www.wsmo.org) that is mainly developed by the Digital Enterprise Institute DERI (www.deri.org).

The complete material for print-out is available at SESA-tutorial-printouts.pdf (as PDF, ca. 10 MB).


Description

In order to overcome the deficiencies of the initial technology stack around WSDL, UDDI, and SOAP for the detection and usability analysis of Web services, the emerging concept of Semantic Web Services (SWS) develops techniques for the automated discovery, composition, and execution of Web services. These apply inference-based reasoning techniques that work on formal descriptions and use ontologies as the underlying data model. Ontologies are formalized knowledge models, and are propagated as the base technology for the Semantic Web in order to facilitate semantically enabled processing of Web Content. The concept of Semantically Enabled Service-Oriented Architectures (SESA) aims at automated support for the complete life- and production cycle of Service-Oriented Architectures. For this, the SWS approach is extended with additional, semantically described elements: goals as formally described client objectives, and mediators for handling potentially occurring heterogeneities.

The Web Service Modeling Ontology WSMO (www.wsmo.org) is a comprehensive framework for SESA that defines a conceptual model along with a specification language, and provides a reference implementation with additional tool support. WSMO defines ontologies, Web services, goals, and mediators as its top level elements with a description model and language for each of them. The specification language WSML (www.wsmo.org/wsml/) covers all types of languages that are considered to be relevant for the Semantic Web, and a reasoner suite along with additional tool support. The reference implementation WSMX (www.wsmx.org) provides an open-source development and execution environment for SESA on the basis of the WSMO framework.

The aim of the tutorial is to provide a comprehensive overview of SESA and its realization within WSMO. We will outline the motivation and need for such technologies, explain the WSMO framework and technology, and show existing applications. Major parts of the tutorial are practical hands-on sessions wherein the attendees actively model WSMO elements and use the existing tools. Attendees will be provided with hand-outs and CDs with the tutorial material and software.


Agenda and Material

The tutorial will be given as a 4-day event. The following outlines the agenda, and provides the complete material and the software for download.

Day 1: Introduction and Foundations

(half day = 4 hours lecture style)

At first, we introduce into the context of SESA, explaining the need and the motivation, the basic concepts and technologies, and the WSMO framework. This part covers:

Slide Set (as PDF):

PDF

 

Day 2: Logics and Reasoning

(full day = 3 hours lecture style, 3 hours practical hands-on session)

The second part of the tutorial addresses logics and reasoning as the basis of semantic technologies. We will explain this on hand of the WSMO specification language (WSML); the afternoon will be a practical hands-on session that works with the WSML reasoning infrastrcuture. This part covers:

Slide Set (as PDF):

PDF

Software (as ZIP archive, ca. 250 MB), and Instructions (as MS Word and PDF) :

ZIP     MS Word     PDF

 

Day 3: Semantic Web Service Environments

(full day = 3 hours lecture style, 3 hours practical hands-on session)

The third part of the tutorial is concerned with development and execution environments for SESA. We present this on hand of the WSMO reference implementation WSMX; the afternoon will be a practical hands-on session wherein attendees model WSMO goals and Web services and work with the WSMX system. This part consists of:

Slide Set (as PDF):

PDF

Software (as ZIP archive, ca. 200 MB), and Instructions (as MS Word and PDF) :

ZIP     MS Word     PDF

 

Day 4: Applications and SUPER project

(half day = 3 hours lecture style)

The final part of the tutorial presents existing applications of the WSMO technology. In particular, we will present the usage of WSMO for the semantically enabled business process management technologies that are developed within the SUPER project (see homepage: http://www.ip-super.org/).

Slide Set (as PDF):

PDF


Presenters

The tutorial is presented by three experienced researchers from the DERI institute in Innsbruck who actively work on the presented technologies. The following provides some biographical information.

Michael Stollberg Michael Stollberg
DERI Austria
University of Innsbruck
Technikerstr. 21a
A-6020 Innsbruck, Austria
http://members.deri.at/~michaels/

Michael Stollberg is a researcher with the Digital Enterprise Research Institute DERI, working in the area of Semantic Web Services. He has published around 30 scientific articles in the area. Michael Stollberg is a founding member of the WSMO working group and has been as work package manager in the DIP project. He has been responsible for a series of over 20 tutorials on Semantic Web services, he has been the tutorial chair of ESWC 2006, and is program committee member of several related conferences and workshops.

 
Omair Shafiq Omair Shafiq
DERI Austria
University of Innsbruck
Technikerstr. 21a
A-6020 Innsbruck, Austria
http://www.deri.at/about/team/details/omair-shafiq/
Omair Shafiq is a researcher at the DERI institute in Innsbruck, Austria . His research interests focus on Semantic Web, Semantic Web Services, Semantic Grid, Peer-to-Peer Computing and Distributed Systems Management, and published over 20 articles in international journals, conference and workshops. He is a project management assistant of the Triple Space Computing project, and also works in the projects Triple Space Communication (TripCom), and Grid Semantics and Intelligent Objects (GRISINO). He is member of OASIS technical committee on Semantic Execution Environments. He has also been involved in organization and program committee of a number of international conferences and workshops.
 
Darko Anicic

Darko Anicic
DERI Austria
University of Innsbruck
Technikerstr. 21a
A-6020 Innsbruck, Austria
http://www.deri.at/about/team/details/darko-anicic/

Darko Anicic is a researcher at the DERI institute in Innsbruck, Austria . His main research areas are rule-based reasoning with large data sets, deductive database algorithms and optimization techniques, reasoning in distributed environments and Semantic Web. He is leading the development of the Integrated Rule Inference System (IRIS) - an open source reasoner engine for WSML. He was a project management assistant of the Adaptive Services Grid (ASG) project, and is currently working in the SUPER project as well as in a number of other projects that use the IRIS engine as an underlying inference system. He is member of W3C and active participant in a number of international conferences and workshops

 


Acknowledgements

The tutorial presents works that are funded by the European Commission under the projects DIP, Knowledge Web, InfraWebs, SEKT, SWWS, ASG and SUPER; by Science Foundation Ireland under the DERI-Lion project; by the FIT-IT (Forschung, Innovation, Technologie - Informationstechnologie) under the projects RW2 and TSC.