拡張可能なマーク付け言語 (XML)

1.0 適用範囲

拡張可能なマーク付け言語XML(Extensible Markup Language)は，XML文書というデータオブジェクトのクラスを規定し，XML文書を処理するプログラムの動作の一部を規定する。XMLは，SGML(Standard Generalized Markup Language)[JIS X 4151:1992]の制限したサブセットとする。XML文書は，必ずSGML規格に適合する。

XML文書は実体という記憶単位から成り，実体は構文解析されるデータ又は構文解析されないデータから成る。構文解析されるデータは，文字から成り，その一部は文字データを構成し，一部はマーク付けを構成する。マーク付けは，文書の記憶レイアウト及び論理構造を記述する符号とする。XMLは，記憶レイアウト及び論理構造についての制約条件を記述する機構を提供する。

XMLプロセサというソフトウェアモジュールは，XML文書を読み込み，その内容及び構造へのアクセスを提供するために用いる。 XMLプロセサは，他のモジュールのために動作することを前提としており，そのモジュールを応用プログラムという。この規格は，XMLプロセサに要求される振る舞いを規定する。つまり，XMLデータの読込み方法を規定し，応用プログラムに提供する情報を規定する。

1.1 経緯及び目標

1996年にWorld Wide Web Consortium(W3C)の中に設立されたXML作業グループ(以前は，SGML編集レビュー委員会と呼ばれた。)がXMLを開発した。この作業グループの議長を，Sun MicrosystemsのJon Bosakが務めた。W3Cが組織し，以前はSGML作業グループと呼ばれたXML SIG(Special Interest Group)も，XMLの制定に活発に参画した。XML作業グループのメンバを附属書Gに示す。Dan Connollyは，作業グループとW3Cとの調整役を務めた。

XMLの設計目標を次に示す。

a)	XMLは，インタネット上でそのまま使用できる。
b)	XMLは，広範囲の応用プログラムを支援する。
c)	XMLは，SGMLと互換性をもつ。
d)	XML文書を処理するプログラムは容易に書ける。
e)	XMLでは，任意選択の機能はできるだけ少なくし，理想的には一つも存在しない。
f)	XML文書は，人間にとって読みやすく，十分に理解しやすいことが望ましい。
g)	XMLの設計は，すみやかに行うことが望ましい。
h)	XMLの設計は，厳密で，しかも簡潔なものとする。
i)	XML文書は，容易に作成できる。
j)	XMLでは，マーク付けの数を減らすことは重要ではない。

XML第1.0版を理解し，それを処理する計算機プログラムを書くために十分な情報は，この規格，関連する規格など(文字についてはUnicode及びJIS X 0221-1，言語識別タグについてはIETF RFC 3066，言語コードについてはJIS X 0304，並びに国名コードについてはISO 3166。)によってすべて示す。

この版のXMLの原規定は，テキスト及び法律上の注意を一切改変しない限り，自由に配布してもよい.

1.2 定義

1.2.1 用語定義

XML文書を規定するために使用する用語は，この規格内で定義する。次に示す語句は，それらの用語を定義するため，及びXMLプロセサの動きを規定するために使用する。

1.2.1.1 誤り(error)

この規格が定める規則に対する違反。結果は定義しない。適合するソフトウェアは，誤りを検出して報告してもよく，誤りから回復してもよい。

1.2.1.2 致命的誤り(fatal error)

適合するXMLプロセサが検出し，応用プログラムに報告しなければならない誤り。プロセサは，致命的な誤りを発見したあとも，それ以降の誤りを探すためにデータ処理を続行し，見つかった誤りを応用プログラムに報告してもよい。誤り訂正をサポートするために，プロセサは，処理していないデータ(文字データ及びマーク付けの混在したもの。)を文書から取り出し，応用プログラムに渡してもよい。しかし，プロセサは，致命的な誤りを1度でも検出したならば，通常の処理を続行してはならない。つまり，プロセサは，文字データと文書の論理構造についての情報とを，通常の方法で応用プログラムに渡し続けてはならない。

1.2.1.3 利用者の任意選択によっては(at user option)

適合するソフトウエアは，記述されたとおりに振る舞ってもよい(may)，又は振る舞わなくてはならない(must)(文中の助動詞による。)。そのとおりに振る舞う場合は，記述された振る舞いを選択又は拒否する手段を利用者に提供しなければならない。

1.2.1.4 妥当性制約(validity constraint)

すべての妥当な XML文書に適用する規則。妥当性制約への違反は，誤りとする。利用者の任意選択によっては，検証を行うXMLプロセサは，この誤りを報告しなければならない。

1.2.1.5 整形式制約(well-formedness constraint)

すべての整形式のXML文書に適用する規則。整形式制約への違反は致命的な誤りとする。

1.2.1.6 マッチする(match)

