A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Web Service technology is increasingly being used to develop distributed applications, however the convention is to describe individual services in terms of the interfaces that they expose, rather in terms of the function that they perform. In this paper we describe a mechanism for encoding information about mathematical web services which is rich enough to allow a potential client to identify automatically all those services which may be capable of performing a particular task. This mechanismdoi:10.1007/978-3-540-27818-4_6 fatcat:46c326k755ffnhquppvxa2wqca