A Framework for Brokering Distributed Mathematical Services

RISC-Linz logo

December 2001 - November 2003.
Project Director
Wolfgang Schreiner.
Project Members
Olga Caprotti, Rebhi Baraka
Sponsored by
Austrian Science Foundation (FWF) (Project P15183)
Research and Development Goals
We propose a software framework for brokering mathematical services that are distributed among networked servers. The foundation of this framework is a language for describing the mathematical problems solved by the services. Servers register their problem solving capabilities with a "semantic broker" to which clients submit corresponding task descriptions. The broker (possibly in cooperation with a deduction system) determines the suitable services and returns them to the client for invocation. This mechanism thus hides from the client the actual implementation of mathematical services. On top of this, we propose a runtime system that accepts the descriptions of compound tasks and coordinates the invocation of the services offered by the broker. This mechanism thus hides from the client the coordination of mathematical services. Embedded into xml-documents and interpreted by browser applets, such descriptions may act as interactive hypermedia interfaces for distributed mathematical applications.
Project Server
This server contains the project description and results.
Development Server
This server is used for development work and demonstrations; it may be temporarily unavailable.

Maintainer: The System Administration
Last Modification: September 18, 2002

[Up] [RISC-Linz] [University] [Search]