From Untyped to Polymorphically Typed Objects in Mathematical Web Services

Naylor, William; Padget, Julián

doi:10.1007/11812289_18

Cited by 1 publication

(2 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…-OpenMath provides an extensible framework for the authoring of mathematical ontologies -MONET demonstrates feasibility of semantic processing from user query to service invocation [5] -GENSS generalizes the matchmaking/brokerage component [16] and extends matching to conditions and effects [18] -KNOOGLE implements an open architecture for matchmaking and brokerage [12] We will now discuss each of these and their contribution in some more detail.…”

Section: Technical Backgroundmentioning

confidence: 99%

“…Grid-Based Problem Solving Environments -Automatic generation of OpenMath for service description signatures and for (part of the) conditions and effects However, it should be emphasized that the OpenMath generation depends on the availability of the appropriate CDs in OpenMath to reflect the corresponding types in Aldor. There are several other delicate technical issues that are covered in detail in [18].…”

mentioning

confidence: 99%

See 1 more Smart Citation

Mathematical Service Discovery

Padget

Rana

IFIP the International Federation for Information Processing

Self Cite

View full text Add to dashboard Cite

Matchmaking has been a subject of research for many years, but the increasing uptake of service-oriented computing, of which the Grid can be seen as a particular instance, has made effective and flexible matchmaking a necessity. Early approaches to matchmaking and current schemes in the Grid community, like ClassAds, take a syntactic point of view, essentially matching up literals or satisfying some simple constraints for the purpose of identifying computational resources. The increasing availability of web services shifts attention to the function of the service, but WSDL can only publish (limited) information about the signature of the operation which tells the client little about what the service actually does. The focus in the MONET (www.monet.nag.co.uk) and GENSS (genss.cs.bath.ac.uk) projects has been on describing the semantics of mathematical services and developing the means to search for suitable services given a problem description. In this paper we discuss (i) the schema extending WSDL that we call Mathematical Service Description Language (MSDL), (ii) a number of ontologies for describing various properties of mathematical services, (iii) an approach to describing pre-and post-conditions in OpenMath (www.openmath.org) and (iv) an extensible, generic matchmaking framework along with a suite of match plug-ins that are themselves web services.

show abstract

Section: Technical Backgroundmentioning

confidence: 99%

mentioning

confidence: 99%