===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/formal-expression.tex,v
retrieving revision 1.3
retrieving revision 1.6
diff -u -p -r1.3 -r1.6
--- OpenXM/doc/OpenXM-specs/formal-expression.tex	2000/01/24 02:48:24	1.3
+++ OpenXM/doc/OpenXM-specs/formal-expression.tex	2000/09/09 16:32:26	1.6
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.2 2000/01/23 05:28:33 noro Exp $
+%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.5 2000/09/08 18:57:49 takayama Exp $
 //&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ }
 //&eg \section{ A formal expression of CMO }
 
@@ -227,25 +227,57 @@ CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ
 ¤³¤ì¤Ï, ʸˡŪ¤Ë¤ÏÀµ¤·¤¤¥×¥í¥°¥é¥à¤À¤¬, ¤Ê¤Ë¤ò¤ä¤ë¤Î¤«¤ÏÁ´¤¯ÉÔÌÀ¤Ê
 ¥×¥í¥°¥é¥à¤È»÷¤Æ¤¤¤ë.
 
+*/
+
+/*&jp
 ¤µ¤Æ, Open math É÷ (\cite{openmath}) 
-¤Î SGML ɽ¸½Ë¡¤â²Äǽ¤Ç¤¢¤ê, ¤½¤Î¾ì¹ç¤Ï, ¾å¤ÎÆó¤Ä¤ÎÎã¤Ï¼¡¤Î¤è¤¦¤Ë
+¤Î XML ɽ¸½Ë¡¤â²Äǽ¤Ç¤¢¤ê, ¤½¤Î¾ì¹ç¤Ï, ¾å¤ÎÆó¤Ä¤ÎÎã¤Ï¼¡¤Î¤è¤¦¤Ë
 ½ñ¤¯.
+*/
+/*&eg
+It is possible to express CMO 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 can also 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 ¤ò ¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î
@@ -323,4 +355,50 @@ is the encoding of the CMOexpression
 ¤Î ɸ½à encoding Ë¡¤Ë¤è¤ëɽ¸½¤Ç¤¢¤ë.
 */
 
+/*&C
+
+\bigbreak
+
+*/
+
+/*&jp
+(¼Â¸³Åª)
+CMO ¤ª¤è¤Ó OX packets ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë.
+XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë
+ÆÃÊ̤ʥ¿¥° \\
+*/
+/*&eg
+(Experimental)
+CMO and OX packets are complient to XML specification.
+In order to encode ``Attribute'' in XML in a binary format,
+we have a tag: \\
+*/
+//&C \verb! #define CMO_ATTRIBUTE_LIST  (LARGEID+3) !  \\
+/*&jp
+¤òÍÑ°Õ¤·¤Æ¤¢¤ë.
+*/
+/*&jp
+¤¿¤È¤¨¤Ð Attribute {\tt font="Times-Roman" }  ¤Ï \\
+*/
+/*&eg
+For example, the attibute {\tt font="Times-Roman" } is encoded as \\
+*/
+/*&C
+\begin{verbatim}
+ (CMO_ATTRIBUTE (CMO_LIST 
+                  (CMO_LIST (CMO_STRING,"font") (CMO_STRING, "Times-Roman"))))
+\end{verbatim}
+*/
+/*&jp
+¤È encoding ¤µ¤ì¤ë.
+*/
+//&C  
+/*&jp
+¤³¤ÎÆÃÊÌ¤Ê CMO tag {\tt CMO\_ATTRIBUTE\_LIST} °Ê³°¤Ï,
+XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë.
+*/
+/*&eg
+All tags except this special CMO tag {\tt CMO\_ATTRIBUTE\_LIST}
+are XML tags in the CMO/XML expression.
+*/