Brokering Mathematical Services Through a Web Registry

1
Brokering Mathematical Services Through a Web
Registry
2
Contents

• The Idea
• What is a Mathematical Web Service.
• A mathematical service description model.
• Publishing and Locating a Service Through a Web
  Registry
• What is a Web registry. A registry use case
  scenario.
• The Registry Framework
• Architecture, Main results.
• Demo Publishing and Querying.

3
The Idea

• Use and build on existing Web technologies to put
  mathematical problem solutions on the Web.
• Offer these solutions in the form of Web
  services.
• Use a Web registry to broker these services
  (between developer and user)
• Describe them using a mathematical description
  language (devised for this purpose).
• Advertise them in the Web by publishing their
  descriptions in a Web registry.
• User discovers them through the Web registry.

4
What is a Mathematical Web Service

• A Web service is a problem solution that can be
  described, published, located, and invoked over
  the Web.
• A mathematical Web service is a Web service that
  offers the solution to a mathematical problem.

5
A Mathematical Service Description Model
6
Publishing and Locating a Service Through a Web
Registry

• Mathematical Web services need to be advertised
  by developers and discovered by users.
• This can be done through a Web registry.

7
What is Web Registry

• A Web Registry is an information system that
  securely manages any content type and the
  standardized metadata that describes it.
• A web-based shared resource that enables
  publishing, deployment, and discovery of Web
  services.
• A (mathematical) registry provides a set of
  functionalities to facilitate the sharing and
  exchange of (mathematical) service descriptions.

8
Registry Use Case Scenario
9
The Registry Framework

• We built our registry on an existing registry
  standard (OASIS ebXML registry standard) and a
  registry implementation (ebXMLrr).
• We extended the functionality of the ebXML
  registry to handle mathematical service
  descriptions in the form of MSDL.

OASIS (Organization for the Advancement of
Structured Information Standards) ebXML
(Electronic Business Using XML) ebXMLrr (ebXML
Registry Reference Implementation)
10
The Registry Architecture
Performs the publishing and discovering of MSDL
objects.
11
Main Results

• Import mathematical taxonomies into the registry,
  e.g., GAMS
• Mathematical entities can be classified.
• Easier search/browse capabilities.
• MSDL entities can be manipulated, registered, and
  discovered via the registry.
• Dependencies among MSDL objects are modeled as
  Associations.
• An ebXML-based MSDL registry API.
• A client to publish MSDL descriptions into the
  registry and to query the registry for such
  descriptions.

GAMS (Guide to Available Mathematical Software)
12
Demo

• Publishing
• Querying
• Showing math entities, classifications, and
  associations in the registry browser.

13
Next Step

• Design and implement a high-level query model for
  MSDL. E.g.,
• Determine, for an MSDL entity, all instances that
  satisfy a particular criteria.
• For a problem, Determine all the more special
  versions of the problem.

14
Resources

• MathBroker registry homepage
• http//poseidon.risc.uni-linz.ac.at8080/mathbroke
  r/results/Registry.html
• Technical reports
• Registry software

15
(No Transcript)