SCSCP (Symbolic Computation Software Composability Protocol)

SCSCP stands for the Symbolic Computation Software Composability Protocol

• the remote procedure call framework by which different software components (primarily mathematical software systems) may offer computational services to a variety of possible clients using the OpenMath encoding both for the data and protocol instructions.

SCSCP has been originally developed in the EU FP6 project 026133 SCIEnce - Symbolic Computation Infrastructure for Europe.

The current edition of the Symbolic Computation Software Composability Protocol is SCSCP Version 1.3.

SCSCP Version 1.1 and SCSCP Version 1.2 are also available.

SCSCP implementations

Currently (April 2017), support of OpenMath and SCSCP is available in the following computer algebra systems:

• GAP: via GAP packages:
  • OpenMath
    • Website: https://gap-packages.github.io/openmath/
    • GitHub: https://github.com/gap-packages/openmath
  • SCSCP
    • Website: https://gap-packages.github.io/scscp/
    • GitHub: https://github.com/gap-packages/scscp

• KANT - with KANT 4 SCSCP Package

• Macaulay2 - with OpenMath and SCSCP packages.

• Maple - with packages SCSCP[Client], SCSCP[Server] and MapleNET (Maple SCSCP client became available in Maple 16, see here)

• Mathematica - with SCSCP4Mathematica package.

• MuPAD - with the MuPAD OpenMath Package

• TRIP, with the built-in SCSCP client and server

Remarkably, most of OpenMath and SCSCP implementations produced in the SCIEnce project stay mainly within the computer algebra systems rather than in custom-built wrappers.

To facilitate SCSCP implementations, the following API and middleware is available:

• Python (both versions 2 and 3): via pure pip-installable packages
  • openmath
    • PyPI: https://pypi.python.org/pypi/openmath
    • GitHub: https://github.com/OpenMath/py-openmath
  • scscp
    • PyPI: https://pypi.python.org/pypi/scscp
    • GitHub: https://github.com/OpenMath/py-scscp

• C/C++ SCSCP library providing a C/C++ API to develop client and server SCSCP-compliant applications

• java.symcomp.org - Java API for SCSCP and OpenMath, with a collection of middleware developed on top if it:
  • POPCORN - convertor between OpenMath and Popcorn (Possibly Only Practicable Convenient OpenMath Replacement Notation)
  • WUPSI - Wonderful Universal Popcorn SCSCP Interface, a command line SCSCP-compliant interface

• MiniSCSCP++ - C++ library providing a simple C++ SCSCP client

• A prototype of the SCSCP client for the Coq proof assistant

Examples of SCSCP use

• Software demonstration which involves some of the above mentioned software products, given at the 3rd_SCIEnce_Workshop in Paris during CICM 2010 in July 2010.

• Deliverable report D3.3: Support for the SCSCP interface protocol in the distribution of all relevant components produced by the OpenDreamKit project in February 2017.