MathBroker II: Brokering Distributed Mathematical Services

In the previous "MathBroker I" project, we have developed the infrastructure for implementing mathematical services on top of widely accepted Web standards. Specifically, we have developed - sample mathematical services based on the SOAP protocol using the OpenMath standard for exchanging mathematical objects, - the mathematical service description language MSDL which incorporates the Web service description language WSDL, and - a Web registry for holding MSDL descriptions based on the ebXML (Electronic Business Using XML) registry. We propose to continue and to extend this work. We want to continue this work by developing a high-level query model and language that can be used by a broker for matching service requests to service providers. We want to extend this work by incorporating into the declarative description model of MSDL a process description model based on features of OWL-S (result of the Semantic Web activities) or of WS-CDL (result of the Web Services activities).

In the previous "MathBroker I" project, we have developed the infrastructure for implementing mathematical services on top of widely accepted Web standards. Specifically, we have developed - sample mathematical services based on the SOAP protocol using the OpenMath standard for exchanging mathematical objects, - the mathematical service description language MSDL which incorporates the Web service description language WSDL, and - a Web registry for holding MSDL descriptions based on the ebXML (Electronic Business Using XML) registry. We propose to continue and to extend this work. We want to continue this work by developing a high-level query model and language that can be used by a broker for matching service requests to service providers. We want to extend this work by incorporating into the declarative description model of MSDL a process description model based on features of OWL-S (result of the Semantic Web activities) or of WS-CDL (result of the Web Services activities).