===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/introduction.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/doc/OpenXM-specs/introduction.tex	2000/01/24 07:36:35	1.2
+++ OpenXM/doc/OpenXM-specs/introduction.tex	2000/09/09 21:59:13	1.3
@@ -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.2 2000/01/24 07:36:35 noro Exp $
 //&jp \section{¤Ï¤¸¤á¤Ë}
 //&eg \section{Introduction}
 
@@ -22,11 +22,11 @@ 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.
+for integrating mathematical software systems.
+OpenXM package is a set of software systems that support OpenXM protocols.
 It is currently a collection of softwares
 {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}
 , {\tt GNUPLOT},
@@ -59,14 +59,16 @@ OpenXM ¤Ï¤Ê¤Ë¤â¹Í¤¨¤º¤Ë´Êñ¤ËÀܳ¤Ç¤­¤ë¥·¥¹¥Æ¥à¤òºî¤í¤
 
 /*&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.
@@ -112,6 +114,8 @@ SM ÁØ¤Ï (¥¹¥¿¥Ã¥¯¥Þ¥·¥ó)¥µ¡¼¥Ð¤òÀ©¸æ¤¹¤ë¤¿¤á¤ÎÌ¿Îá¤Î
 ¤¢¤Ä¤Þ¤ê¤Ç¤¢¤ê, ¥µ¡¼¥Ð¤ÏÈóƱ´üŪ¤ËÆ°ºî¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ç¤¢¤ë.
 ½ÀÆðÀ­¤¬¹â¤¤¤Î¤Ç, IMC ¤Ê¤É¤Î¥ê¥â¡¼¥È¥×¥í¥·¡¼¥¸¥ã¥³¡¼¥ë·Ï¤Î
 ¥×¥í¥È¥³¥ë¤â¥¨¥ß¥å¥ì¡¼¥È¤Ç¤­¤ë.
+OX ¥á¥Ã¥»¡¼¥¸¤Ï DTD ¤òÍѤ¤¤ÆÄêµÁ²Äǽ¤Ç¤¢¤ê, XML ¤òÍѤ¤¤Æ
+µ­½Ò¤Ç¤­¤ë.
 */
 /*&eg 
 In OpenXM, communication is an exchange of messages. 
@@ -122,12 +126,14 @@ 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.
+OX messages can be defined by DTD and be expressed by XML.
+We call it OpenXM/XML.
 */
 /*&jp
 OpenXM ¤Ë½àµò¤·¤¿¥·¥¹¥Æ¥à xxx ¤ò, open xxx ¤È¤è¤Ö.
@@ -135,9 +141,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