Advertisement

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)

Abstract

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.

Keywords

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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), http://www.w3.org/TR/SOAP
  7. 7.
    W3C, Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/wsdl.html
  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), http://www.riaca.win.tue.nl/products/openmath/lib/1.3/api
  13. 13.
    Document Object Model, http://www.w3.org/DOM/
  14. 14.
    Java Standard Edition, Sun Microsystems Inc. (1995–2004), http://java.sun.com
  15. 15.
    The Apache Software Foundation (1996–2004), http://httpd.apache.org
  16. 16.
    Apache Jakarta Project, Apache Software Foundation (1999–2004), http://jakarta.apache.org/tomcat
  17. 17.
    Apache Axis, Apache Web Services Project (1999–2004), http://ws.apache.org/axis
  18. 18.
    Apache Ant, Apache Software Foundation (2000–2004), http://ant.apache.org
  19. 19.
    JavaServer Pages Technology, Sun Microsystems, Inc. (1999–2004), http://java.sun.com/products/jsp
  20. 20.
    Maple, Maplesoft, a division of Waterloo Maple Inc. (2004), http://www.maplesoft.com
  21. 21.
    Mathematica, Wolfram Research, Inc. (2004), http://www.wolfram.com
  22. 22.
    Axiom, Software Foundation, Inc. (2000–2004), http://savannah.nongnu.org/projects/axiom
  23. 23.
    Derive, LTSN Maths, Stats & OR Network (2000–2004), http://www.chartwellyorke.com/derive.html
  24. 24.
    MatLab, The MathWorks, Inc. (1994–2004), http://www.mathworks.com/products/matlab
  25. 25.
    The MBase Mathematical Knowledge Base, http://www.mathweb.org/mbase/

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