(文字列又は名前がマッチする)比較する二つの文字列又は名前は，同一でなければならない。JIS X 0221-1において，複数の表現が可能な文字［例えば，合成形式及び基底文字+ダイアクリティカルマーク(ダイアクリティカルマーク)形式］は，どちらの文字列も同じ表現のときに限り，マッチする。比較のとき ，大文字と小文字との区別をする。(文字列と文法中の規則とがマッチする)ある生成規則から生成する言語に，ある文字列が属するとき，この文字列は，この生成規則にマッチするという。(内容と内容モデルとがマッチする)ある要素が，制約[妥当性制約: 要素の妥当性]に示す意味で宣言に適合するとき，この要素は，マッチするという。

1.2.1.7 互換性のためには(for compatibility)

XMLの機能であって，XMLがSGMLと互換であることを保証するためだけに導入されるものについて記述する文を示す。

1.2.1.8 相互運用性のためには(for interoperability)

拘束力はもたない推奨事項について記述する文を示す。ISO 8879へのWebSGML適用附属書以前から存在するSGMLプロセサが，XML文書を処理できる可能性を高めるために，これらの推奨事項を取り入れる。

1.2.2 用語遣い

1.2.2.1 してもよい(may)

適合する文書又はXMLプロセサは，記述されたとおりに動作してもよいが，そのとおりにする必要はない。

1.2.2.2 しなければならない(must)

適合する文書又はXMLプロセサは，記述されたとおりに動作することが要求される。そうでなければ，誤りとする。

2.1 整形式のXML文書

あるテキストオブジェクトが，次の条件を満たすとき，そのテキストオブジェクトを整形式のXML文書と呼ぶ。

a)	全体として，documentというラベルをもつ生成規則にマッチする。
b)	この規格で定義するすべての整形式制約に従う。
c)	文書内で直接的又は間接的に参照されるそれぞれの解析対象実体 が整形式となる。

文書

生成規則documentにマッチするとは，次を意味する。

a)	一つ以上の要素を含む。
b)	ルート又は文書要素という要素が一つだけ存在し，これは，他の要素の内容に含まれない。 これ以外のすべての要素は，その開始タグが他の要素の内容に含まれれば，対応する終了タグも同じ要素の内容に含まれる。つまり，要素は，開始タグ及び終了タグによって区切られ，入れ子構造をなす。

これらの結果として，文書内のどの非ルート要素Cに対しても，ある要素Pが存在し，Cは，Pの内容に含まれるが，Pの内容に含まれる他の要素に含まれることはない。このとき，PをCの親といい，CをPの子という。

2.2 文字

解析対象実体は，テキスト(文字の並びであって，マーク付け又は文字データを表す。)を含む。文字は，テキストの最小単位であって，[JIS X 0221-1:2001] に規定されている。使用できる文字は，タブ・復帰・改行・(Unicode及びJIS X 0221-1に規定する)文字とする。 附属書A.1 (規定の参考文献)で引用されるこれらの規格の版は，この規格の原勧告が作成された時点で最新のものとする。補遺又は新版によって，これらの規格には新しい文字が追加されることがある。したがって，XMLプロセサは，Charで指定した範囲のすべての文字を受け付けなければならない。[Unicode]の6.8節([Unicode3]の3.6節のD21も参照すること。)で定義される互換用文字は使用を避けることが望ましい。

文字の範囲

文字符号位置をビットパタンに符号化する機構は，実体ごとに違ってもよい。すべてのXMLプロセサは，Unicode 3.1 のUTF-8符号化及びUTF-16符号化を受け付けなければならない。二つのどちらが用いられているかを明示するため又は他の符号化を利用するための機構は，4.3.3 (実体における文字符号化)に記述する。

2.3 共通の構文構成子

この章では，文法内で広く使用する幾つかの記号を定義する。

