Building a Computer Algebra environment by composition of collaborative tools

  • Norbert Kajler
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 721)


Building a software environment for Computer Algebra is quite a complex issue. Such an environment may include one or more Symbolic Computation tools, some devices, such as plotting engines or code generators, and a way to link others scientific applications. It is also expected that any of these components may be run on a remote processor and that the whole system is used via a convenient graphical user interface. The natural extensibility of Computer Algebra software, as well as the diversity of the needs expressed by their users, necessitate a highly open and customizable software architecture allowing different kinds of extensions and adaptations. Our approach consists of building the environment by composition of separately developed packages, using state of the art software engineering technologies in the spirit of the tool integration paradigm. This way, the different software components should be able to exchange data and freely cooperate with each other, without being too tightly coupled as in a monolithic system. A prototype of such an environment is currently under development in the framework of the SAFIR project. It will be built using an implementation of the software bus concept developed for the next version of Centaur, and should include a set of components, developed both internally and externally, and a homogeneous user interface.


Computer Algebra Software Bus Tool Integration User Interface 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Palay J. Andrew. The Andrew Toolkit: An overview. In 1988 Winter USENIX Technical Conference, pages 9–21, Dallas, Texas, February 1988.Google Scholar
  2. 2.
    Ali Atie. Third annual GIPE report, chapter LLMI: An Interface Between LeLisp and OSF/Motif. ESPRIT Project 2177, 1991.Google Scholar
  3. 3.
    L. Bass and J. Coutaz. Developing Software for the User Interface. Addison-Wesley, 1991.Google Scholar
  4. 4.
    G. Boudier, F. Gallo, R. Monot, and R. Thomas. An Overview of PCTE and PCTE+. In ACM Software Engineering Symposium on Practical Software Development Environments, SIGSOFT Software Engineering Notes, 13(5), November 1988.Google Scholar
  5. 5.
    CACM. Special issue on hypertext. Communications of the ACM, July 1988.Google Scholar
  6. 6.
    M. Cagan. HP Soft Bench: An Architecure for a New Generation of Software Tools. SoftBench Technical Note Series SESD-89-24, Hewlett-Packard, November 1989.Google Scholar
  7. 7.
    Dominique Clement. A distributed architecture for programming environments. Rapport de recherche 1266, INRIA, July 1990.Google Scholar
  8. 8.
    Y. Doleh and P. S. Wang. SUI: A system Independent User Interface for an Integrated Scientific Computing Environment. In ACM Proc. of the International Syposium on Symbolic and Algebraic Computation, pages 88–94, Tokyo, August 1990. Addison-Wesley.Google Scholar
  9. 9.
    C. Faure, A. Galligo, J. Grimm, and L. Pottier. The extensions of the Sisyphe computer algebra system: Ulysse and Athena. In Proc. of DISCO'92, Bath, GB, April 1992. Springer-Verlag.Google Scholar
  10. 10.
    R. Fournier. ZICVIS et la ZIClib. Rapport interne INRIA, Sophia-Antipolis, April 1992.Google Scholar
  11. 11.
    Paul Franchi-Zannettacci. Attribute Specifications for Graphical Interface Generation. In IFIP 11th World Computer Congress, pages 149–155, San Francisco, USA, 1989.Google Scholar
  12. 12.
    André Galligo, José Grimm, and LoÏc Pottier. The design of SISYPHE: a system for doing symbolic and algebraic computations. In A. Miola, editor, LNCS 429 DISCO'90, pages 30–39, Capri, Italy, Avril 1990. Springer-Verlag.Google Scholar
  13. 13.
    E. Golin, R. V. Rubin, and J. Walker II. The Visual Programming Workbench. In IFIP 11th World Computer Congress, pages 143–148, San Francisco, 1989.Google Scholar
  14. 14.
    The Khoros Group. Khoros Manual, Release 1.0. University of New Mexico, Albuquerque, 1991.Google Scholar
  15. 15.
    Laurent HascoËt. FIGUE: An Incremental Graphic Formatter. User's Manual for Version 1. INRIA, Sophia-Antipolis, August 1991.Google Scholar
  16. 16.
    SunSoft Inc. The ToolTalk Service. Technical report, September 1991.Google Scholar
  17. 17.
    Gilles Kahn et al. CENTAUR: the system. In E. Brinksma, G. Scollo, and C. Vissers, editors, Proc. of 9th IFIP WG6.1. Intern. Symp. on Protocol Specification, Testing and Verification, 1989.Google Scholar
  18. 18.
    Norbert Kajler. Building Graphic User Interfaces for Computer Algebra Systems. In Proc. of DISCO'90, pages 235–244, Capri, Italy, April 1990. LNCS 429, Springer-Verlag.Google Scholar
  19. 19.
    Norbert Kajler. CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems. In Proc. of ISSAC'92, Berkeley, USA, July 1992. ACM Press. To appear.Google Scholar
  20. 20.
    B. L. Leong. Iris: Design of a User Interface Program for Symbolic Algebra. In Proc. of the 1986 ACM-SIGSAM Symp. on Symbolic and Algebraic Computation, July 1986.Google Scholar
  21. 21.
    Mark. A. Linton, Paul. R. Calder, and John. M. Vlissides. InterViews: A C++ graphical interface toolkit. Technical Report CSL-TR-88-358, Stanford University, July 1988.Google Scholar
  22. 22.
    MathSoft, Inc., One Kendall Square, Cambridge, MA. MathStation, Version 1.0., 1989.Google Scholar
  23. 23.
    OSF/Motif. OSF/Motif Programmer's Guide, Programmer's Reference Manual & Style Guide, Open Software Foundation edition, 1990.Google Scholar
  24. 24.
    J. K. Ousterhout. Tcl: An embeddable command language. In 1990 Winter USENIX Conference Proceedings. Univ. of California at Berkeley, 1990.Google Scholar
  25. 25.
    James Purtilo. Minion: An Environment to Organize Mathematical Problem Solving. In Symposium on Symbolic and Algebraic Computation, pages 147–154. ACM, July 1989.Google Scholar
  26. 26.
    Vincent Quint. Structured documents, chapter Systems for the representation of structured documents, pages 39–73. The Cambridge Series on Electronic Publishing. Cambridge University Press, Cambridge, 1989.Google Scholar
  27. 27.
    Steven P. Reiss. Connecting Tools Using Message Passing in the Field Environment. IEEE Software, pages 57–67, July 1987.Google Scholar
  28. 28.
    Dick Schefström. Building a Highly Integrated Development Environment Using Preexisting Parts. In IFIP 11th World Computer Congress, San Francisco, August 1989.Google Scholar
  29. 29.
    Richard Snodgrass. The Interface Description Language: Definition and Use. Principles of Computer Sciences Series. Computer Science Press, 1991.Google Scholar
  30. 30.
    R. Taylor, F. Belz, L. Clarke, L. Osterweil, R. Selby, J. Wileden, A. Wolf, and M. Young. Foundations for the Arcadia Environment Architecture. In ACM SIGSOFT'88: Third Symposium on Software Development Environments, November 1988.Google Scholar
  31. 31.
    Jack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, and Peri L. Tarr. Specification Level Interoperability. In 12th International Conference on Software Engineering, pages 74–85. IEEE Computer Society Press, May 1990.Google Scholar
  32. 32.
    Wolfram Research, Inc. MathLink External Communication in Mathematica, 1990.Google Scholar
  33. 33.
    E. Yourdon and L. L. Constantine. Structured Design: Fundamentals of a Discipline of Computer and System Design. Prentice-Hall, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Norbert Kajler
    • 1
    • 2
  1. 1.Projet Safir, INRIA Sophia-AntipolisSophia-Antipolis CedexFrance
  2. 2.ValbonneFrance

Personalised recommendations