| version 1.6, 2000/09/09 16:32:26 |
version 1.7, 2000/09/09 21:59:13 |
|
|
| %% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.5 2000/09/08 18:57:49 takayama Exp $ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.6 2000/09/09 16:32:26 takayama Exp $ |
| //&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ } |
//&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ } |
| //&eg \section{ A formal expression of CMO } |
//&eg \section{ A formal expression of CMO } |
| |
|
|
|
| In this section, we will introduce CMOexpression which is like the |
In this section, we will introduce CMOexpression which is like the |
| bracket expression of Lisp. |
bracket expression of Lisp. |
| We again explain a standard encoding method of CMO, |
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 |
/*&jp |
| Line 235 CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ |
|
| Line 236 CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ |
|
| ½ñ¤¯. |
½ñ¤¯. |
| */ |
*/ |
| /*&eg |
/*&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. |
See example below. |
| */ |
*/ |
| |
|
| Line 256 See example below. |
|
| Line 257 See example below. |
|
| */ |
*/ |
| |
|
| //&jp \noindent cmo\_string ¤Ï¼¡¤Î¤è¤¦¤Ë¤¢¤é¤ï¤·¤Æ¤â¤è¤¤. |
//&jp \noindent cmo\_string ¤Ï¼¡¤Î¤è¤¦¤Ë¤¢¤é¤ï¤·¤Æ¤â¤è¤¤. |
| //&eg \noindent cmo\_string can also be expressed as follows. |
//&eg \noindent cmo\_string may be expressed as follows. |
| /*&C |
/*&C |
| \begin{verbatim} |
\begin{verbatim} |
| |
|
| Line 304 and byte data are encoded as it is. |
|
| Line 305 and byte data are encoded as it is. |
|
| 100Mbps ¤ÎÄÌ¿®Ï©¤Ç 12Mbytes ¤Î {\tt CMO\_ZZ} ¤ÎžÁ÷¤Ç¤Ï |
100Mbps ¤ÎÄÌ¿®Ï©¤Ç 12Mbytes ¤Î {\tt CMO\_ZZ} ¤ÎžÁ÷¤Ç¤Ï |
| Ìó 90\% ¤Î»þ´Ö¤¬ network byte order ¤Ø¤ÎÊÑ´¹¤Ë¤Ä¤¤¤ä¤µ¤ì¤Æ¤¤¤ë¤È¤¤¤¦ |
Ìó 90\% ¤Î»þ´Ö¤¬ network byte order ¤Ø¤ÎÊÑ´¹¤Ë¤Ä¤¤¤ä¤µ¤ì¤Æ¤¤¤ë¤È¤¤¤¦ |
| ¼Â¸³¥Ç¡¼¥¿¤â¤¢¤ë. |
¼Â¸³¥Ç¡¼¥¿¤â¤¢¤ë. |
| ¸úΨ¤ò½Å»ë¤·¤¿ encoding Ë¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë. |
¸úΨ¤ò½Å»ë¤·¤¿ encoding Ë¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë \ref{subsection:byteorder}. |
| */ |
*/ |
| /*&eg |
/*&eg |
| When we are using a high speed network, |
When we are using a high speed network, |
| the translation from the internal expression of 32 bit integers to |
the translation from the internal expression of 32 bit integers to |
| network byte order may become a bottle neck. |
network byte order may become a bottle neck. |
| There are experimental data which presents that 90 percents of the transmission |
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 |
for the translation to the network byte order to send {\tt CMO\_ZZ} of size |
| 12M bytes on a 100Mbps network. |
12M bytes. |
| In a later section, we will discuss a protocol to avoid the translation. |
We used a 100Mbps network. |
| |
In a later section \ref{subsection:byteorder}, |
| |
we will discuss a protocol to avoid the translation. |
| */ |
*/ |
| |
|
| /*&C |
/*&C |
| Line 363 is the encoding of the CMOexpression |
|
| Line 366 is the encoding of the CMOexpression |
|
| |
|
| /*&jp |
/*&jp |
| (¼Â¸³Åª) |
(¼Â¸³Åª) |
| CMO ¤ª¤è¤Ó OX packets ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë. |
CMO ¤ª¤è¤Ó OX packets ¤Ï XML µ¬³Ê \cite{xml} ¤Ë½àµò¤·¤Æ¤¤¤ë. |
| XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë |
XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë |
| ÆÃÊ̤ʥ¿¥° \\ |
ÆÃÊ̤ʥ¿¥° \\ |
| */ |
*/ |
| /*&eg |
/*&eg |
| (Experimental) |
(Experimental) |
| CMO and OX packets are complient to XML specification. |
CMO and OX packets are complient to XML specification \cite{xml}. |
| In order to encode ``Attribute'' in XML in a binary format, |
In order to encode ``Attribute'' in XML in our binary format, |
| we have a tag: \\ |
we have a tag: \\ |
| */ |
*/ |
| //&C \verb! #define CMO_ATTRIBUTE_LIST (LARGEID+3) ! \\ |
//&C \verb! #define CMO_ATTRIBUTE_LIST (LARGEID+3) ! \\ |
| Line 401 XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë. |
|
| Line 404 XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë. |
|
| All tags except this special CMO tag {\tt CMO\_ATTRIBUTE\_LIST} |
All tags except this special CMO tag {\tt CMO\_ATTRIBUTE\_LIST} |
| are XML tags in the CMO/XML expression. |
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. |
| |
*/ |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to formal-expression.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-specs