S (空白)は，一つ以上のスペース文字(#x20)，復帰，改行又はタブから成る。

空白

便宜上，文字を，字(letter)・数字・他の文字に分類する。一つの字(letter)は，アルファベット的若しくは音節文字である基底文字又は漢字のような文字とする。各クラスにおける実際の文字についての完全な定義は，附属書Bに示す。

Nameは，字(letter)又は幾つかの区切り文字の一つで始まり，その後に字(letter)，数字，ハイフン，下線，コロン又はピリオドが続く。これらの文字を名前文字という。文字列"xml"で始まる名前，又は正規表現(('X'|'x') ('M'|'m') ('L'|'l'))にマッチする任意の文字列で始まる名前は，この規格の現在の版又は将来の版での標準化のために予約する。

Nmtoken(名前トークン)は，名前文字の列とする。

名前及びトークン

リテラルデータは，引用符で囲まれた文字列とし，その列を区切る引用符は含まない。リテラルは，内部実体の内容(EntityValue)，属性値(AttValue)，外部識別子(SystemLiteral)の指定に使用する。SystemLiteralはマーク付けの走査を行なわずに解析できることに注意。

リテラル

2.4 文字データ及びマーク付け

テキストは，文字データ及びマーク付けから成る。マーク付けは，開始タグ，終了タグ，空要素タグ，実体参照，文字参照， コメント， CDATAセクション の区切り子，文書型宣言， 処理命令及びXML宣言, テキスト宣言, 文書の最上位レベルにあるすべての空白文字(つまり文書要素の外側で他のマーク付けの内側でないもの)の形をとる。

マーク付けではないすべてのテキストは，文書の文字データを構成する。

アンパサンド(&)及び不等号(より小) (<)は，マーク付けの区切り子として使用する場合，又はコメント，処理命令若しくはCDATAセクション 内で使用する場合にだけ，そのままの形で出現してよい。 これらの文字が他の部分で必要な場合，番号による文字参照又は文字列"&"及び文字列"<"を使用して別扱いしなければならない。不等号(より大) (>)は，文字列">"を使用して表現してもよい。内容の中で列"]]>"を使用するときは，それが，CDATAセクションの終了をマーク付けしない限り，互換性のため，">"又は文字参照を使用して別扱いしなければならない。

要素の内容では，いかなるマーク付けの開始区切り子も含まない任意の文字列が，文字データを構成する。CDATAセクションでは，CDATAセクションの終了区切り子"]]>"を含まない任意の文字列が，文字データを構成する。

属性値が一重引用符及び二重引用符を含むためには，アポストロフィ又は一重引用符(')は，"'"として表現し，二重引用符(")は，"""として表現する。

文字データ

2.5 コメント

コメント は，他のマーク付けの外ならば，文書のどこに現れてもよい。さらに，文書型宣言の中で，文法が許す場所に現れてもよい。コメントは，文書の文字データの一部ではない。XMLプロセサは，応用プログラムがコメントのテキストを取り出すことを可能としてもよいが，そうしなくともよい。 互換性のためには，文字列 "--"(二連ハイフン)は，コメント内で現れてはならない。パラメタ実体参照は，コメントの内部では認識されない。

コメント

コメントの例を次に示す。

<!-- declarations for <head> & <body> -->

この文法は，--->で終わるコメントを許さないことに注意すること。次に，整形式でない例を示す。

<!-- B+, B, or B--->

2.6 処理命令

処理命令(PI)によって，応用プログラムのための命令を文書に入れることができる。

処理命令

2.7 CDATAセクション

CDATAセクションは，文字データが出現するところであれば，どこに出現してもよい。CDATAセクションで囲まなければマーク付けとして認識されてしまう文字を含むテキストを別扱いするのにCDATAセクションを使用する。CDATAセクションは，文字列"<![CDATA["で始まり，文字列"]]>"で終わる。

CDATAセクション

CDATAセクション内では，文字列CDEndだけをマーク付けとして認識するので，不等号(より小)及びアンパサンドは，そのままの形で出現してよい。"<"及び"&"を使用して別扱いする必要はない(別扱いできない。)。CDATAセクションは入れ子にはできない。

"<greeting>"及び"</greeting>"を，マーク付けではなく，文字データとして認識するためのCDATAセクションの例を次に示す。

<![CDATA[<greeting>Hello, world!</greeting>]]>

2.8 前書き及び文書型宣言

XML文書は，使用するXMLの版を指定するXML宣言で始めることが望ましい。 例えば，次に示す完全なXML文書は，整形式であるが 妥当ではない。

<?xml version="1.0"?>
<greeting>Hello, world!</greeting>

同じことが次の文書にもあてはまる。

<greeting>Hello, world!</greeting>

XML文書内のマーク付けの機能は，記憶構造及び論理構造を記述すること，並びに属性及び属性値の対を論理構造に関連づけることにある。XMLは，論理構造についての制約条件を定義するため，及びあらかじめ定義された記憶単位を使用するための機構として文書型宣言を提供する。 妥当なXML文書とは，文書型宣言をもち，その文書型宣言に示す制約条件を満たすXML文書とする。

文書型宣言は，文書の最初の要素の前に現れなければならない。

前書き

XMLの文書型宣言は，ある文書クラスのための文法を記述するマーク付け宣言を含むか，参照する。この文法を，文書型定義又はDTDという。文書型宣言は，マーク付け宣言を含んだ外部サブセット(特別な種類の外部実体)を参照することができ，又は内部サブセットにマーク付け宣言を直接含むこともできる。外部サブセットと内部サブセットの両方を使うこともできる。ある文書のDTDは，両方のサブセットをまとめたものとして構成される。

マーク付け宣言は，要素型宣言， 属性リスト宣言，実体宣言又は記法宣言とする。次に示す整形式制約及び妥当性制約に規定するとおり，これらの宣言は，パラメタ実体内に全体又は一部が含まれてもよい。より詳しい情報は，4. (物理構造)を参照。

文書型定義

外部サブセットを参照せず，内部サブセットを含まないdoctypedeclをもつ整形式文書を作成できることに注意すること。

マーク付け宣言は，その全体又は一部を，パラメタ実体の置換テキストで構成してもよい。各々の非終端記号 (elementdecl，AttlistDeclなど)のための生成規則は，この規格の後半にあり，すべてのパラメタ実体を取り込んだ後の宣言について記述する。

パラメタ実体参照は，DTD(内部及び外部サブセット並びに外部パラメタ実体)のどの場所でも認識される。ただし，リテラル，処理命令，コメント及び無視される条件セクション(3.4 (条件付きセクション)を参照。)を除く。パラメタ実体は，実体値リテラルでも同様に認識される。内部サブセットで使用されるパラメタ実体は，次に示す制限を受ける。

内部サブセットのときと同様に，外部サブセットと，DeclSepにおいて参照する任意の外部パラメタ実体とは，非終端記号markupdeclによって許される型の完全なマーク付け宣言を幾つか並べたものでなければならない。マーク付け宣言の間には，空白又はパラメタ実体参照を置いてもよい。外部サブセット又はこれらの外部パラメタ実体の内容の一部は，条件付きセクションを使用して無視してもよいが，内部サブセットではこれは許されない。

外部サブセット

外部サブセット及び外部パラメタ実体の中では，パラメタ実体参照がマーク付け宣言の間だけでなく，マーク付け宣言の中でも認められる。この点でも，外部サブセット及び外部パラメタ実体は，内部サブセットと異なる。

文書型宣言付きのXML文書の例を，次に示す。

<?xml version="1.0"?>
<!DOCTYPE greeting SYSTEM "hello.dtd">
<greeting>Hello, world!</greeting>

システム識別子"hello.dtd"が，文書のDTDのアドレス(統一資源識別子(URI)参照)となる。

次の例のとおり，宣言を局所的に与えることもできる。

<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE greeting [
  <!ELEMENT greeting (#PCDATA)>
]>
<greeting>Hello, world!</greeting>

外部サブセット及び内部サブセットの両方を使用するときは，内部サブセットが外部サブセットより先に出現したと見なす。これは，内部サブセットの実体及び属性リスト宣言が，外部サブセットの実体及び属性リスト宣言に優先するという効果をもたらす。

2.9 非依存文書宣言

XMLプロセサは，応用プログラムに文書の内容を渡すが，マーク付け宣言は，この内容に影響を与えることがある。例えば，属性のデフォルト値及び実体宣言は影響を与える。非依存文書宣言は，XML宣言の一部分として出現することができ，影響を与えるマーク付け宣言が文書実体の外部又はパラメタ実体の中に出現するかどうかを示す。外部マーク付け宣言は外部サブセット又はパラメタ実体の中に出現するマーク付け宣言として定義される(パラメタ実体は，外部でも内部でもよい。妥当性を検証しないプロセサが内部パラメタ実体を読むことを義務付けないために，内部パラメタ実体も含める。)。

非依存文書宣言

非依存文書宣言では, 値"yes"は，XMLプロセサから応用プログラムへと渡される情報に影響する外部マーク付け宣言が存在しないことを意味する。値"no"は，影響する外部マーク付け宣言が存在するか，又は存在する可能性があることを意味する。非依存文書宣言は，外部宣言が存在するかどうかだけを示すことに注意すること。外部実体への参照が文書内に存在していても，その実体が内部で宣言されているときは，文書の非依存の値には影響を与えない。

外部マーク付け宣言が存在しなければ，非依存文書宣言は意味をもたない。外部マーク付け宣言は存在するが，非依存文書宣言が存在しない場合は，"no"の値が設定されているものとする。

XML文書で standalone="no" が設定されているものは，あるアルゴリズムでstandalone="yes"の文書に変換できる。変換後の文書の方がネットワークによる配信には望ましい。

非依存文書宣言付きのXML宣言の例を，次に示す。

<?xml version="1.0" standalone='yes'?>

2.10 空白の取扱い

XML文書を編集するときは，マーク付けを目立たせ読みやすくするために，“空白”(スペース，タブ及び空白行)を使うと便利なことが多い。これらの空白は，配布する版の文書の一部に含めることを普通は意図していない。しかし，“意味のある”空白であって，配布する版に保持されなければならないものも多い。例えば，詩及びソースコードにおける空白がこれにあたる。

XMLプロセサは，文書内のマーク付け以外のすべての文字を，変更せずにそのまま応用プログラムに渡さなければならない。妥当性を検証するXMLプロセサは，これらの文字の中でどの文字が要素内容に出現する空白を構成するかを応用プログラム側に伝えなければならない。

"xml:space"という特別な属性を要素に加えることによって，応用プログラムはこの要素の中の空白を保存することが望ましいという意図を示してもよい。妥当な文書では，この属性を使用する場合は，他の属性と同じように宣言しなければならない。宣言するときは，取り得る値を"default"，"preserve"のいずれか又は両方に限る列挙型でなければならない。例を次に示す。

<!ATTLIST poem  xml:space (default|preserve) 'preserve'>

<!ATTLIST pre xml:space (preserve) #FIXED 'preserve'>

値"default"は，応用プログラムのデフォルトの空白処理モードがその要素に適用できることを意味する。値"preserve"は，応用プログラムがすべての空白を保存することを意味する。この宣言の意図は，"xml:space"属性の別の指定で上書きしない限り，要素の内容に現れるすべての要素に適用すると解釈する。

文書のルート要素については，この属性の値を指定するか，又はこの属性のデフォルト値が宣言されている場合を除いては，応用プログラムによる空白の取扱いについて，いかなる意図も示さないと解釈する。

2.11 行末の取扱い

XMLの解析対象実体は，通常コンピュータのファイル内に保存され，編集の便宜のために複数の行に分けることが多い。これらの行は，普通は，復帰(#xD)コード及び改行(#xA)コードの何らかの組合せによって分けられる。

応用プログラムの仕事を簡単にするため， XMLプロセサは，次の処理をした場合と同一の文字を，応用プログラムに渡さなければならない。入力された(文書実体を含む。)外部解析対象実体の中のすべての行末(連続する2文字#xD #xA，及び#xAを後ろにともなわない#xD)を，解析を行う前にXMLプロセサが単一の#xAに変換することによって正規化する処理とする。

2.12 言語識別

文書処理においては，その文書の中身がどんな自然言語又は形式言語で書かれているか明示することが，役に立つことが多い。XML文書内の要素のもつ内容又は属性値において使用する言語を指定するために，xml:langという名前の特別な属性を，文書内に挿入してもよい。妥当な文書においてこの属性を使用する場合は，他の属性と同様に宣言しなくてはならない。この属性の値は，言語識別のためのタグ [IETF RFC 3066]，又はIETF標準化トラックの後継規定で定義される言語識別コードとする。

(生成規則33から38は削除された。)

例を次に示す。

<p xml:lang="en">The quick brown fox jumps over the lazy dog.</p>
<p xml:lang="en-GB">What colour is it?</p>
<p xml:lang="en-US">What color is it?</p>
<sp who="Faust" desc='leise' xml:lang="de">
  <l>Habe nun, ach! Philosophie,</l>
  <l>Juristerei, und Medizin</l>
  <l>und leider auch Theologie</l>
  <l>durchaus studiert mit heißem Bemüh'n.</l>
  </sp>

xml:langで宣言した意図は，この要素の内容の中に現れる他の要素のxml:lang属性で上書きされない限り，指定した要素のすべての属性と内容に適用される。

xml:langを次に示すとおり，簡単に(デフォルト値を与えずに)宣言してもよい。

xml:lang  NMTOKEN  #IMPLIED

    <!ATTLIST poem   xml:lang NMTOKEN 'fr'>
    <!ATTLIST gloss  xml:lang NMTOKEN 'en'>
    <!ATTLIST note   xml:lang NMTOKEN 'en'>

3.1 開始タグ，終了タグ及び空要素タグ

空でない任意のXML要素の始まりは，開始タグによってマーク付けする。

開始タグ

開始タグの例を次に示す。

<termdef id="dt-dog" term="dog">

開始タグで始まる要素の終わりは，終了タグでマーク付けしなければならない。この終了タグは，対応する開始タグの要素型と同じ名前をもつ。

終了タグ

終了タグの例を，次に示す。

</termdef>

要素の開始タグと終了タグとの間のテキストをその要素の内容という。

要素の内容

内容をもたない要素は空であるという。空要素は，終了タグを直後にともなう開始タグによって表現されるか，又は空要素タグによって表現される。 空要素タグは，次の特別な形式をとる。

空要素のためのタグ

空要素タグは，内容をもたない任意の要素の表現に利用できる。空要素タグで表現する要素を，キーワードEMPTYを用いて宣言しなくてもよい。 相互運用性のためには，空要素タグは， EMPTYとして宣言された要素に使用すべきであり，またこれ以外の要素に使用すべきではない。

空要素の例を，次に示す。

<IMG align="left"
 src="http://www.w3.org/Icons/WWW/w3c_home" />
<br></br>
<br/>

3.2 要素型宣言

妥当性を保証するため，要素型宣言及び属性リスト宣言を用いてXML文書の要素の構造に制約を加えることができる。要素型宣言は，要素の 内容についての制約とする。

要素型宣言は，要素の子として出現可能な要素型について，制約を加えることが多い。利用者の任意選択によっては，要素型宣言をもたない要素型が他の要素型宣言によって参照されれば，XMLプロセサは警告を出してもよい。しかし，これは誤りとはしない。

要素型宣言は次の形式をとる。

要素型宣言

ここで，Nameは宣言されている要素の型を示す。

要素型宣言の例を次に示す。

<!ELEMENT br EMPTY>
<!ELEMENT p (#PCDATA|emph)* >
<!ELEMENT %name.para; %content.para; >
<!ELEMENT container ANY>

<!ELEMENT spec (front, body, back?)>
<!ELEMENT div1 (head, (p | list | note)*, div2*)>
<!ELEMENT dictionary-body (%div.mix; | %dict.mix;)*>

<!ELEMENT p (#PCDATA|a|ul|b|i|em)*>
<!ELEMENT p (#PCDATA | %font; | %phrase; | %special; | %form;)* >
<!ELEMENT b (#PCDATA)>

3.3 属性リスト宣言

属性は，名前及び値の対を要素に関連付けるために用いる。属性指定は，開始タグ又は空要素タグ内でだけ可能とする。したがって，属性指定を認識するための生成規則は，3.1 (開始タグ，終了タグ及び空要素タグ)に示されている。属性リスト宣言は，次の目的で用いる。

1. ある要素型に適用する属性の集合を規定する。

2. 属性への型制約を設定する。

3. 属性のデフォルト値を規定する。

属性リスト宣言は，ある要素型と関連付けられた各属性に対し，名前，データ型及び(存在すれば)デフォルト値を規定する。

属性リスト宣言

AttlistDecl規則に含まれるNameは，要素型の名前とする。利用者の任意選択によっては，宣言していない要素型に対して属性を宣言したならば，XMLプロセサは，警告を出してもよい。しかし，これは誤りとはしない。 AttDef規則におけるNameは，属性の名前とする。

ある要素型に対して，複数のAttlistDeclがある場合，これらすべての内容を繋ぎ合わせる。ある要素型の同じ属性に，複数の定義がある場合には，最初の宣言を有効とし，他の宣言は無視する。相互運用性のためには，DTDの作成者は，ある要素型には高々一つの属性リスト宣言しか与えない，ある属性名には高々一つの属性定義しか与えない，及びすべての属性リスト宣言には少なくとも一つの属性定義を与える，という選択をしてもよい。相互運用性のためには，XMLプロセサは，利用者の任意選択によっては，ある要素型に複数の属性リスト宣言を与えたり，ある属性に複数の属性定義を与えたりしたときに，警告を出してもよい。しかし，これは，誤りとはしない。

<!ATTLIST termdef
          id      ID      #REQUIRED
          name    CDATA   #IMPLIED>
<!ATTLIST list
          type    (bullets|ordered|glossary)  "ordered">
<!ATTLIST form
          method  CDATA   #FIXED "POST">

<!ENTITY d "&#xD;">
<!ENTITY a "&#xA;">
<!ENTITY da "&#xD;&#xA;">

3.4 条件付きセクション

条件付きセクションとは，文書型宣言の外部サブセットの一部であって，制御キーワードの指定によって，DTDの論理構造に含まれるか又は除かれるかが変わる部分とする。

条件付きセクション

条件付きセクションは，DTDの内部サブセット及び外部サブセットと同様に，完全な宣言，コメント，処理命令又は入れ子になった条件付きセクションを，幾つか含んでよい。これらの間に，空白が現れてもよい。

条件付きセクションのキーワードがINCLUDEならば，条件付きセクションの内容はDTDの一部である。条件付きセクションのキーワードがIGNOREならば，条件付きセクションの内容は論理的にはDTDの一部ではない。キーワードをINCLUDEとする条件付きセクションが，キーワードをIGNOREとするより大きな条件付きセクションに含まれるならば，外側及び内側の条件付きセクションの両方とも無視する。無視される条件付きセクションの内容を解析するとき，キーワードに続く"["の後のすべての文字は，条件付きセクションを開始する"<!["と終了する"]]>"を除き，この条件付きセクションの終了が見つかるまで無視する。この処理において，パラメタ実体参照は認識されない。

条件付きセクションのキーワードがパラメタ実体参照ならば，XMLプロセサは条件付きセクションを取り込むか無視するかを判断する前に，このパラメタ実体を展開しなければならない。

例を次に示す。

<!ENTITY % draft 'INCLUDE' >
<!ENTITY % final 'IGNORE' >
 
<![%draft;[
<!ELEMENT book (comments*, title, body, supplements?)>
]]>
<![%final;[
<!ELEMENT book (title, body, supplements?)>
]]>

4.1 文字参照及び実体参照

文字参照は，JIS X 0221-1文字集合の特定の文字，例えば，入力機器から直接入力不可能な文字を参照する。

文字参照

文字参照が"&#x"で始まれば，終端の;までの数字及び字(letter)は，JIS X 0221-1の文字符号位置を16進数で表現する。文字が "&#" で始まれば，終端の;までの数字は，文字符号位置を10進数で表現する。

実体参照は，名前の付いた実体の内容を参照する。一般解析対象実体への参照は，アンド記号(&)及びセミコロン記号(;)を区切り子として用いる。パラメタ実体への参照は，パーセント記号(%)及びセミコロン(;)を区切り子として用いる。

実体参照

文字参照及び実体参照の例を，次に示す。

Type <key>less-than</key> (&#x3C;) to save options.
This document was prepared on &docdate; and
is classified &security-level;.

パラメタ実体参照の例を，次に示す。

<!-- declare the parameter entity "ISOLat2"... -->
<!ENTITY % ISOLat2
         SYSTEM "http://www.xml.com/iso/isolat2-xml.entities" >
<!-- ... now reference it. -->
%ISOLat2;

4.2 実体宣言

実体は，次のとおりに宣言する。

実体宣言

Nameは，実体参照において実体を特定する。解析対象外実体ならば，ENTITY 型又はENTITIES型の属性値において，Name実体を特定する。同一の実体が1回以上宣言されれば，最初の宣言を用いる。利用者の任意選択によっては，複数回宣言される実体に関し，XMLプロセサは，警告を出してもよい。

<!ENTITY Pub-Status "This is a pre-release of the specification.">

<!ENTITY open-hatch
         SYSTEM "http://www.textuality.com/boilerplate/OpenHatch.xml">
<!ENTITY open-hatch
         PUBLIC "-//Textuality//TEXT Standard open-hatch boilerplate//EN"
         "http://www.textuality.com/boilerplate/OpenHatch.xml">
<!ENTITY hatch-pic
         SYSTEM "../grafix/OpenHatch.gif"
         NDATA gif >

4.3 解析対象実体

<?xml encoding='UTF-8'?>
<?xml encoding='EUC-JP'?>

4.4 XMLプロセサによる実体及び参照の扱い

表2に，文字参照，実体参照及び解析対象外実体の呼出しが現れる文脈，並びに，それぞれの場合におけるXMLプロセサに要求される振る舞いを要約する。一番左の列のラベルは，参照が現れる文脈を示す。

内容における参照

要素の開始タグ及び終了タグの間の任意の場所での参照。非終端記号contentに対応する。

属性値における参照

開始タグの属性の値，又は属性宣言におけるデフォルト値のいずれかでの参照。非終端記号AttValueに対応する。

属性値として出現

参照ではなく，Nameとして出現。ENTITY型として宣言した属性の値として出現するか，又はENTITIES型として宣言した属性の値におけるスペースで区切られたトークンの一つとして出現する。

実体値における参照

実体の宣言における，パラメタ実体又は内部実体のリテラル実体値の中での参照。非終端記号EntityValueに対応する。

DTDにおける参照

DTDの内部又は外部サブセットのいずれかの中に現われる参照。ただし，EntityValue, AttValue, PI, Comment, SystemLiteral, PubidLiteral又は無視される条件付きセクションの内容の外側にあるもの(3.4 (条件付きセクション)を参照。)に限る。

表2 実体及び参照の扱い

	実体の型				文字
	パラメタ	内部一般	外部解析対象実体一般	解析対象外実体
内容での参照	認識 しない	取込み	検証のために取込み	禁止	取込み
属性値での参照	認識 しない	リテラル内での取込み	禁止	禁止	取込み
属性値として出現	認識 しない	禁止	禁止	通知	認識しない
実体値での参照	リテラル内での取込み	処理しない	処理しない	禁止	取込み
DTDでの参照	PEとして 取込み	禁止	禁止	禁止	禁止

<!ENTITY % YN '"Yes"' >
<!ENTITY WhatHeSaid "He said %YN;" >

<!ENTITY EndAttr "27'" >
<element attribute='a-&EndAttr;>

4.5 実体置換テキストの構築

実体の取扱いの規定で，実体値を二つの形式に区別することは役に立つ。内部実体の場合，リテラル実体値は，実体宣言内に実際に存在する，引用符で囲まれた文字列とする。これは，非終端記号EntityValueとマッチする。外部実体の場合，リテラル実体値は，その実体に含まれるテキストそのままとする。 内部実体の場合，置換テキストは，文字参照及びパラメタ実体参照の置換え後における，実体の内容とする。外部実体の場合， 置換テキストは，実体の内容とする。ただし，テキスト宣言は(もしあるなら)取り除く(周辺の空白文字は除かない。)。しかし，文字参照又はパラメタ実体参照は置き換えないものとする。

内部実体宣言内で与えるリテラル実体値(EntityValue)は，文字参照，パラメタ実体参照及び一般実体参照を含んでもよい。これらの参照は，リテラル実体値内に完全に含まれていなければならない。先に示したとおりに取り込まれる(又は リテラル内で取込まれる)実際の置換テキストは，参照されるパラメタ実体の置換テキストを含み，リテラル実体値に含まれる文字参照の代わりにそれが表す文字を含む。しかし，一般実体参照はそのまま残し，展開してはならない。例えば，次の宣言を与えたとする。

<!ENTITY % pub    "&#xc9;ditions Gallimard" >
<!ENTITY   rights "All rights reserved" >
<!ENTITY   book   "La Peste: Albert Camus, 
&#xA9; 1947 %pub;. &rights;" >

実体の置換テキスト"book"は，次のとおりとなる。

La Peste: Albert Camus, 
© 1947 Éditions Gallimard. &rights;

参照"&book;"が文書の内容又は属性値内に出現すれば，一般実体参照"&rights;"は展開される。

これらの単純な規則は，複雑な相互作用をもちうる。 難しい例についての詳細は，附属書D (実体参照及び文字参照の展開)を参照。

4.6 定義済み実体

不等号(より小)，アンパサンド及び他の区切り子を別扱いするには実体参照及び文字参照のどちらも使用できる。幾つかの一般実体(amp, lt, gt, apos, quot)をこの目的のために使用する。番号による文字参照も，この目的のために用意されている。文字参照は，認識されると直ちに展開され，文字データとして扱われるので，番号による文字参照"<"及び "&"は，文字データ内に出現する <及び&を別扱いするために使用できる。

すべてのXMLプロセサは，宣言されているかどうかに関係なく，これらの実体を認識しなくてはならない。相互運用性のためには，妥当なXML文書は，これらの実体を使用する前に他の実体と同様に宣言することが望ましい。実体 lt又はampを宣言する場合，内部実体として宣言し，その置換テキストは，別扱いされる文字(不等号(より小)又はアンパサンド) への文字参照としなければならない。これらの実体を参照しても結果が整形式となるためには，二重の別扱いを必要とする。実体gt, apos又は quotを宣言する場合，これらの実体を内部実体として宣言し，その置換テキストは，別扱いされる単一の文字(又はその文字への文字参照)としなければならない。この場合，二重の別扱いは不要であるが，有害ではないことに注意。次にその例を示す。

<!ENTITY lt     "&#38;#60;"> 
<!ENTITY gt     "&#62;"> 
<!ENTITY amp    "&#38;#38;"> 
<!ENTITY apos   "&#39;"> 
<!ENTITY quot   "&#34;"> 

4.7 記法宣言

記法は，解析対象外実体の形式，記法属性を持つ要素の形式又は処理命令の対象とする応用プログラムを特定する名前とする。

記法宣言は，記法の名前及び外部識別子を提供する。この名前は，外部実体宣言及び属性リスト宣言並びに属性指定に用いる。外部識別子は，与えられた記法のデータを処理できるプログラム(helper application)を，XMLプロセサ又は応用プログラムが探すために利用できる。

記法宣言

宣言されていて，属性値・属性定義・実体宣言で参照されているすべての記法について，XMLプロセサは，記法の名前及び外部識別子を応用プログラムに提供しなければならない。さらに，外部識別子を， システム識別子，ファイル名又はその他の情報(その記法のデータを処理するプロセサを応用プログラムが起動するために必要なもの)に展開してもよい。しかし，XMLプロセサ又は応用プログラムが動作するシステムでは利用できない記法を，XML文書が宣言し，参照しても，誤りとはしない。

4.8 文書実体

文書実体は，実体の成す木構造のルートであって，XMLプロセサが処理を開始する対象とする。この規格は，XMLプロセサが，文書実体の存在する場所をどのように見つけるかは規定しない。他の実体と異なり，文書実体は名前をもたず，いかなる識別子もなしにプロセサへの入力ストリームに出現してもよい。

5.1 妥当性を検証するプロセサ及び検証しないプロセサ

適合XMLプロセサは，妥当性を検証するもの及び妥当性を検証しないものの二つに分類される。

妥当性を検証するプロセサも妥当性を検証しないプロセサも，読み込んだ文書実体及び他のすべての解析対象実体において，この規格の整形式制約への違反を報告しなければならない。

利用者の任意選択によっては，妥当性を検証するプロセサは，DTD内の宣言によって示された制約への違反と，この規格が規定する妥当性制約への違反とを，すべて報告しなければならない。 これを実現するために，妥当性を検証するXMLプロセサは，DTD全体と文書内で参照されているすべての外部解析対象実体とを読み込んで処理しなければならない。

妥当性を検証しないプロセサは，整形式であることを確認するために，DTDの内部サブセット全体を含めた文書実体を調べることだけが義務づけられている。文書の妥当性を確認する必要はないが，読み込んでいないパラメタ実体への参照が最初に起きるまでに読み込んだDTDの内部サブセットとパラメタ実体とに現れるすべての宣言を処理しなければならない。すなわち，属性値を正規化し，内部実体の置換テキストを取込み，デフォルトの属性値を与えるために，これらの宣言にある情報を使用しなければならない。 実体の宣言は上書きされる可能性があるので，妥当性を検証しないプロセサは，読み込んでいないパラメタ実体への参照より後に現れた実体宣言及び属性リスト宣言を処理してはならない。ただし，standalone="yes" のときは処理しなければならない。

5.2 XMLプロセサの使用

妥当性を検証するXMLプロセサの振る舞いはほとんど予測可能である。すなわち，文書のすべての断片を読み込み，整形式及び妥当性に対するすべての違反を報告しなければならない。妥当性を検証しないプロセサに必要とされることはそれより少ない。すなわち，文書実体以外の文書の断片を読み込む必要はない。したがって，XMLプロセサの利用者に対して重要な二つ効果をもつ。

a)	ある種の整形式の誤り，特に，外部実体を読まなければ検出できない誤りを検出することに，妥当性を検証しないプロセサは失敗してもよい。実体が宣言されていること，解析対象実体及び再帰なしという見出しが付けられた制約，並びに4.4 XMLプロセサによる実体及び参照の扱いで禁止として説明されている幾つかの場合が，この種の誤りに相当する。
b)	プロセサから応用プログラムに渡される情報は，プロセサがパラメタ実体及び外部実体を読み込むかどうかで異なる。例えば，妥当性を検証しないプロセサは，属性値を正規化したり，内部実体の置換テキストを取込んだり，デフォルトの属性値を与えることに失敗してもよい。失敗してよいかどうかは，外部実体及びパラメタ実体内での宣言を既に読み込んでいるかどうかによって決まる。

異なるXMLプロセサ間での相互運用性を最も高めるためには，妥当性を検証しないプロセサを使用する応用プログラムは，そのようなプロセサでは必要とされない振る舞いに依存すべきではない。DTD機能のうち検証に関係しないもの(デフォルトをもつ属性の宣言及び内部実体の宣言など)であって, 外部実体に定義されている又は定義されている可能性があるものを必要とする応用プログラムは，妥当性を検証するプロセサを使用することが望ましい。