An Architecture for Distributed Mathematical Web Services

  • Elena S. Smirnova
  • Clare M. So
  • Stephen M. Watt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3119)


This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients to access mathematical computational facilities through a uniform set of network protocols, independent of the software packages that provide the end functionality. The author of a mathematical web service need know only the specifics of the system in which the mathematical computations are performed, e.g. Maple, Mathematica or Fortran with NAG library. Whatever additional network service code that is necessary (e.g. Java, wsdl, etc), is generated and configured automatically. This paper presents a brief architectural overview of the entire framework, and then gives a detailed description of the design and implementation of the tools for mathematical servers for this environment. A set of mathematical web services currently deployed are described as examples.


Computer Algebra System Service Description Service Interface Service Author Mathematical Software 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Buswell, S., Caprotti, O., Dewar, M.: MoNET Architecture Overview, Deliverable 4, The MoNET Consortium (2002)Google Scholar
  2. 2.
    Chicha, Y., Davenport, J., Roberts, D.: Mathematical Explanation Ontology, Deliverable 7, The MoNET Consortium (2004)Google Scholar
  3. 3.
    Caprotti, O., Carlisle, D., Cohen, A.M., Dewar, M.: Mathematical Problem Description Ontology, Deliverable 11, The MONET Consortium (2003)Google Scholar
  4. 4.
    Buswell, S., Caprotti, O., Dewar, M.: Mathematical Service Description Language, Deliverable 14, The MONET Consortium (2003)Google Scholar
  5. 5.
    Barbera-Medina, W., Buswell, S., Chicha, Y., Gaetano, M., Padget, J., Riem, M., Turi, D.: Broker API, Deliverable 18, The MONET Consortium (2003)Google Scholar
  6. 6.
    W3C, Simple Object Access Protocol (SOAP) 1.1 (2003–2004),
  7. 7.
    W3C, Web Services Description Language (WSDL) 1.1,
  8. 8.
  9. 9.
  10. 10.
    Dalmas, S., Gaetano, M., Watt, S.M.: An OpenMath v1.0 Implementation. In: Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), pp. 217–224. ACM Press, New York (1997)Google Scholar
  11. 11.
    Sacerdoti Coen, C., Zacchiroli, S.: Brokers and Web-Services for Automatic Deduction: a Case Study. In: Proc. Calculemus 2003 (2003)Google Scholar
  12. 12.
    RIACA OpenMath Library (2001–2004),
  13. 13.
    Document Object Model,
  14. 14.
    Java Standard Edition, Sun Microsystems Inc. (1995–2004),
  15. 15.
    The Apache Software Foundation (1996–2004),
  16. 16.
    Apache Jakarta Project, Apache Software Foundation (1999–2004),
  17. 17.
    Apache Axis, Apache Web Services Project (1999–2004),
  18. 18.
    Apache Ant, Apache Software Foundation (2000–2004),
  19. 19.
    JavaServer Pages Technology, Sun Microsystems, Inc. (1999–2004),
  20. 20.
    Maple, Maplesoft, a division of Waterloo Maple Inc. (2004),
  21. 21.
    Mathematica, Wolfram Research, Inc. (2004),
  22. 22.
    Axiom, Software Foundation, Inc. (2000–2004),
  23. 23.
    Derive, LTSN Maths, Stats & OR Network (2000–2004),
  24. 24.
    MatLab, The MathWorks, Inc. (1994–2004),
  25. 25.
    The MBase Mathematical Knowledge Base,

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Elena S. Smirnova
    • 1
  • Clare M. So
    • 1
  • Stephen M. Watt
    • 1
  1. 1.Ontario Research Centre for Computer Algebra (ORCCA), Department of Computer ScienceUniversity of Western OntarioLondonCanada

Personalised recommendations