The prototype of the SDC technique is implemented as a component for automated Web service discovery in the Web Service Execution Environment WSMX, the reference implementation of the WSMO framework. It is available as open software under the LGPL licence. The below figure provides an overview, while we refer to the technical documentation for details:

  • the SDC Runtime Discoverer implements the optimized Web service discovery for goal instances at runtime
  • the SDC Graph Creator implements the automated creation of SDC graphs
  • the Evolution Manager provides the facilities for maintaining SDC graphs
  • the Matchmaker implements all semantic matchmaking techniques for Web service discovery

Prototype Architecture

The prototype supports the handling of Goals, Web services, and domain ontologies as WSMO elements. We use the Web Service Modeling Language WSML as the specification language, and employ the automated theorem prover VAMPIRE for the matchmaking which is technically invoked via a Web service (available at VampireInvoker). The WSMO4J API allows to programmatically handle WSMO elements, and the WSMX Resource Manager is used for storage and retrieval.


Download prototype/SDCprototype.zip
Nature Java Application
Version 1.3, released on 19 October, 2007
Owner & Contact: Michael Stollberg
Licensing GNU Lesser General Public License (LGPL)
Copy Right Semantic Technology Institute Innsbruck
Source Control CVS of the WSMX SourceForge project at
Java Doc javadoc/index.html

Installation and Usage


Platform JDK 1.5
Required Libraries
  • WSMO4J is an API and a reference implementation for building Semantic Web Services applications compliant with the Web Service Modeling Ontology ( WSMO ).
  • Apache AXIS 2 - an open source engine for Web services.
  • Apache Log4J - an open source API for inserting logging statements into Java code

(all included in the download archive prototype/SDCprototype.zip)

Installation Instructions

The download archive prototype/SDCprototype.zip contains a complete Java project with all the relevant sources, the required Java libraries, and pre-configured project settings. It also contains the use case modeling as well as the JUnit tests for the evaluation of the SDC technique (see the Evaluation site for details).

  1. download the ZIP archive "SDCprototype.zip" from prototype/SDCprototype.zip, and unzip it to your machine
  2. add the content of the unzipped archive "SDCstandalone.zip" as a project in your Java development environment (e.g. Eclipse, recommended)

The installation is now completed. You should see a structure of the new project in your Java development environment as shown in the figure below. The content of the project is as follows:

  • the package org.deri.wsmx.discovery.caching contains the main classes of the SDC prototype
  • the package org.deri.wsmx.discovery.caching.matchmaking contains the classes for the matchmaking, in particular for invoking VAMPIRE via the VampireInvoker Web Service
  • the folder "unittest" contains pre-defined JUnit tests relevant for the evaluation of the SDC technique
  • the folder "resourcesSWSCshipment" contains the modeling of the goals, Web services, and domain ontologies for the shipment scenario as defined in the Semantic Web Service Challenge (see http://www.sws-challenge.org).

Prototype Architecture