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. Performs the publishing and discovering of MSDL objects. The Registry Architecture

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.at:8080/mathbroker/results/Registry.html Technical reports Registry software