OpenXM/doc/OpenXM-specs/formal-expression.tex - diff

Return to formal-expression.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Diff for /OpenXM/doc/OpenXM-specs/formal-expression.tex between version 1.1 and 1.7

version 1.1, 2000/01/20 08:52:46

version 1.7, 2000/09/09 21:59:13

Line 1

%% $OpenXM$

%% $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 }

/*&jp

前の節で CMO の表現方法を形式的に定義せず,

CMO のBasic0 の表現法を説明したが,

CMO のPrimitive の表現法を説明したが,

ここでは, CMO の Lisp 風表現 (Lisp-like expression)

である

CMOexpression

Line 12 CMOexpression

% (タグの省略記法がほしい.)

/*&eg

In the previous setion, we have explained the format of CMO's in the

In the previous section, we have explained the format of CMO's in the

Basic0 group.

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

Line 60 By using this notation, CMOexpression is defined as fo

Line 61 By using this notation, CMOexpression is defined as fo

列である.

終端記号 {\tt string} は''文字''の列である.

終端記号 {\tt byte} は 8 bit データを表す, 10 進または 16 進の数字の列である.

/*&jp

/*&eg

Terminal {\tt int32} is signed 32 bit integer.

Terminal {\tt string} is a byte array which usually expresses a string.

Terminal {\tt byte} is 8 bit data.

/*&jp

Line 82 The comma ({\tt ,}) may be used to separate each eleme

Line 81 The comma ({\tt ,}) may be used to separate each eleme

/*&jp

この表記法 CMOexpression を利用して, CMO Basic0 の object を記述

この表記法 CMOexpression を利用して, CMO Primitive の object を記述

してみよう.

Object 自体の構造を説明するため,

BNF をもうすこし拡張して, 非終端記号, 終端記号名のみならず, 変数の

Line 90 BNF をもうすこし拡張して, 非終端記号, 終端記号名のみな

Line 89 BNF をもうすこし拡張して, 非終端記号, 終端記号名のみな

からである. また ``---'' でコメントのはじまりを表すものとする.

/*&eg

Let us describe CMO's in the Basic0 group.

Let us describe CMO's in the Primitive group.

In order to explain the meaning of objects,

we may also put variable names to CMOexpressions.

The start of comments are denoted by ``---''.

Line 117 CMObject の

Line 116 CMObject の

は,

32 bit integer $n$ を表現しているんだということが, 1 行でわかる.

/*&eg

(This part has not yet been translated.)

/*&jp

この記法を用いて, 前節で導入した, Basic0 の CMObject を

この記法を用いて, 前節で導入した, Primitive の CMObject を

形式的に定義しよう.

/*&eg

By using this notation, let us define formally CMObjects in the group

Basic0.

Primitive.

/*&C

\bigbreak

\noindent

Group CMObject/Basic0 requires nothing. \\

Group CMObject/Primitive requires nothing. \\

Error2, Null, Integer32, Datum, Cstring, Mathcap, List $\in$ CMObject/Basic0. \\

Error2, Null, Integer32, Datum, Cstring, Mathcap, List $\in$ CMObject/Primitive. \\

Document of CMObject/Basic0 is at {\tt http://www.math.kobe-u.ac.jp/OpenXM}

Document of CMObject/Primitive is at {\tt http://www.math.kobe-u.ac.jp/OpenXM}

(in English and Japanese) \\

\begin{eqnarray*}

\mbox{Error2}&:& ({\tt CMO\_ERROR2}, {\sl CMObject}\, \mbox{ob}) \\

Line 169 Document of CMObject/Basic0 is at {\tt http://www.math

Line 165 Document of CMObject/Basic0 is at {\tt http://www.math

//&jp となる.

/*&jp

また,

``Group CMObject/Basic0 requires nothing''

``Group CMObject/Primitive requires nothing''

は, 以下は, グループ CMObject/Basic0 の定義であり,

は, 以下は, グループ CMObject/Primitive の定義であり,

このグループの CMObject を定義するのに, 要請される CMObject のグループは

ないことを示す.

``Error2, Null, Integer32, Datum, Cstring, Mathcap, List

$\in$ CMObject/Basic0''

$\in$ CMObject/Primitive''

は, グループ CMObject/Basic0 には, Error2, Null, Integer32,

は, グループ CMObject/Primitive には, Error2, Null, Integer32,

Datum, Cstring なるクラスの object が属することを示す.

/*&eg

また,

``Group CMObject/Primitive requires nothing''

``Group CMObject/Basic0 requires nothing''

means that there is no super group to define CMO's in the group Primitive.

means that there is no super group to define CMO's in the group Basic0.

``Error2, Null, Integer32, Datum, Cstring, Mathcap, List

$\in$ CMObject/Basic0''

$\in$ CMObject/Primitive''

means that

Error2, Null, Integer32, Datum, Cstring

are members of the group CMObject/Basic0.

are members of the group CMObject/Primitive.

/*&C

Line 233 CMOexpression と, CMObject の区別を理解しておくのは重�

Line 228 CMOexpression と, CMObject の区別を理解しておくのは重�

これは, 文法的には正しいプログラムだが, なにをやるのかは全く不明な

プログラムと似ている.

/*&jp

さて, Open math 風 (\cite{openmath})

の SGML 表現法も可能であり, その場合は, 上の二つの例は次のように

の XML 表現法も可能であり, その場合は, 上の二つの例は次のように

書く.

/*&eg

CMO's are expressed by XML like Open Math (\cite{openmath}).

See example below.

/*&C

\begin{verbatim}

<CMO_INT32>

<cmo>

1234

<cmo_int32>

</CMO_INT32>

</cmo_int32>

<CMO_STRING>

<cmo_string>

"Hello"

<string> "Hello" </string>

</CMO_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>

</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 をネットワークバイトオーダーの

Line 278 and byte data are encoded as it is.

Line 305 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.

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

Line 329 is the encoding of the CMOexpression

Line 358 is the encoding of the CMOexpression

の標準 encoding 法による表現である.

/*&C

\bigbreak

/*&jp

(実験的)

CMO および OX packets は XML 規格 \cite{xml} に準拠している.

XML 規格の Attribute を binary encode するために

特別なタグ \\

/*&eg

(Experimental)

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) ! \\

/*&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.

/*&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.

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>