[BACK]Return to design-outline.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / ascm2001p

Diff for /OpenXM/doc/ascm2001p/design-outline.tex between version 1.4 and 1.5

version 1.4, 2001/06/20 03:08:05 version 1.5, 2001/06/20 05:42:47
Line 1 
Line 1 
 % $OpenXM: OpenXM/doc/ascm2001p/design-outline.tex,v 1.3 2001/06/20 02:40:09 takayama Exp $  % $OpenXM: OpenXM/doc/ascm2001p/design-outline.tex,v 1.4 2001/06/20 03:08:05 takayama Exp $
   
 \section{Design Outline and OpenXM Request For Comments}  \section{Design Outline and OpenXM Request For Comments}
   
Line 6  As Schefstr\"om\cite{schefstrom} clarified,
Line 6  As Schefstr\"om\cite{schefstrom} clarified,
 integration of tools and software has three dimensions:  integration of tools and software has three dimensions:
 data, control, and user interface.  data, control, and user interface.
   
 Data integration concerns with the exchange of data between different  Data integration is concerned with the exchange of data between different
 software or same software.  software or same software.
 OpenMath \cite{OpenMath} and MP (Multi Protocol) \cite{GKW} are,  OpenMath \cite{OpenMath} and MP (Multi Protocol) \cite{GKW} are,
 for example, general purpose mathematical data protocols.  for example, general purpose mathematical data protocols.
Line 17  They provide standard ways to express mathematical obj
Line 17  They provide standard ways to express mathematical obj
 %\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  Control integration is concerned with the establishment and management of
 inter-software communications.  inter-software communications.
 Control involves, for example, a way to ask computations to other processes  Control involves, for example, a way to call subroutines on other processes
 and a method to interrupt computations on servers from a client.  and a method to interrupt computations on servers from a client.
 RPC, HTTP, MPI, PVM are regarded as a general purpose control protocols or  RPC, HTTP, MPI, PVM are regarded as a general purpose control protocols or
 infrastructures.  infrastructures.
 MCP (Mathematical Communication Protocol)  MCP (Mathematical Communication Protocol)\cite{iamc}
 by Wang \cite{iamc} and OMEI \cite{omei} are such protocols for mathematics.  and OMEI \cite{omei} are such protocols for mathematics.
   
 Although data and control are orthogonal to each other,  Although data and control are orthogonal to each other,
 real world requires both.  the real world requires both.
 NetSolve \cite{netsolve}, OpenMath$+$MCP, MP$+$MCP \cite{iamc},  NetSolve \cite{netsolve}, OpenMath$+$MCP, MP$+$MCP \cite{iamc},
 and MathLink \cite{mathlink} provide both data and control integration.  and MathLink \cite{mathlink} provide both data and control integration.
 Each integration method has their own features determined by their  Each integration method has its own features determined by its
 own design goals.  own design goals.
 OpenXM (Open message eXchange protocol for Mathematics)  OpenXM (Open message eXchange protocol for Mathematics)
 is a project aiming to integrate data, control and user interfaces  is a project aiming to integrate data, control and user interfaces
Line 50  to determine all odd order replicable functions 
Line 50  to determine all odd order replicable functions 
 Takayama has developed  Takayama has developed
 a special purpose system Kan/sm1 \cite{kan},  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$
 and designed as a component of a larger system.  and which was designed as a component of larger systems.
   
 Noro and Takayama firstly tried to integrate these existing two  Noro and Takayama first tried to integrate these existing two
 software systems.  software systems.
 We believe that an open integrated system is a future of mathematical  We believe that an open integrated system is a future of mathematical
 software.  software.
Line 61  and that it is an important research subject to
Line 61  and that it is an important research subject to
 build a prototype of such an integrated system. % Project X  build a prototype of such an integrated system. % Project X
 We started the OpenXM project with the following  We started the OpenXM project with the following
 fundamental architecture, which is currently described in  fundamental architecture, which is currently described in
 OpenXM-RFC 100  proposed standard %% ``draft standard'' and ``standard''  the OpenXM-RFC 100  proposed standard %% ``draft standard'' and ``standard''
 \cite{ox-rfc-100}.  \cite{ox-rfc-100}.
 \begin{enumerate}  \begin{enumerate}
 \item Communication is an exchange of messages. The messages are classified into  \item Communication is an exchange of messages. The messages are classified into
Line 101  and pushes the result onto the stack.
Line 101  and pushes the result onto the stack.
 OpenXM package  implements the OpenXM-RFC 100 \cite{ox-rfc-100}  OpenXM package  implements the OpenXM-RFC 100 \cite{ox-rfc-100}
 and 101 \cite{ox-rfc-101} based on  and 101 \cite{ox-rfc-101} based on
 the above fundamental architecture.  the above fundamental architecture.
 In this paper, we discuss mainly on systems implementing  In this paper, we mainly discuss systems implementing
 OpenXM-RFC 100 and 101 on TCP/IP.  OpenXM-RFC 100 and 101 on TCP/IP.
 %For example, the following is a command sequence to ask $1+1$ from  %For example, the following is a command sequence to ask $1+1$ from
 %the Asir client to the {\tt ox\_sm1} server through TCP/IP:  %the Asir client to the {\tt ox\_sm1} server through TCP/IP:
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>