===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/formal-expression.tex,v
retrieving revision 1.4
retrieving revision 1.7
diff -u -p -r1.4 -r1.7
--- OpenXM/doc/OpenXM-specs/formal-expression.tex	2000/09/08 17:14:54	1.4
+++ OpenXM/doc/OpenXM-specs/formal-expression.tex	2000/09/09 21:59:13	1.7
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.3 2000/01/24 02:48:24 noro Exp $
+%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.6 2000/09/09 16:32:26 takayama Exp $
 //&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ }
 //&eg \section{ A formal expression of CMO }
 
@@ -17,7 +17,8 @@ Primitive group.
 In this section, we will introduce CMOexpression which is like the 
 bracket expression of Lisp. 
 We again explain a standard encoding method of CMO,
-which we have already explained in the previous section.
+which we have already explained in the previous section, but
+the explanation is more formal.
 */
 
 /*&jp
@@ -235,28 +236,49 @@ CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ
 ½ñ¤¯.
 */
 /*&eg
-It is possible to express CMO by XML like Open math (\cite{openmath}).
+CMO's are expressed by XML like Open Math (\cite{openmath}).
 See example below.
 */
 
 /*&C
 
 \begin{verbatim}
-<cmo_int32>
-1234
-</cmo_int32>
+<cmo>
+ <cmo_int32>
+   <int32> 1234 </int32>
+ </cmo_int32>
 
-<cmo_string>
-5
-"Hello"
-</cmo_string>
+ <cmo_string>
+   <int32 for="length"> 5 </int32>
+   <string> "Hello" </string>
+ </cmo_string>
+</cmo>
 \end{verbatim}
 */
 
+//&jp \noindent cmo\_string ¤Ï¼¡¤Î¤è¤¦¤Ë¤¢¤é¤ï¤·¤Æ¤â¤è¤¤.
+//&eg \noindent cmo\_string may be expressed as follows.
 /*&C
+\begin{verbatim}
 
+<cmo>
+ <cmo_string>
+   <int32 for="length"> 5 </int32>
+   <byte> 'H' </byte> <byte> 'e' </byte>    <byte> 'l' </byte>
+   <byte> 'l' </byte> <byte> 'o' </byte>
+ </cmo_string>
+</cmo>
+\end{verbatim}
 */
 
+//&jp \noindent ¤³¤Î¾ì¹ç¤Î cmo\_string ¤Î DTD ¤Ë¤è¤ëÄêµÁ¤Ï¼¡¤Î¤è¤¦¤Ë¤Ê¤ë. \\
+//&eg \noindent In this case, the DTD for cmo\_string is as follows; \\
+//&C \verb+  <!ELEMENT cmo_string (int32, byte*)>  +
+/*&C
+
+\bigbreak
+*/
+
 /*&jp
 ¼¡¤Ë, ɸ½à encoding Ë¡¤òÀâÌÀ¤·¤è¤¦.
 ɸ½à encoding Ë¡¤Ç¤Ï, cmo\_tag ¤ò ¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î
@@ -283,17 +305,19 @@ and byte data are encoded as it is.
 100Mbps ¤ÎÄÌ¿®Ï©¤Ç 12Mbytes ¤Î {\tt CMO\_ZZ} ¤ÎžÁ÷¤Ç¤Ï 
 Ìó 90\% ¤Î»þ´Ö¤¬ network byte order ¤Ø¤ÎÊÑ´¹¤Ë¤Ä¤¤¤ä¤µ¤ì¤Æ¤¤¤ë¤È¤¤¤¦
 ¼Â¸³¥Ç¡¼¥¿¤â¤¢¤ë.
-¸úΨ¤ò½Å»ë¤·¤¿ encoding Ë¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë.
+¸úΨ¤ò½Å»ë¤·¤¿ encoding Ë¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë \ref{subsection:byteorder}.
 */
 /*&eg
 When we are using a high speed network,
 the translation from the internal expression of 32 bit integers to
 network byte order may become a bottle neck.
 There are experimental data which presents that 90 percents of the transmission
-time are
+time are used
 for the translation to the network byte order to send {\tt CMO\_ZZ} of size
-12M bytes on a 100Mbps network.
-In a later section, we will discuss a protocol to avoid the translation.
+12M bytes.
+We used a 100Mbps network.
+In a later section \ref{subsection:byteorder}, 
+we will discuss a protocol to avoid the translation.
 */
 
 /*&C
@@ -342,14 +366,14 @@ is the encoding of the CMOexpression
 
 /*&jp
 (¼Â¸³Åª)
-CMO ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë.
+CMO ¤ª¤è¤Ó OX packets ¤Ï XML µ¬³Ê \cite{xml} ¤Ë½àµò¤·¤Æ¤¤¤ë.
 XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë
 ÆÃÊ̤ʥ¿¥° \\
 */
 /*&eg
 (Experimental)
-CMO is complient to XML specification.
-In order to encode ``Attribute'' in XML in a binary format,
+CMO and OX packets are complient to XML specification \cite{xml}.
+In order to encode ``Attribute'' in XML in our binary format,
 we have a tag: \\
 */
 //&C \verb! #define CMO_ATTRIBUTE_LIST  (LARGEID+3) !  \\
@@ -371,7 +395,7 @@ For example, the attibute {\tt font="Times-Roman" } is
 /*&jp
 ¤È encoding ¤µ¤ì¤ë.
 */
-//*C  
+//&C  
 /*&jp
 ¤³¤ÎÆÃÊÌ¤Ê CMO tag {\tt CMO\_ATTRIBUTE\_LIST} °Ê³°¤Ï,
 XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë.
@@ -380,4 +404,11 @@ XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë.
 All tags except this special CMO tag {\tt CMO\_ATTRIBUTE\_LIST}
 are XML tags in the CMO/XML expression.
 */
-
+/*&jp
+CMO/XML ¤Ç {\it comment}, {\it for} ¤È̾Á°¤¬¤Ä¤¤¤¿
+attributes ¤Ï CMO binary expression ¤Ë¤Ï¥¨¥ó¥³¡¼¥É¤µ¤ì¤Ê¤¤.
+*/
+/*&eg
+CMO/XML attributes such as {\it comment}, {\it for}
+are not encoded in the CMO binary expression.
+*/