Matchmaking of Mathematical Web Services

  • Simone A. Ludwig
  • William Naylor
  • Omer F. Rana
  • Julian Padget
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3911)


Service discovery and matchmaking in a distributed environment has been an active research issue since at least the mid 1990s. Previous work on matchmaking has typically presented the problem and service descriptions as free or structured (marked-up) text, so that keyword searches, tree-matching or simple constraint solving are sufficient to identify matches. We discuss the problem of matchmaking for mathematical services, where the semantics play a critical role in determining the applicability or otherwise of a service and for which we use OpenMath descriptions of pre and post-conditions. We describe a matchmaking architecture supporting the use of match plug-ins and describe four kinds of plug-in that we have developed to date.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Gomez, M., Plaza, E.: Extended matchmaking to maximize capability reuse. In: Jennings, N.R., et al. (eds.) Proceedings of The Third International Joint Conference on Autonomous Agents and Multi Agent Systems, vol. 1, pp. 144–151. ACM Press, New York (2004)Google Scholar
  3. 3.
    Bohrer, W., Nodine, M., Ngu, A.H.: Semantic brokering over dynamic heterogenous data sources in infosleuth. In: Proceedings of the 15th International Conference on Data Engineering, pp. 358–365 (1999)Google Scholar
  4. 4.
    MONET Consortium. MONET Home Page, Available from
  5. 5.
    OpenMath Society. OpenMath website, February www,
  6. 6.
    Richardson, D.: Some Unsolvable Problems Involving Elementary Functions of a Real Variable. Journal of Computational Logic 33, 514–520 (1968)zbMATHGoogle Scholar
  7. 7.
    Sowa, J.F.: Ontology, metadata, and semiotics, conceptual structures: Logical, linguistic, and computational issues. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, Springer, Heidelberg (2000)Google Scholar
  8. 8.
    Sycara, K., Widoff, S., Klusch, M., Lu, J.: Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace. Journal of Autonomous Agents and Multi Agent Systems 5(2), 173–203 (2002)CrossRefGoogle Scholar
  9. 9.
    The GENSS Project. GENSS Home Page, Available from
  10. 10.
    The OpenMath Society. The OpenMath Standard (October 2002), Available from
  11. 11.
    Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology 6(4), 333–369 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Simone A. Ludwig
    • 1
  • William Naylor
    • 2
  • Omer F. Rana
    • 1
  • Julian Padget
    • 2
  1. 1.Department of Computer ScienceCardiff UniversityUK
  2. 2.Department of Computer ScienceUniversity of BathUK

Personalised recommendations