In this report, we present our results of developing a framework for publishing and discovering mathematical service descriptions in a registry. The registry is based on and extends the ebXML registry to handle mathematical service descriptions based on the MSDL speci cation developed in the framework of the MathBroker project. This work serves our ultimate goal to produce a \semantic broker" where services register their problem solving capabilities and clients submit task descriptions; the broker then determines the suitable services and returns them to the client for invocation.
| Original language | English |
|---|
| Place of Publication | University of Linz, Austria |
|---|
| Publisher | RISC |
|---|
| Number of pages | 46 |
|---|
| Publication status | Published - May 2004 |
|---|
| Name | RISC Report Series |
|---|
| No. | 04-13 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics