author = {Olga Caprotti and Wolfgang Schreiner},
title = {{Towards A Mathematical Services Description Language}},
language = {english},
abstract = {As a foundation for a framework for brokering mathematical services distributed among networked servers, we propose a language that describes the mathematical problems solved by the services. This mathematical service description language extends \textsc{wsdl}, the web service description language. Servers register their problem solving capabilities expressed in this language 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 and focuses on the semantical aspects.},
number = {02-11},
year = {2002},
month = {May},
howpublished = {Proceedings of the International Congress of Mathematical Software 2002, Beijing, China. August 17 - 19, 2002},
keywords = {online mathematics, mathematical knowledge management, web services},
sponsor = {Austrian Science Foundation (FWF) (Project P15183)},
length = {12},
type = {riscreport},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}