version 1.4, 2000/09/08 17:14:54 |
version 1.6, 2000/09/09 16:32:26 |
|
|
%% $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.5 2000/09/08 18:57:49 takayama Exp $ |
//&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ } |
//&jp \section{ CMO ¤Î·Á¼°ÅªÉ½¸½ÊýË¡ } |
//&eg \section{ A formal expression of CMO } |
//&eg \section{ A formal expression of CMO } |
|
|
Line 235 CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ |
|
Line 235 CMOexpression ¤È, CMObject ¤Î¶èÊ̤òÍý²ò¤·¤Æ¤ª¤¯¤Î¤Ï½ÅÍ |
|
½ñ¤¯. |
½ñ¤¯. |
*/ |
*/ |
/*&eg |
/*&eg |
It is possible to express CMO by XML like Open math (\cite{openmath}). |
It is possible to express CMO by XML like Open Math (\cite{openmath}). |
See example below. |
See example below. |
*/ |
*/ |
|
|
/*&C |
/*&C |
|
|
\begin{verbatim} |
\begin{verbatim} |
<cmo_int32> |
<cmo> |
1234 |
<cmo_int32> |
</cmo_int32> |
<int32> 1234 </int32> |
|
</cmo_int32> |
|
|
<cmo_string> |
<cmo_string> |
5 |
<int32 for="length"> 5 </int32> |
"Hello" |
<string> "Hello" </string> |
</cmo_string> |
</cmo_string> |
|
</cmo> |
\end{verbatim} |
\end{verbatim} |
*/ |
*/ |
|
|
|
//&jp \noindent cmo\_string ¤Ï¼¡¤Î¤è¤¦¤Ë¤¢¤é¤ï¤·¤Æ¤â¤è¤¤. |
|
//&eg \noindent cmo\_string can also be expressed as follows. |
/*&C |
/*&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 |
/*&jp |
¼¡¤Ë, ɸ½à encoding Ë¡¤òÀâÌÀ¤·¤è¤¦. |
¼¡¤Ë, ɸ½à encoding Ë¡¤òÀâÌÀ¤·¤è¤¦. |
ɸ½à encoding Ë¡¤Ç¤Ï, cmo\_tag ¤ò ¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î |
ɸ½à encoding Ë¡¤Ç¤Ï, cmo\_tag ¤ò ¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î |
Line 342 is the encoding of the CMOexpression |
|
Line 363 is the encoding of the CMOexpression |
|
|
|
/*&jp |
/*&jp |
(¼Â¸³Åª) |
(¼Â¸³Åª) |
CMO ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë. |
CMO ¤ª¤è¤Ó OX packets ¤Ï XML µ¬³Ê¤Ë½àµò¤·¤Æ¤¤¤ë. |
XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë |
XML µ¬³Ê¤Î Attribute ¤ò binary encode ¤¹¤ë¤¿¤á¤Ë |
ÆÃÊ̤ʥ¿¥° \\ |
ÆÃÊ̤ʥ¿¥° \\ |
*/ |
*/ |
/*&eg |
/*&eg |
(Experimental) |
(Experimental) |
CMO is complient to XML specification. |
CMO and OX packets are complient to XML specification. |
In order to encode ``Attribute'' in XML in a binary format, |
In order to encode ``Attribute'' in XML in a binary format, |
we have a tag: \\ |
we have a tag: \\ |
*/ |
*/ |
Line 371 For example, the attibute {\tt font="Times-Roman" } is |
|
Line 392 For example, the attibute {\tt font="Times-Roman" } is |
|
/*&jp |
/*&jp |
¤È encoding ¤µ¤ì¤ë. |
¤È encoding ¤µ¤ì¤ë. |
*/ |
*/ |
//*C |
//&C |
/*&jp |
/*&jp |
¤³¤ÎÆÃÊÌ¤Ê CMO tag {\tt CMO\_ATTRIBUTE\_LIST} °Ê³°¤Ï, |
¤³¤ÎÆÃÊÌ¤Ê CMO tag {\tt CMO\_ATTRIBUTE\_LIST} °Ê³°¤Ï, |
XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë. |
XML ɽ¸½¤Ç¤Ï XML ¤Î¥¿¥°¤È¤·¤ÆÍý²ò¤µ¤ì¤ë. |