| version 1.2, 2000/01/24 07:36:35 |
version 1.4, 2002/01/20 09:26:22 |
|
|
| %% $OpenXM: OpenXM/doc/OpenXM-specs/introduction.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/introduction.tex,v 1.3 2000/09/09 21:59:13 takayama Exp $ |
| //&jp \section{¤Ï¤¸¤á¤Ë} |
//&jp \section{¤Ï¤¸¤á¤Ë} |
| //&eg \section{Introduction} |
//&eg \section{Introduction} |
| |
|
| Line 22 OpenXM ¿ô³Ø¥½¥Õ¥È¥Ñ¥Ã¥±¡¼¥¸¥×¥í¥¸¥§¥¯¥È¤Ë |
|
| Line 22 OpenXM ¿ô³Ø¥½¥Õ¥È¥Ñ¥Ã¥±¡¼¥¸¥×¥í¥¸¥§¥¯¥È¤Ë |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| OpenXM is a free, or Open Source, infrastructure for mathematical |
OpenXM is a free, or Open Source, infrastructure for mathematical |
| softwares. |
software systems. |
| It provides methods and protocols |
It provides methods and protocols |
| for interactive distributed computation and |
for interactive distributed computation and |
| for integrating mathematical softwares. |
for integrating mathematical software systems. |
| OpenXM package is a set of softwares that supports OpenXM protocols. |
OpenXM package is a set of software systems that support OpenXM protocols. |
| It is currently a collection of softwares |
It is currently a collection of software systems |
| {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc} |
{\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc} |
| , {\tt GNUPLOT}, |
, {\tt GNUPLOT}, |
| {\tt Mathematica} interface, and |
{\tt Mathematica} interface, and |
| Line 53 OpenXM ¤Ï¤Ê¤Ë¤â¹Í¤¨¤º¤Ë´Êñ¤ËÀܳ¤Ç¤¤ë¥·¥¹¥Æ¥à¤òºî¤í¤ |
|
| Line 53 OpenXM ¤Ï¤Ê¤Ë¤â¹Í¤¨¤º¤Ë´Êñ¤ËÀܳ¤Ç¤¤ë¥·¥¹¥Æ¥à¤òºî¤í¤ |
|
| ¤Ä¤¯¤ë¤È¤¤¤¦¤Î¤Ïµ¤¤¬±ó¤¯¤Ê¤ë»Å»ö¤Ç¤¢¤ë. ¤½¤Î¤«¤ï¤ê, º£¤è¤ê¤¹¤³¤·¤À¤±¤³ |
¤Ä¤¯¤ë¤È¤¤¤¦¤Î¤Ïµ¤¤¬±ó¤¯¤Ê¤ë»Å»ö¤Ç¤¢¤ë. ¤½¤Î¤«¤ï¤ê, º£¤è¤ê¤¹¤³¤·¤À¤±¤³ |
| ¤¦¤¤¤Ã¤¿¥Ç¡¼¥¿¸ò´¹¤äʬ»¶¥·¥¹¥Æ¥à¹½ÃۤλŻö¤ò³Ú¤Ë¤·¤¿¤¤¤È¤¤¤¦¤Î¤¬¤µ¤µ¤ä |
¤¦¤¤¤Ã¤¿¥Ç¡¼¥¿¸ò´¹¤äʬ»¶¥·¥¹¥Æ¥à¹½ÃۤλŻö¤ò³Ú¤Ë¤·¤¿¤¤¤È¤¤¤¦¤Î¤¬¤µ¤µ¤ä |
| ¤«¤ÊÂè1ÌÜɸ¤Ç¤¢¤ë. ¤Þ¤¿, Mathematica ¤ä Maple ¤È¤¤¤Ã¤¿µðÂç¤ÊÅý¹ç¥½¥Õ |
¤«¤ÊÂè1ÌÜɸ¤Ç¤¢¤ë. ¤Þ¤¿, Mathematica ¤ä Maple ¤È¤¤¤Ã¤¿µðÂç¤ÊÅý¹ç¥½¥Õ |
| ¥È¤ò, Free Mathematical Softwares ¤È¤·¤Æ¤ï¤ì¤ï¤ì¼«¿È¤Î¼ê¤Ç¤Ä¤¯¤Ã¤Æ¤¤¤¯ |
¥È¤ò, Free Mathematical Software ¤È¤·¤Æ¤ï¤ì¤ï¤ì¼«¿È¤Î¼ê¤Ç¤Ä¤¯¤Ã¤Æ¤¤¤¯ |
| ¤¿¤á¤Î´ðÁäǤ⤢¤ë. |
¤¿¤á¤Î´ðÁäǤ⤢¤ë. |
| */ |
*/ |
| |
|
| /*&eg |
/*&eg |
| We have been profited from increasing number |
We have been profited from increasing number |
| of mathematical softwares. |
of mathematical software systems. |
| These are usually ``expert'' systems in one area of mathematics |
These are usually ``expert'' systems in one area of mathematics |
| such as ideals, groups, numbers, polytopes, and so on. |
such as ideals, groups, numbers, polytopes, and so on. |
| They have their own interfaces and data formats, |
They have their own interfaces and data formats, |
| which are fine for intensive users of these systems. |
which are fine for intensive users of these systems. |
| However, a unified system will be more convenient |
However, a unified system will be more convenient |
| for users who want to explore a new area of mathematics with these |
for users who want to explore a new area of mathematics with these |
| softwares or users who need these systems only occasionally. |
software systems or users who need these systems only occasionally. |
| |
It is also wonderful for developpers to have various software components |
| |
that can be used from the target system. |
| |
|
| OpenXM provides not only data representation and communication protocols |
OpenXM provides not only data representation and communication protocols |
| but also programming guidelines to develop cooperative applications. |
but also programming guidelines to develop cooperative applications. |
| Line 76 Our design goals are (1) simpleness, (2) extensibility |
|
| Line 78 Our design goals are (1) simpleness, (2) extensibility |
|
| easiness of implementation, (4) practicality, and (5) robustness. |
easiness of implementation, (4) practicality, and (5) robustness. |
| |
|
| We believe that an open integrated system is a future of mathematical |
We believe that an open integrated system is a future of mathematical |
| softwares. However, it might be just a dream without realizability. |
software systems. |
| |
However, it might be a dream without realizability. |
| We want to build a prototype of such an open system by using existing |
We want to build a prototype of such an open system by using existing |
| standards, technologies and several mathematical softwares. We want |
standards, technologies and several mathematical software systems. |
| to see how far we can go with this approach. |
We want to see how far we can go with this approach. |
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| Line 112 SM ÁØ¤Ï (¥¹¥¿¥Ã¥¯¥Þ¥·¥ó)¥µ¡¼¥Ð¤òÀ©¸æ¤¹¤ë¤¿¤á¤ÎÌ¿Îá¤Î |
|
| Line 115 SM ÁØ¤Ï (¥¹¥¿¥Ã¥¯¥Þ¥·¥ó)¥µ¡¼¥Ð¤òÀ©¸æ¤¹¤ë¤¿¤á¤ÎÌ¿Îá¤Î |
|
| ¤¢¤Ä¤Þ¤ê¤Ç¤¢¤ê, ¥µ¡¼¥Ð¤ÏÈóƱ´üŪ¤ËÆ°ºî¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ç¤¢¤ë. |
¤¢¤Ä¤Þ¤ê¤Ç¤¢¤ê, ¥µ¡¼¥Ð¤ÏÈóƱ´üŪ¤ËÆ°ºî¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ç¤¢¤ë. |
| ½ÀÆðÀ¤¬¹â¤¤¤Î¤Ç, IMC ¤Ê¤É¤Î¥ê¥â¡¼¥È¥×¥í¥·¡¼¥¸¥ã¥³¡¼¥ë·Ï¤Î |
½ÀÆðÀ¤¬¹â¤¤¤Î¤Ç, IMC ¤Ê¤É¤Î¥ê¥â¡¼¥È¥×¥í¥·¡¼¥¸¥ã¥³¡¼¥ë·Ï¤Î |
| ¥×¥í¥È¥³¥ë¤â¥¨¥ß¥å¥ì¡¼¥È¤Ç¤¤ë. |
¥×¥í¥È¥³¥ë¤â¥¨¥ß¥å¥ì¡¼¥È¤Ç¤¤ë. |
| |
OX ¥á¥Ã¥»¡¼¥¸¤Ï DTD ¤òÍѤ¤¤ÆÄêµÁ²Äǽ¤Ç¤¢¤ê, XML ¤òÍѤ¤¤Æ |
| |
µ½Ò¤Ç¤¤ë. |
| */ |
*/ |
| /*&eg |
/*&eg |
| In OpenXM, communication is an exchange of messages. |
In OpenXM, communication is an exchange of messages. |
| Line 122 mathematical data. We use standards of mathematical d |
|
| Line 127 mathematical data. We use standards of mathematical d |
|
| as OpenMath and MP as well as our own data format {\it CMO} ({\it |
as OpenMath and MP as well as our own data format {\it CMO} ({\it |
| Common Mathematical Object format}). Servers, which provide services |
Common Mathematical Object format}). Servers, which provide services |
| to other processes, are stack machines. The stack machine is called |
to other processes, are stack machines. The stack machine is called |
| the {\it OX stack machine}. Existing mathematical softwares are |
the {\it OX stack machine}. Existing mathematical software systems are |
| wrapped with this stack machine. OX stack machines work in the |
wrapped with this stack machine. OX stack machines work in the |
| asynchronous mode which is similar to X servers. That is, OpenXM |
asynchronous mode like X servers. |
| server won't send messages to the client unless it is requested |
OpenXM servers try to be as quiet as possible. |
| to send them. It is also possible to emulate RPC and a web server for MCP |
OpenXM server does not send messages to the client unless it is requested |
| \cite{iamc} on our asynchronous OX stack machines. |
to send them. |
| |
|
| |
Our stackmachine architecutre can be used as the lowest level layer |
| |
to implement other protocols. |
| |
Emulating RPC or constructing a web server like MCP |
| |
\cite{iamc} on our asynchronous OX stack machines |
| |
are possible. |
| |
|
| |
Our datatype definition is compliant to XML architecture. |
| |
OX messages can be defined by DTD and can be expressed by XML. |
| |
We call it OpenXM/XML. |
| */ |
*/ |
| /*&jp |
/*&jp |
| OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
| Line 135 OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
|
| Line 150 OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö. |
|
| OpenXM Âбþ¤Î kan/sm1 ¤Ï open sm1 ¤Ç¤¢¤ë. |
OpenXM Âбþ¤Î kan/sm1 ¤Ï open sm1 ¤Ç¤¢¤ë. |
| */ |
*/ |
| /*&eg |
/*&eg |
| A system xxx conforming to OpenXM is called open xxx. |
A system xxx complient to the OpenXM protocol is called open xxx. |
| For example Asir conforming to OpenXM is called open Asir, and |
For example Asir complient to the OpenXM protocol is called open Asir, and |
| kan/sm1 conforming to OpenXM is called open sm1. |
kan/sm1 complient to the OpenXM protocol is called open sm1. |
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to introduction.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-specs