===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/introduction.tex,v
retrieving revision 1.2
retrieving revision 1.4
diff -u -p -r1.2 -r1.4
--- OpenXM/doc/OpenXM-specs/introduction.tex	2000/01/24 07:36:35	1.2
+++ OpenXM/doc/OpenXM-specs/introduction.tex	2002/01/20 09:26:22	1.4
@@ -1,4 +1,4 @@
-%% $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{¤Ï¤¸¤á¤Ë}
 //&eg \section{Introduction}
 
@@ -22,12 +22,12 @@ OpenXM ¿ô³Ø¥½¥Õ¥È¥Ñ¥Ã¥±¡¼¥¸¥×¥í¥¸¥§¥¯¥È¤Ë
 */
 /*&eg
 OpenXM is a free, or Open Source, infrastructure for mathematical
-softwares.
+software systems.
 It provides methods and protocols
 for interactive distributed computation and
-for integrating mathematical softwares.
-OpenXM package is a set of softwares that supports OpenXM protocols.
-It is currently a collection of softwares
+for integrating mathematical software systems.
+OpenXM package is a set of software systems that support OpenXM protocols.
+It is currently a collection of software systems
 {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}
 , {\tt GNUPLOT},
 {\tt Mathematica} interface, and
@@ -53,20 +53,22 @@ OpenXM ¤Ï¤Ê¤Ë¤â¹Í¤¨¤º¤Ë´Êñ¤ËÀܳ¤Ç¤­¤ë¥·¥¹¥Æ¥à¤òºî¤í¤
 ¤Ä¤¯¤ë¤È¤¤¤¦¤Î¤Ïµ¤¤¬±ó¤¯¤Ê¤ë»Å»ö¤Ç¤¢¤ë. ¤½¤Î¤«¤ï¤ê, º£¤è¤ê¤¹¤³¤·¤À¤±¤³
 ¤¦¤¤¤Ã¤¿¥Ç¡¼¥¿¸ò´¹¤äʬ»¶¥·¥¹¥Æ¥à¹½ÃۤλŻö¤ò³Ú¤Ë¤·¤¿¤¤¤È¤¤¤¦¤Î¤¬¤µ¤µ¤ä
 ¤«¤ÊÂè1ÌÜɸ¤Ç¤¢¤ë.  ¤Þ¤¿, Mathematica ¤ä Maple ¤È¤¤¤Ã¤¿µðÂç¤ÊÅý¹ç¥½¥Õ
-¥È¤ò, Free Mathematical Softwares ¤È¤·¤Æ¤ï¤ì¤ï¤ì¼«¿È¤Î¼ê¤Ç¤Ä¤¯¤Ã¤Æ¤¤¤¯
+¥È¤ò, Free Mathematical Software ¤È¤·¤Æ¤ï¤ì¤ï¤ì¼«¿È¤Î¼ê¤Ç¤Ä¤¯¤Ã¤Æ¤¤¤¯
 ¤¿¤á¤Î´ðÁäǤ⤢¤ë.
 */
 
 /*&eg
 We have been profited from increasing number
-of mathematical softwares.
+of mathematical software systems.
 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
-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
 but also programming guidelines to develop cooperative applications.
@@ -76,10 +78,11 @@ Our design goals are (1) simpleness, (2) extensibility
 easiness of implementation, (4) practicality, and (5) robustness.
 
 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
-standards, technologies and several mathematical softwares.  We want
-to see how far we can go with this approach.
+standards, technologies and several mathematical software systems.  
+We want to see how far we can go with this approach.
 */
 
 /*&jp
@@ -112,6 +115,8 @@ SM ÁØ¤Ï (¥¹¥¿¥Ã¥¯¥Þ¥·¥ó)¥µ¡¼¥Ð¤òÀ©¸æ¤¹¤ë¤¿¤á¤ÎÌ¿Îá¤Î
 ¤¢¤Ä¤Þ¤ê¤Ç¤¢¤ê, ¥µ¡¼¥Ð¤ÏÈóƱ´üŪ¤ËÆ°ºî¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ç¤¢¤ë.
 ½ÀÆðÀ­¤¬¹â¤¤¤Î¤Ç, IMC ¤Ê¤É¤Î¥ê¥â¡¼¥È¥×¥í¥·¡¼¥¸¥ã¥³¡¼¥ë·Ï¤Î
 ¥×¥í¥È¥³¥ë¤â¥¨¥ß¥å¥ì¡¼¥È¤Ç¤­¤ë.
+OX ¥á¥Ã¥»¡¼¥¸¤Ï DTD ¤òÍѤ¤¤ÆÄêµÁ²Äǽ¤Ç¤¢¤ê, XML ¤òÍѤ¤¤Æ
+µ­½Ò¤Ç¤­¤ë.
 */
 /*&eg 
 In OpenXM, communication is an exchange of messages. 
@@ -122,12 +127,22 @@ mathematical data.  We use standards of mathematical d
 as OpenMath and MP as well as our own data format {\it CMO} ({\it
 Common Mathematical Object format}).  Servers, which provide services
 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
-asynchronous mode which is similar to X servers. That is, OpenXM
-server won't send messages to the client unless it is requested
-to send them. It is also possible to emulate RPC and a web server for MCP
-\cite{iamc} on our asynchronous OX stack machines.
+asynchronous mode like X servers. 
+OpenXM servers try to be as quiet as possible.
+OpenXM server does not send messages to the client unless it is requested
+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
 OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö.
@@ -135,9 +150,9 @@ OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö.
 OpenXM Âбþ¤Î kan/sm1 ¤Ï open sm1 ¤Ç¤¢¤ë.
 */
 /*&eg
-A system xxx conforming to OpenXM is called open xxx.
-For example Asir conforming to OpenXM is called open Asir, and
-kan/sm1 conforming to OpenXM is called open sm1.
+A system xxx complient to the OpenXM protocol is called open xxx.
+For example Asir complient to the OpenXM protocol is called open Asir, and
+kan/sm1 complient to the OpenXM protocol is called open sm1.
 */
 
 /*&jp