OpenXM/doc/ascm2001p/design-outline.tex - diff

Return to design-outline.tex CVS log

Up to [local] / OpenXM / doc / ascm2001p

Diff for /OpenXM/doc/ascm2001p/design-outline.tex between version 1.1 and 1.3

version 1.1, 2001/06/19 07:32:58

version 1.3, 2001/06/20 02:40:09

Line 1

% $OpenXM$

% $OpenXM: OpenXM/doc/ascm2001p/design-outline.tex,v 1.2 2001/06/20 02:09:45 takayama Exp $

\section{Design Outline and OpenXM Request for Comments (OpenXM-RFC)}

As Schefstr\"om clarified in \cite{schefstrom},

As Schefstr\"om\cite{schefstrom}, clarified,

integration of tools and software has three dimensions:

data, control, and user interface.

Line 11 software or same software.

OpenMath \cite{OpenMath} and MP (Multi Protocol) \cite{GKW} are,

for example, general purpose mathematical data protocols.

They provide standard ways to express mathematical objects.

For example,

%For example,

\begin{verbatim}

%\begin{verbatim}

% <OMOBJ> <OMI> 123 </OMI> </OMOBJ>

\end{verbatim}

%\end{verbatim}

means the (OpenMath) integer $123$ in OpenMath/XML expression.

%means the (OpenMath) integer $123$ in OpenMath/XML expression.

Control integration concerns with the establishment and management of

inter-software communications.

Line 24 and a method to interrupt computations on servers from

RPC, HTTP, MPI, PVM are regarded as a general purpose control protocols or

infrastructures.

MCP (Mathematical Communication Protocol)

by Wang \cite{iamc} is such a protocol for mathematics.

by Wang \cite{iamc} and OMEI \cite{omei} are such protocols for mathematics.

Although data and control are orthogonal to each other,

real world requires both.

Line 34 Each integration method has their own features determi

own design goals.

OpenXM (Open message eXchange protocol for Mathematics)

is a project aiming to integrate data, control and user interfaces

with design goals motivated by the followings.

started by Noro and Takayama.

\begin{enumerate}

\item We should test the proposed standards mentioned above on

Noro has been involved in the development of

various mathematical software systems, but the testing has not been

enough.

\item Noro has been involved in the development of

a computer algebra system Risa/Asir \cite{asir}.

An interface for interactive distributed computations was introduced

to Risa/Asir

to Risa/Asir in 1995.

%% version 950831 released

The model of computation was RPC.

in 1995.

The model of computation was RPC (remote procedure call).

A robust interruption protocol was provided

by two communication channels

by two communication channels like ftp.

like the File Transfer Protocol (ftp).

As an application of this protocol,

a parallel speed-up was achieved for a Gr\"obner basis computation

to determine all odd order replicable functions

(Noro and McKay \cite{noro-mckay}).

However, the protocol was local in Asir and we thought that we should

Takayama has developed

design an open protocol.

\item Takayama has developed

a special purpose system Kan/sm1 \cite{kan},

which is a Gr\"obner engine for the ring of differential operators $D$.

which is a Gr\"obner engine for the ring of differential operators $D$

In order to implement algorithms in $D$-modules due to Oaku

and designed as a component of a larger system.

(see, e.g., \cite{sst-book}),

factorizations and primary ideal decompositions are necessary.

Kan/sm1 does not have an implementation for these and called

Risa/Asir as a UNIX external program.

This approach was not satisfactory.

Especially, we could not write a clean interface code between these

two systems.

We thought that it is necessary to provide a data and control protocol

for Risa/Asir to work as a server of factorization and primary ideal

decomposition.

\item We have been profited from increasing number

of mathematical software.

These are usually ``expert'' systems in one area of mathematics

such as ideals, groups, numbers, polytopes, and so on.

They have their own interfaces and data formats,

which are fine for intensive users of these systems.

However, a unified system will be more convenient

for users who want to explore a new area of mathematics with these

software or users who need these systems only occasionally.

\item We believe that an open integrated system is a future of mathematical

Noro and Takayama firstly tried to integrate these existing two

software systems.

We believe that an open integrated system is a future of mathematical

software.

However, it might be just a dream without realizability.

However, we found that it might be just a dream without realizability

We want to build a prototype of such an open system by using

and that it is an important research subject to

existing standards, technologies and several mathematical software.

build a prototype of such an integrated system. % Project X

We want to see how far we can go with this approach.

\end{enumerate}

Motivated with these, we started the OpenXM project with the following

We started the OpenXM project with the following

fundamental architecture, which is currently described in

OpenXM-RFC 100 proposed standard %% ``draft standard'' and ``standard''

``Design and Implementation of OpenXM client-server model and common

\cite{ox-rfc-100}.

mathematical object format'' \cite{ox-rfc-100}.

\begin{enumerate}

\item Communication is an exchange of messages. The messages are classified into

three types:

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>