(Wikipedia Extensible Markup Languageより)

Extensible Markup Language（エクステンシブル マークアップ ランゲージ）は、個別の目的に応じたマークアップ言語作成のため、汎用的に使うことができる仕様、および仕様により策定される言語の名称である。一般的にXML（エックスエムエル）と略称で呼ばれる。JISによる訳語は「拡張可能なマーク付け言語」。

XML の仕様は、World Wide Web Consortium (W3C) により策定・勧告されている。1998年2月に XML 1.0 が勧告された。2010年4月現在、XML 1.0 と XML 1.1 の2つのバージョンが勧告されている（#バージョン）。XMLは現在、広く普及している技術である。

ちなみに、「eXtensible Markup Language の略である」と書かれることがあるが、これは間違いであり、XはExの発音を表している。

概要

基礎的概念と利用目的

XMLは、個別の目的に応じたマークアップ言語群を創るために汎用的に使うことができる仕様である。
マークアップ言語とは、コンピュータ言語の一種で、文章の論理的な構造（段落など）や見栄え（フォントサイズなど）に関する指定を、文章とともにテキストファイルに記述するための言語である。
XMLは、拡張可能な言語の一つに分類されるが、その理由は、XMLを使うことで、使用者は自分たち自身で複数のタグを定義することができるからである。
XMLの文脈におけるタグとは、文書の断片に意味を付加するための印である。

XMLの最も重要な目的は、異なる情報システムの間で、特にインターネットを介して、構造化された文書や構造化されたデータの共有を、容易にすることである。
XMLを使うと、文書を構造化して記述することもできるし、コンピュータのデータを直列化 （シリアライズ） することもできる。
データを直列化する用途でXMLを使う際には、XMLは、JavaScript Object Notation (JSON) やYAMLなどの、テキストを基にした他の直列化言語と比較衡量することができるJavaScript Object Notation (JSON) とYAMLは、XMLと比べて、他のテキストを基にした直列化言語との中でも、一般に、軽量であり、冗長性の少ないという、特徴をもつと言及されることが多い。
この項目の#XMLに対する支持と批判の節を参照。。

XMLを基盤とするマークアップ言語とスキーマ言語

XMLで文書の論理的構造を規定する制約を追加することによって、XMLを適用したマークアップ言語を実装することができる。
XMLを適用したマークアップ言語は非常に多く存在している （#XMLの応用の節を参照）。
例えば、Extensible HyperText Markup Language (XHTML)、DocBook、RSS、Mathematical Markup Language (MathML)、ebXML、Scalable Vector Graphics (SVG)、MusicXML などがある。
さらに、XMLはこのような適用マークアップ言語のための仕様記述言語、すなわちスキーマ言語として使うことができる。
XMLで記述するスキーマ言語としては、RELAX NG、W3C、 XML Schema などがある。

オープンな仕様

XMLは、同じく汎用的に使うことができるマークアップ言語である Standard Generalized Markup Language (SGML) の、簡素化されたサブセットとして、人間にとっても比較的判読しやすいように設計された （#歴史を参照）。
XMLの仕様は、XMLワーキンググループなどにより設計が行われ、World Wide Web Consortium (W3C) により勧告 （策定） されている。
XMLは無償で使うことができるオープン標準の技術である。
XML仕様のW3C勧告ではXMLの文法とXMLプロセサ （XMLパーサ、XML文書の構文解析器） のための要件を定めている。
1998年2月に XML 1.0 が勧告され、2004年2月に XML 1.1 が勧告された（#バージョン参照）。

正当性水準について

XML文書の正当性の水準には、整形式XML文書と妥当なXML文書の、2つの水準がある （#整形式XML文書と妥当なXML文書を参照）。
XML文書のマークアップ規則に従って記述されていることだけが問題とされる文脈で、スキーマ言語を使わずに、XML文書のマークアップ規則に従って記述された文書を、「整形式XML文書」 (well-formed XML document) という （#XMLの構文と整形式XML文書を参照）。
さらに、XML文書をより厳密に構造化した文書やデータとして扱いたい場合は、XML文書の構造をスキーマ言語によって定義することができ、XMLプロセサでそのXML文書（XMLインスタンス）に対してその文書構造に従っていることを検証する（妥当性検証を行う）というように、XML技術を使うこともできる （#XML文書の論理的構造と妥当なXML文書を参照）。
XML文書に対して妥当性検証を行うことにより、従来アプリケーションソフトウェアで行ってきた、XML文書の構造の検査や、XML文書に含まれるデータに対するデータ型のチェックや値の範囲のチェックが、可能となる。
スキーマ言語としては Document Type Definition (DTD、文書型定義)、W3C XML Schema、RELAX NG （文書スキーマ定義言語: DSDL）などがある。
XML文書の構造がスキーマ言語によって定義され、XML文書の妥当性を検証するソフトウェアによって妥当性が検証されたXML文書のことを「妥当なXML文書」 (valid XML document) という。
整形式XML文書は、妥当なXML文書である場合と、妥当なXML文書ではない場合とがある。
スキーマ言語を採用して妥当性検証を行う方法でXMLを使うこともできるし、スキーマ言語を採用せず妥当性検証を行わないで手軽にXMLを使うこともできる。

幅広い人間言語のサポート

XML勧告では、XMLプロセサがサポートすべき文字符号化方式（文字コード）としてUTF-8とUTF-16（Unicode）を定めているため、英語以外の言語も扱いやすくなっている （#多言語環境で使うを参照）。また、UTF-8とUTF-16以外の文字コード（UCS-4、EUC-JP、Shift_JIS、EBCDICなど）を用いることも可能である。

補完技術

XMLだけでは最低限の書式しか決められていないため、XMLの力を引き出す各種の関連技術が別途標準化されている （#XMLの拡張および#XML文書をプログラムで処理する、#XML文書を視覚的に表示する、#XMLインフォメーションセットを参照）。
以下に挙げるものをはじめとして、現在も多くの関連技術の標準化作業が行われている。

• プログラムからXML文書を処理する方法として、Document Object Model (DOM) や Simple API for XML (SAX) などのアプリケーションプログラミングインタフェース (API) が標準化されている。

• XML文書のスタイルを指定する技術（スタイルシート）として Extensible Stylesheet Language (XSL) や Cascading Style Sheets (CSS) などがある。

• XML文書を非テキスト形式（バイナリ）で効率的に表現する方法として、World Wide Web Consortium (W3C) は Efficient XML Interchange (EXI) フォーマットを定義した。

XMLの普及とXMLへの批評

XMLは現在、広く普及している技術であるが、その技術的な有用性などについて、肯定的に評価する人々が多い一方で、批判的に評価する人々も多い （#XMLに対する支持と批判を参照）。

整形式XML文書と妥当なXML文書

XML文書の正当性の水準には、整形式XML文書と妥当なXML文書の、2つの水準がある。
なおXML文書に対して、整形式XML文書としての検査のみを行うXMLプロセサを非検証XMLプロセサといい、整形式XML文書としての検査に加えて妥当なXML文書としての検査を行うXMLプロセサを検証XMLプロセサという。

整形式XML文書

整形式XML文書 (well-formed XML document) は、XMLの構文の規則のすべてに準拠している。例えば、文書中のある要素が開始タグが有るが対応する終了タグが欠落している場合、その文書は整形式 (well-formed) ではない。整形式ではない文書はXML文書とはみなされない。非検証XMLプロセサおよび検証XMLプロセサは、整形式ではない文書を処理することはできない (処理を試みるとエラーになる)。

妥当なXML文書

妥当なXML文書 (valid XML document) は、整形式XML文書としての条件を満たしていることに加えて、文書の論理的構造を規定する何らかの規則に準拠している。このような規則は、RELAX NG や XML Schema、Document Type Definition (DTD) などのスキーマ言語で定義されたスキーマで定める。例えば、あるXML文書がスキーマに定義されていない要素 (タグ) を含んでいた場合、検証XMLプロセサは、そのXML文書を処理することはできない。検証XMLプロセサによって検証されたXML文書は、妥当 (valid) であると位置づけられる。なお、妥当な文書であっても、非検証XMLプロセサでは実体の定義を確認しないため、仕様で定められている実体参照(<、>など)以外の私的な実体参照を用いている場合、非検証XMLプロセサは当該実体を参照できず致命的なエラーとなる。

XMLの構文と整形式XML文書

整形式XML文書が満たすべき構文の規則を説明する。

整形式XML文書としての条件が満たされることのみを考慮する場合 (スキーマ言語を使わずに手軽にXMLを使う場合) においても、XMLは、大量の文書やもしくは木構造として表現することができるデータを格納するための、一般的な枠組みとしての役割を果たすことができる。

XML文書は、要素 (element) と属性 (attribute) が複数集まって、構成されている。
要素は内部に子要素を含むことができる。
属性は要素に付随し、属性の内部に子要素を含むことはできない。
要素は開始タグと終了タグで内容を挟むことで表現する。
開始タグは「<要素名>」、終了タグは「」で記述する。

一つの要素を記述するための基本的な構文を次に示す。

<要素名 属性="値">内容</要素名>

ここで、 をこの要素の開始タグといい、 を終了タグという。
「内容」は何らかのテキストである。

次に示す例は整形式XML文書である。

<書籍 出版日="2007-10-31">これは書籍です.... </書籍>

この例は、書籍という要素を一つもつXML文書である。
<書籍> が書籍要素の開始タグであり、</書籍> が書籍要素の終了タグである。
「出版日="2007-10-31"」は書籍要素の属性である。
この属性の名前 （属性名） は「出版日」であり、この属性の値 （属性値） は "2007-10-31" である。
「これは書籍です.... 」は、書籍要素の内容である。

要素の内容を構成するテキストはまた、さらに任意の数の要素を含むことができる （なお、このように一つの要素内に文字列データと子要素が混在するものを、「混合内容」と呼ぶ）。
すなわち、一般的なXML文書は木構造をなす。
この点において、XMLはプログラミング言語LISPのS式と似ている。
S式でも木構造を記述する。
S式の木構造のおのおのの節は、自分自身のプロパティリストをもつことができる。

要素は内部に別の要素を含むことができる。
構造化したXML文書の例を示す。

 <レシピ 名前="パン" 準備時間="5分" 調理時間="3時間">
   <料理>基本的なパン</料理>
   <材料 量='3' 単位='カップ'>小麦粉</材料>
   <材料 量='0.25' 単位='オンス'>イースト</材料>
   <材料 量='1.5' 単位='カップ' 状態="温かい">水</材料>
   <材料 量="1" 単位="ティースプーン">食塩</材料>
   <要領>
     <手順>全ての材料を一緒にして混ぜます。</手順>
     <手順>十分にこねます。</手順>
     <手順>布で覆い、暖かい部屋で1時間そのままにしておきます。</手順>
     <手順>もう一度こねます。</手順>
     <手順>パン焼きの容器に入れます</手順>
     <手順>布で覆い、暖かい部屋で1時間そのままにしておきます。</手順>
     <手順>オーブンに入れて温度を180℃にして30分間焼きます。</手順>
   </要領>
 </レシピ>

要素の属性の値は、必ずシングルクォート (') かダブルクォート (") で括らなければならない。
そして要素内にある属性は、互いに属性名が異なっていなければならない。
XML文書では要素は正しく入れ子になっていなければならない。
要素は決してオーバーラップしていてはならない。

例えば、次の文書は整形式XML文書ではない。
なぜなら 書名 要素と 著者 要素がオーバーラップしているからである。

<書籍目録> <書名>XML入門<著者>筒井<書名>続・XML入門<著者>小松</書名></著者></書名></著者> </書籍目録>

次の2つの文書は整形式XML文書である。

<書籍目録> <書名>XML入門</書名> <著者>筒井</著者> <書名>続・XML入門</書名> <著者>小松</著者> </書籍目録>

<書籍目録> <書名>XML入門</書名> <著者>筒井<書名>続・XML入門<著者>小松</著者></書名></著者> </書籍目録>

整形式XML文書においては、XML文書は正確に一つのルート要素 （文書要素; document element とも呼ばれる） をもたなければならない。
ルート要素とは、XML文書の要素の階層構造において最上位の要素のことをいう。
最上位の要素は一つでなければならない。
最上位の要素が複数ある文書は、整形式XML文書ではない。
整形式XML文書が一つのルート要素をもたなければならないという条件が意味することは、整形式XML文書のテキストは、ルート要素の開始タグと対応する終了タグの間に、収められなければならないということである。
ルート要素の開始タグと終了タグの間に収められたテキストは、任意の数の要素や文字列データを含むことができる。

ルート要素の前に、必要に応じて、XML宣言 (XML declaration) をおくことができる。
このXML宣言は、XMLのどのバージョンが使われているか （現時点ではバージョン1.0であることが多い） などを示す。
XML宣言では、XMLのバージョンの他に、文字符号化方式 （文字コード） の指定や、他のXML文書との依存関係についての指定を、行うこともできる。

• XML文書の文字符号化方式がUTF-8かUTF-16の場合は、XML宣言をおいてもよいし、XML宣言をおかなくてもよい。
• XML文書の文字符号化方式がUTF-8でもUTF-16でもない場合は、XML宣言をおいて文字符号化方式を明示する必要がある。

XML宣言を含んだXML文書の例を示す。

<?xml version="1.0" encoding="UTF-8"?>
<書籍 出版日="2007-10-31">これは書籍です.... </書籍>

XML仕様では、XMLプロセサ （XMLパーサ、XML文書の構文解析器） が、Unicodeの文字符号化方式であるUTF-8およびUTF-16で記述されたXML文書を処理できることを、必須条件としている （UCS-4は必須条件ではない）。
XMLプロセサは、UTF-8およびUTF-16の他にも、いくつかの任意の文字符号化方式の文書を処理できるようにして良い。
例えば、UCS-4、EUC-JP、Shift_JIS、EBCDICなどの文字符号化方式の文書を処理できるXMLプロセサが、広く普及し、使われている。

コメントはXML文書の木構造のどこにでもおくことができる。

コメントは、"<!--" で始まり、"-->" で終わる。
なお、コメント内に "--" を含むことはできない。

コメントを含むXML文書の例を示す。

<書籍 出版日="2007-10-31">
 これは書籍です.... 
</書籍>

内容のない要素を空要素 (empty element) という。
XMLでは、空要素を表現するために特別な構文を使うことができる。
開始タグを書きその直後に終了タグを書くこともできるが、その代わりに空要素のタグを使うことができるのである。
空要素タグは開始タグと似ているが、閉じ括弧の直前にスラッシュをおく。

次の3つの例は、XMLでは同等である。

<foo></foo>
<foo/>
<foo />

空要素タグは属性を含むことができる。

<情報 著者="小松左京" 分類="サイエンスフィクション" 日付="2009-01-01"/>

多言語環境で使う

XML文書ではどのUnicodeの文字も （XMLで特別な意味をもつ、開き山括弧 "<" のような文字を除いて）、要素名として、属性名として、コメント内容として、文字データとして、処理命令 （後述） として、直接に使うことができる。
このため、漢字とキリル文字を共に含む次の文書も、整形式XML文書である。

<?xml version="1.0" encoding="UTF-8"?>
<俄語>Данные</俄語>

文書型宣言

XML文書 （あるいはSGML文書、HTMLウェブページを含む） において、文書型宣言 （DOCTYPE宣言、Document Type Declaration） は、その文書を特定の Document Type Definition (DTD) のスキーマと関連づけることを記述するものである。
なお、Document Type Definition (DTD) は、XMLで使うことができるスキーマ言語の一つである。
文書型宣言は、その文書が特定のスキーマに準拠していることを宣言する。

XML文書では文書型宣言を記述してもよいし、記述しなくてもよい。
DTDをスキーマ言語として妥当性検証を行うことを想定しているのであれば、文書型宣言の記述は必須となるであろう。
DTDで妥当性検証を行わない場合でも、後述する実体参照などを文書中で使うのであれば、文書型宣言において文書中で使う実体を宣言することができる。

文書型宣言は、その文書が特定のスキーマに準拠していること （妥当なXML文書であること） を、保証しているわけではない。
文書型宣言に記されたスキーマに準拠しているかどうかを判断するには、検証XMLプロセサでその文書を検証する必要がある。

文書型宣言の一般的な構文は次のとおりである。

]>

ここで外部サブセットとは、そのXML文書のDTDを構成する （要素の型の宣言、後述する実体の宣言などの） 宣言群のうち、別ファイルに記述された宣言群のことである。また内部サブセットとは、そのXML文書のDTDを構成する宣言群のうち、文書型宣言内に直接記述された宣言群のことである。

XHTML 1.0 Strict に準拠したXML文書での文書型宣言は、次のとおりである。

"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

XML文書においては、ルート要素がその文書の最初の要素である （例えば、XHTMLではルート要素は html である）。
SYSTEM キーワードと PUBLIC キーワードは、その文書型 （文書の構造） の種類を指定する。
一般に広く知られていないDTDを使う場合は、SYSTEM キーワードを使う。
一般に広く知られているDTDを使う場合 （XHTMLなど） は、PUBLIC キーワードを使う。

• SYSTEM キーワードを使う際は、その後に続けて、その文書が準拠するDTDのファイルのURIを、外部サブセット参照として記述する。
• PUBLIC キーワードを使う際は、その後に続けて、その文書が準拠するDTDの公開識別子 (public identifier) を指定しなければならない （例えば XHTML 1.0 の公開識別子は、"-//W3C//DTD XHTML 1.0 Strict//EN" である）。公開識別子を記述した後に続けて、SYSTEM キーワードを使う場合と同様に、その文書が準拠するDTDのファイルのURIを、外部サブセット参照として記述する。

内部サブセットは必要に応じて記述する。
内部サブセットとして、DTDの一部分もしくはDTDの全体を記述することができる。
なお、内部サブセットとしてDTDの全体を記述する場合は、SYSTEMキーワード・PUBLICキーワード・外部サブセット参照は、いずれも記述しない。

実体参照

実体参照 (entity reference) は、実体を表現するプレースホルダである。

XMLにおける実体 (entity) とは、SGMLにおける実体と同じように、名前の付けられたデータの本体である。
具体的には、ファイルもしくは置換文字列のように、何らかの形でXML文書の一部となるデータを格納しているもののことである。
置換文字列を使う事例としては、次のような場合がある。

• キーボードから簡単には入力できない文字をXML文書中に表現したい場合。
• 決まった単語の並びがXML文書中に何度も出現する場合。

実体参照の構成は、まず最初にアンパサンド ("&") があり、その後に実体の名前が続き、セミコロン (";") で終わる。

XMLには、事前宣言された実体として次の表に示す5つの実体がある。

「AT&T」の名前でアンパサンドを表現するために、事前宣言されたXMLの実体を使う例を示す。

<会社名称>AT&amp;T</会社名称>

事前宣言された実体以外の実体を宣言する必要がある場合、XML文書の Document Type Definition （DTD、文書型定義） の内部で宣言する。

XML文書の内部に定義されたDTDを使って、置換文字列としての実体を宣言して、実体参照を使う例を次に示す。
宣言された実体は、一つの文字であっても良いし、テキストの断片であっても良いし、他の実体への参照を含むテキストであっても良い。

<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE 例 [
    <!ENTITY copy "?">
    <!ENTITY copyright-notice "Copyright ? 2007 平成新報社">
]>
<例>
    &copyright-notice;
</例>

XMLに準拠したブラウザを使うと、先のXML文書は次のように表示される。

Copyright ? 2007 平成新報社

ファイルの実体を参照するXML文書の例を示す。

<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE 文章 [
    <!ENTITY tsutsui-yasutaka SYSTEM "another-file.xml">
]>
<文章>
 <文>星新一はSF作家である。</文>
 <文>小松左京はSF作家である。</文>
 &tsutsui-yasutaka;
</文章>

なお、別ファイル another-file.xml には次の内容が記されていることとする。

 <文>筒井康隆はSF作家である。</文>

XMLに準拠したブラウザでこのXML文書を表示すると、次のようになる。

星新一はSF作家である。小松左京はSF作家である。筒井康隆はSF作家である。

文字参照

文字参照 (character reference) は、文字をXML文書内でコード番号を指定して記述する記法である。
文字参照は、実体参照と似ているが、実体参照では名前を使うのに対し、文字参照ではその部分で始めに "#" 文字を記述し続けて数字を記述する。

文字参照で使う数字は、符号化文字集合の国際規格である ISO/IEC 10646 (およびUnicode) のコード番号である。
文字参照で使うことができる数字は、十進数であるか "x" を前につけた十六進数である。
文字参照は、実体参照とは異なり、事前宣言されているわけでもなく、XML文書のDTD内部で宣言されているわけでもない。
文字参照は、簡単には符号化できない文字を表現するために使われることが多い。
例えば、欧州のコンピュータ上で作成するXML文書でアラビア語の文字を使う場合などである。
「AT&T」の例の内のアンパサンドは、この場合に似ているともいえる。
十進数の38と十六進数の26は、共に ISO/IEC 10646 の "&" 文字のコード番号である。
つまり「AT&T」はXML文書では次のように記述することができる。

<会社名称>AT&#38;T</会社名称>
<会社名称>AT&#x26;T</会社名称>

文字参照

処理命令

処理命令 (processing instruction) は、XML文書の構成要素であり、XML文書を扱うソフトウェアに対する何らかの処理を行う命令を、記述するものである。

次に処理命令の構文を示す。

<?処理命令ターゲット 処理内容?>

処理命令は ?> の文字列を除き任意の処理内容を記述することができる。
処理命令には、処理内容として擬似属性 (pseudo attribute) を記述することがある。
擬似属性は、記述のしかたが属性名と属性値のペアに似ている。
しかしXMLプロセサは擬似属性を、属性として解釈せず、処理命令の処理内容として解釈する。

擬似属性を使った処理命令の例を次に示す。
これはXML文書にカスケーディングスタイルシート (CSS) と関連づけるという処理命令である。

<?xml-stylesheet type="text/css" href="monobook.css"?>

あるXML文書内に記述された特定の処理命令について、その処理命令の意図したとおりの処理を実行するためには、そのXML文書を処理するアプリケーションソフトウェア側がその処理命令に対応する必要がある。

CDATAセクション

XML文書 （およびSGML文書） においてCDATAセクションとは、文字列データのみで構成されておりマークアップされたデータは含まれていないと、XMLプロセサが解釈するようマークされた、要素の内容を構成する文字列データの一部である。
CDATAセクションは、文字列データを表現するための単なる代替構文である。
CDATAセクションとして宣言された文字列データと、"<" と "&" を "<" と "&" で表現する通常の構文で記述した文字列データとの間に、意味的な違いはない。

CDATAセクションの構文と解釈

CDATAセクションは次の記述で始まる。

<![CDATA[

そしてCDATAセクションの内容が続き、次の記述が最初に出現したところでCDATAセクションは終わる。

]]>

CDATAセクションの内容の文字列は全て文字列データとして解釈され、マークアップや実体参照や文字参照として解釈されることはない。

次の例で「送信者」の開始タグと終了タグはマークアップとして解釈される。

<送信者>星新一</送信者>

しかし次のように記述した場合は、

<!>

次のように記述したものと同等に解釈される。

<送信者>星新一</送信者>

すなわち、「送信者」タグは「星新一」の文字列と同列に位置づけられ、いずれも文字列データとして解釈される。

文字参照 ð が要素の内容で出現した場合は、一つのUnicode文字 00F0 ("?") として解釈される。
しかしCDATAセクション内で出現した場合は、8つの文字からなる文字列として解釈される。
すなわち、アンパサンド、#マーク、文字x、数字0、数字0、文字F、数字0、セミコロンの8つの文字からなる文字列として解釈される。

整形式XML文書を書くために

整形式XML文書は、とりわけ、次に示す規則に適合しなければならない。

• 空要素ではない要素は開始タグと終了タグの両方によって境界が定められる。
• 空要素は空要素タグ （自分自身で開始タグと終了タグの2つの機能を兼ねるタグ） で記述することができる。例えば <私は空です/> のように記述することができる。この例は <私は空です></私は空です> と意味的に同等である。
• 属性値は全てシングルクォート (') かダブルクォート (") のいずれかで括る。シングルクォートで始められた属性値はシングルクォートで終わり、ダブルクォートで始められた属性値はダブルクォートで終わる。
• タグは入れ子の構造をとることができる。ただしタグがオーバーラップしてはならない。ルート要素ではない要素のおのおのは、必ず別の要素に含まれる。
• XML文書は宣言された文字符号化方式 （文字コード） にしたがって記述される。文字符号化方式は、XML文書がHTTPを介して転送される場合に "Content-Type" ヘッダをつけるように暗黙的にXML文書の外部で指定しても良いし、XML文書の内部で文書の先頭のXML宣言内で宣言しても良い。このような宣言がない場合、Unicodeの文字符号化方式が使われていると仮定される。XML文書の最初のバイトをみて、UTF-16のバイト順マークと合致すればUTF-16であると仮定する。合致しない場合はUTF-8であると仮定する。

要素の名前ではアルファベットの大文字と小文字とが区別される。
例えば、次の例は整形式である。

<Abc> ... </Abc>

しかし次の例は整形式ではない。

<ABC> ... </abc>

XML文書のスキーマを設計する際に、XMLの要素の名前を注意深く選択すると、そのスキーマに準拠したXML文書のデータの意味を、第三者に伝えるために有効であろう。
XMLの要素の名前を注意深く選択することにより、そのスキーマに準拠したXML文書は、人間にとって読みやすいものとなる。

XMLの要素と属性の名前を、体が名を表すように注意深く選択することで、人間がXML文書を読む際に、要素と属性の意味を、外部の説明文書を参照することなく、よりよく理解できるようになる。
ただしこのようにすることは、XML文書の冗長性が増えることでもある。
人によっては、XML文書を書く際の労力が増えることを、好まない場合がある。
またファイルサイズも大きくなることになる。
ただし圧縮技術をXML文書に適用してファイルサイズを小さくすることは可能である。

整形式XML文書を正確に書くためには、ここまで述べたことよりずっと多くの規則にしたがう必要がある。
例えば、XML名前空間を使うことや、XMLでの「名前」として使うことができる正確な文字集合を使って、XML文書を書くことなどである。
とはいえ、ここまで述べた整形式文書に関する概略を理解しておけば、多くのXML文書を読み理解しあるいは多くのXML文書を書くために必要な基礎は、身についたといえる。

自動的に検査する

XML文書の正当性を自動的に検査するための方法を説明する。

あるXML文書が、整形式XML文書としての条件のみを満たした文書であるか、それとも妥当なXML文書としての条件をも満たした文書であるかを、判別することは、比較的容易である。
というのも、整形式XML文書であるための規則と、XMLの妥当性検証のしくみについては、XML文書を扱うツールの移植性を考慮して設計されているからである。
この設計方針は、XML文書を扱うツールであれば、どのようなXML文書でも扱うことができるということである。

独立したツールを使い、XML文書の正当性を自動的に検査する例を示す。

• XML文書を扱えるウェブブラウザで、例えば Mozilla Firefox や Internet Explorer などで、XML文書をロードする。
• xmlwf のようなツールを使う （XMLプロセサの実装の一つである に通常は同梱されている）。
• 何らかのプログラミング言語を使って文書を構文解析する。例えばプログラミング言語Rubyでは次のようになる。

irb> require "rexml/document"
irb> include REXML
irb> doc = Document.new(File.new("test.xml")).root

XML文書の論理的構造と妥当なXML文書

妥当なXML文書について詳しく説明する。

XMLでは、要素に名前を付けることができ、階層構造をとることができ、スキーマ言語 (Document Type Definition など) により用途に沿うように定義されたスキーマを使うことで要素と属性の意味を公開し説明することができる。
XMLのこうした特徴により、目的に応じたXMLに準拠したマークアップ言語を創るための、構文的な基礎が成り立っている。

スキーマは、制約の集合を記述することにより、XML文書の構文上の規則を単に補足するのみである。
スキーマは、多くの場合、要素と属性の名前を限定し、各要素が内容とするものの階層構造を規定し、属性の内容を規定する。
例えば、「誕生日」という名前の要素では、「月」という名前の一つの要素と「日」という名前の一つの要素をもつことができ、「月」要素と「日」要素のそれぞれは文字列データのみをもつことができる。

スキーマに定義された制約には、データ型の割り当てを含むことができる場合がある。
データ型を割り当てることにより、データ型が割り当てられた情報がどのように処理できるかを、規定することができる。
例えば、「月」要素の文字列データは、そのXML文書で採用したスキーマ言語の機能に準拠して、「1」から「12」までの数字のみが妥当であるという形で、定義することができる可能性がある。
ここでスキーマ言語の (データ型に関する) 機能とは、おそらく特定の方法で形式にしたがって記述しなければならないということだけでなく、別のデータ型の値であるかのように処理されることを未然に防ぐことを、意味する。

何らかのスキーマに準拠したXML文書は、整形式であるということに加えて、妥当 (valid) であるということができる。

XMLのスキーマは、XMLの文書型 (文書の種類、文書の論理的構造) を記述したものである。
多くの場合スキーマは、その文書の構造と内容に関する制約という形で表現される。
XMLのスキーマは、XML仕様で規定されている、整形式XML文書としての基本的な制約に加え、それ以上の制約をXML文書に課すことができる。
XMLのスキーマ言語は、標準規格のものもプロプライエタリなものも含めて、こうしたスキーマを表現するという目的のもと、数多く存在している。
いくつかのスキーマ言語では、スキーマ自身をXML文書として記述する。

スキーマ言語の記述能力はスキーマ言語ごとにさまざまである。
例えばスキーマ言語の一つである Document Type Definition (DTD) では、XML文書がとるべき構造の主な規則として、そのDTDに準拠したXML文書で使うことができる要素の名前、要素の内容モデル、要素で指定できる属性の名前、属性の値のデータ型を、記述することができる。

なお、要素の内容モデルとは、要素の内容に出現可能な要素やデータとその順番、および要素の出現回数を規定したもののことをいう。

Standard Generalized Markup Language (SGML) やXMLなどの汎用的なデータ記述言語が世に出る前は、ソフトウェア設計者は、複数のプログラムの間でデータの受け渡しをするために、自分自身でファイルフォーマットを定義するか、ちょっとしたコンピュータ言語を定義しなければならなかった。
このため受け渡しするデータの詳細な仕様やその他の文書を書かなければならなかったし、文書の書き手を別途に確保しなければならないこともあった。

XMLが一定の構造をもち厳密な構文解析の規則をもつことで、ソフトウェア設計者は構文解析を標準的なソフトウェアツール (妥当性検証器、バリデータ) に任せることができる。
そしてXMLには、用途に特有の言語を開発するための一般的な、データモデル指向の枠組みがある。
このためソフトウェア開発者は、比較的高水準の抽象度において、自分たちが扱うデータの規則の開発に専念するだけでよい。

XML文書をスキーマに照らして妥当性検証を行うための、十分にテストされたツールが、数多く存在している。
XML文書をスキーマに照らして妥当性検証を行うためのツールを、妥当性検証器 (バリデータ) という。
妥当性検証器は、スキーマに表現された制約にXML文書が準拠しているかについて、自動的に妥当性検証を行う。
妥当性検証器は、XMLプロセサ (XMLパーサ) に含まれていることもあれば、XMLプロセサとは別に提供されていることもある。

これまでに述べたスキーマの使い方とは別の使い方も存在する。
例えば、XMLエディタは、XML文書の編集を支援するためにスキーマを使うことができる。
こうしたXMLエディタでは、妥当な要素名や妥当な属性名を提示することなどができる。

Document Type Definition (DTD)

Document Type Definition
XMLのための最も歴史の古いスキーマ言語は Document Type Definition (DTD、文書型定義) である。
DTDは、XMLの前身であるSGMLから引き継がれた。
DTDは XML 1.0 標準に含められているため、ほとんどあらゆるXMLプロセサがDTDを扱うことができる。
しかし2007年現在ではDTDを使うことは限定的な範囲にとどまっているようである。
その理由は次のとおりである。

• DTDではXMLで新しく開発された機能を使うことができない。特にXML名前空間を扱えないことが厳しい。
• DTDは、表現力が乏しい。DTDでは、いくつかの形式的な視点からXML文書を扱うことが、できない。
• DTDによるスキーマはXMLではない独自の構文で記述する。この構文は、XMLの前身であるSGMLから引き継いでいるという、経緯がある。XML 1.0 の制定当時はDTD以外のスキーマ言語は存在しなかった。

DTDは、現在も多くの用途で使われている。
その理由は、一定の人々にとっては、DTDは他の新しいスキーマ言語よりも読みやすく書きやすいと、考えられているからである。

XML Schema

XML Schema
XML Schema は、World Wide Web Consortium (W3C) により開発された、DTDの後継となる新しいスキーマ言語である。
非公式には、XSDと呼ばれることもある。
XSDは、XML Schema のインスタンス (スキーマ) を意味する "XML Schema Definition" の頭字語である。

XML Schema は、XMLによるマークアップ言語のスキーマの記述能力において、DTDと比べて非常に強力である。
XML Schema は、豊富なデータ型を扱うことができるスキーマ言語である。
XML文書の論理的構造について、DTDより詳細な制約を記述することができる。
そしてDTDより詳細な妥当性検証の枠組みのもとで、妥当性検証が行われる。

XML Schema はまた、XML Schema によるスキーマ自体を、XMLに準拠した形式を使って記述する。
XML Schema のスキーマ自体がXMLに準拠することで、スキーマを編集したりスキーマに何らかの処理を行うために、普通のXMLツールを使うことができるようになる。

ただし、XML Schema の妥当性検証器を実装する作業には、単にXML文書を読むことができる能力よりも、非常に多くの知識と能力を必要とする。

XML Schema に対しては賛否両論がある。
XML Schema に対する批判の一部を示す。

• XML Schema の仕様は非常に膨大な分量がある。そのため XML Schema を理解することは難しい。またそのため XML Schema の妥当性検証器を実装することも難しい。
• XML Schema でスキーマを記述する際、XMLに準拠した構文で記述する (記述しなければならない) のは、冗長である。このことが XML Schema のスキーマを理解することやスキーマを記述することを、DTDよりしんどい作業にしてしまっている。
• XML文書の構文解析をした後に行う、XML Schema のスキーマによる妥当性検証は、費用が高くつく可能性がある。特にサイズの大きいXML文書の妥当性検証を行う際には、深刻な問題になる可能性がある。
• XML Schema のデータモデリング能力は非常に限られている。属性の内容によってその要素の内容モデルを変更することはできない。
• XML Schema における型派生モデルは、非常に限られた能力しかない。特に拡張による派生は、かなり使いにくい。
• データベースと連携するためのデータ転送機能は、不可解な考え方によって実現されている。nillability (SQLデータベース用語でいうNULLに相当する状態をとることが可能であるという特性) は備えているが、出版業界の要件は満たしていない。
• key/keyref/uniqueness の機構は、データ型を考慮していない。
• スキーマ検証後インフォメーションセット (PSVI、Post Schema Validation Infoset) の概念は、標準のXML表現やアプリケーションプログラミングインタフェース (API) をもたない。このため、妥当性の再検証を行わない場合、ベンダ非依存の考え方に反する (#インフォメーションセットへの追加情報を参照)。

RELAX NG

RELAX NG
RELAX NG は、人気のあるもう一つの新しいスキーマ言語である。
最初にOASIS (構造化情報標準促進協会) で仕様が策定された。
RELAX NG は、現在ではISO (国際標準化機構) の国際標準となっている。
ISOでは、文書スキーマ定義言語 (DSDL) の一部分を構成する仕様として位置づけられている。

RELAX NG のスキーマの記述方法は、2つの形式がある。
XMLに準拠した構文 (XML構文、xml syntax) と、XMLに準拠しない短縮構文 (compact syntax) である。
短縮構文は、読みやくすることとより書きやすくすることを目指している。
ただし、短縮構文で記述されたスキーマをXML構文のスキーマに変換する方法と、その逆の変換を行う方法は、しっかり定義されているので、ジェームズ・クラークが開発した を使えば、標準のXMLツールを使う利便を享受することができる。

RELAX NG は、XML Schema よりも簡潔なスキーマ定義と簡潔な妥当性検証の枠組みを、備えている。
そのため RELAX NG は、XML Schema と比べて、使いやすく、また RELAX NG の妥当性検証器を実装することも容易になっている。

RELAX NG もまた、データ型フレームワークプラグインを使う能力を備えている。
RELAX NG でスキーマを記述する人は、例えば、XML文書で XML Schema のデータ型の定義に適合させたいと考えるかもしれない。
そして RELAX NG では、データ型フレームワークプラグインを使うことにより可能となっている。

ISO 文書スキーマ定義言語

ISO 文書スキーマ定義言語 (DSDL; Document Schema Description Languages) 標準は、小規模なスキーマ言語の広範なセットを共に提供する。
DSDL を構成する複数の仕様のそれぞれが、特定の問題に対応するために特化されている。
DSDL は、 RELAX NG のXML構文と短縮構文、スキマトロン、データ型ライブラリ言語、文字レパートリ記述言語、文書スキーマ再命名言語、名前空間に基づく検証委譲言語 (NVDL) を、含んでいる。DSDLスキーマ言語群は、XML Schemas を支持するベンダの支援は2007年の時点ではまだ受けていない。
DSDLは、出版のための機能が欠如していることに対する、出版業界の一定の草の根の反応でもある。

XML文書を検証する過程でXMLインフォメーションセットを変更することについて

1. インフォメーションセットへの追加情報

いくつかのスキーマ言語では、特定のXML文書の構造を記述する能力に加えて、個々のXML文書をその特定のXML文書構造に適合するように変換する機能も、限定的ながら備えている。

DTDと XML Schema はこの変換機能を備えている。
DTDと XML Schema では、XML文書に属性の既定値を与えることができる。
RELAX NG とスキマトロンは、意図的にこの機能を外している。
例えば、XMLインフォメーションセットを正確に扱うことが、RELAX NG とスキマトロンの仕様策定時に変換機能を外した理由の一つである。

XML文書を視覚的に表示する

XML文書を視覚的に表示するための方法を説明する。

XML文書は、その文書の内容をどのように視覚的に表示するかという情報を、含んでいない。
Cascading Style Sheets (CSS) や Extensible Stylesheet Language (XSL) のようなXMLのためのスタイルシート言語を使うのでなければ、ほとんどのウェブブラウザは普通のXML文書を生のXMLテキストとして描画する。
いくつかのウェブブラウザは「ハンドル」をつけて表示する (例えば、余白に + と - の符号を表示する)。
ハンドルを使うことにより、XML文書構造の部分木を、マウスクリックで展開したり折りたたんだりすることができる。

CSSを使ってウェブブラウザでXML文書を描画するためには、XML文書は次のような要領でスタイルシートへの参照を含めなければならない (XMLの処理命令を使ってスタイルシートを使って描画する旨を指定している)。

<?xml-stylesheet type="text/css" href="myStyleSheet.css"?>

この方法は、HTML文書におけるスタイルシート指定の方法とは異なる。
HTML文書では <link/> 要素を使ってスタイルシートを指定する。

XML文書を視覚的に表示するために、Extensible Stylesheet Language (XSL、拡張可能なスタイルシート言語) を使うこともできる。
XSLを使う場合は、XML文書をXHTML/HTML文書の構造に変換するか、もしくはウェブブラウザで視覚的に表示することができる他の文書の構造に変換する。

クライアント側で XSL Transformations (XSLT) のスタイルシートを指定するためには、XML文書に次のようにXSLTスタイルシートへの参照を含めることが、必要である (XMLの処理命令を使って実現している)。

<?xml-stylesheet type="text/xsl" href="myTransform.xslt"?>

クライアント側のXSLTスタイルシート処理機能は、現在では多くのウェブブラウザが備えている。

別の方法として、このようなエンドユーザのウェブブラウザの能力に依存する方法を採らずに、サーバ側でXSLを使ってXML文書を視覚化可能な形式に変換する方法も、行われている。
エンドユーザは、「舞台の裏側で」何が行われているかを、意識する必要はない。
エンドユーザが目にするものは、よく整形され視覚化された文書だけである。

XMLの拡張

XMLを拡張する技術を説明する。

XML Path Language (XPath)

XML Path Language (XPath) を使うと、XML文書の個々の部分を参照することができるようになる。XPathは、XSLT、XSL-FO、XQuery などの他の技術に対して、XML文書のデータに対するランダムアクセスを行う機能を、提供する。XPathで記述された式は、XML文書を構成するXML要素、属性、処理命令、コメントなどの内側の、テキスト、データ、値を参照することができる。XPathの式は、要素の名前と属性の名前にアクセスすることもできる。Xpathは、妥当なXML文書に対しても、整形式XML文書に対しても、使うことができる。また名前空間が定義されたXML文書に対しても、名前空間が定義されていないXML文書に対しても、使うことができる。

XML Inclusions (XInclude)

XML Inclusions (XInclude) の仕様は、XML文書内に外部ファイルの全内容もしくは外部ファイルの一部の内容を含める機能を、定義している。XML文書においてXIncludeの処理が終了すると、XInclude処理終了後のXMLインフォメーションセットにはXIncludeの要素はなく、XIncludeの要素の代わりにそこに外部の文書もしくは文書の一部の複製が、最終的なインフォメーションセットに含まれている。XIncludeでは、外部文書の一部をXML文書に含める際に、外部文書の複製対象の領域を参照するためにXPathを使っている。

XQuery

XQueryは、XMLにおいて、関係データベースにとってのSQLやPL/SQLに相当する、問い合わせ言語としての機能を提供する。XML文書にアクセスし、XML文書を操作 (編集) し、その結果をXML文書の形で返す。

XML名前空間 (Namespaces in XML)

XML名前空間 (Namespaces in XML) を使うことで、同一のXML文書内で異なる複数のボキャブラリ (スキーマ) に由来する要素と属性を、名前の衝突を発生させることなく、含めることができる。後述する。

XML Signature

XML Signature の仕様は、XML文書の内容に対して電子署名を生成するための構文と処理規則を定義する。

XML Encryption

XML Encryption の仕様は、XML文書の内容に対して暗号化を行うための構文と処理規則を定義する。

XML Pointer Language (XPointer)

XML Pointer Language (XPointer) は、XMLに基づいたインターネットメディアのコンポーネントを指し示す体系である。

MIMEタイプ

XML文書はさまざまなMIMEタイプで配布することができる。
RFC 3023 は、"application/xml" および "text/xml" のMIMEタイプを定義する。
"application/xml" と "text/xml" のMIMEタイプは、そのデータがXML文書の形式をとっているということのみを述べているだけであり、そのXML文書の論理的構造については何も述べていない。
"text/xml" を使うことに対しては、符号化に関する問題が生じる可能性があるとの批判があり、現在では非推奨とされている。RFC 3023 では、加えて、XML文書を "application/" で始まり、"+xml" で終わるMIMEタイプで配布することを勧めている。
例えば、AtomのXMLデータに対しては、"application/atom+xml" のMIMEタイプで配布するのである。

XML名前空間

XML名前空間 (Namespaces in XML) は、一つXML文書内で、異なる複数のボキャブラリ (スキーマ) に由来する要素と属性を、名前の衝突を発生させることなく、含めることができるようにするための仕様である。
World Wide Web Consortium (W3C) から、1999年1月14日に Namespaces in XML 1.0 が勧告された。
XML文書に異なる複数のボキャブラリに由来する要素と属性を含める場合、ボキャブラリのそれぞれに名前空間をわりあてることにより、要素名の衝突と属性名の衝突の問題を、解決することができる。

一つの名前空間において定義された要素の名前は、一意でなければならない。

顧客への参照と注文された商品への参照を含む、簡単なXML文書の例を考える。
顧客要素と商品要素は、ともに「識別番号」という名前の子要素をもつことがあるだろう。
識別番号要素への参照は、顧客要素の子要素の識別番号要素も、商品要素の子要素の識別番号要素も、同じ要素名をもつので、あいまいである。
しかし2つのボキャブラリを区別する2つの名前空間のもとで、識別番号要素を使う場合、顧客要素の子要素の識別番号要素と、商品要素の子要素の識別番号要素は、意味的に明確に異なる2種類の要素となる。

名前空間の宣言

名前空間は、XMLの予約属性である xmlns を使って宣言される。
xmlns属性の属性値はIRI (Internationalized Resource Identifier) である必要があり、通常はURI (Uniform Resource Identifier) である。

例を示す。

xmlns="http://www.w3.org/1999/xhtml"

この例の "http://www.w3.org/1999/xhtml" を名前空間名という。
ここで注意すべきこととしては、名前空間の宣言で記述されたURIは、実際にインターネット上の住所として解釈されるわけではないということである(自由に考えよう、URIほど便利なものが必ずインターネットのアドレスをささなければいけないなどと、誰が決めたのか)。
例えば、自体には何のコードもない。
このURIの文書では、人間の読者に対してXHTMLについて簡単に説明しているだけである。
("http://www.w3.org/1999/xhtml" のような) URIを名前空間の識別子として使うことで、("xhtml" のような) 単純な文字列を名前空間名として使うよりも、異なる名前空間が意図せずして同じ名前空間名を使ってしまう危険性を低減する。
名前空間の識別子は、ウェブの住所 (アドレス) の慣習にしたがう必要はない。

名前空間の宣言は、短い接頭辞を含むことができる。
この名前空間接頭辞を使うことで、異なるボキャブラリに由来する要素と属性を識別することができる。

名前空間接頭辞を使う例を示す。

xmlns:xhtml="http://www.w3.org/1999/xhtml"

XML名前空間を使ったXML文書の例を示す。

<?xml version="1.0" encoding="UTF-8"?>
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0" xmlns="http://www.w3.org/1999/xhtml">
 <xsl:template match="/社員名簿">
  <html>
   <head>
    <title>XML文書をXHTML文書に変換する例</title>
   </head>
   <body>
    <h1>社員名簿</h1>
    <ul> 
     <xsl:apply-templates select="社員">
      <xsl:sort select="姓"/>
     </xsl:apply-templates>
    </ul>
   </body>
  </html>        
 </xsl:template>
 <xsl:template match="社員">
  <li>
   <xsl:value-of select="姓"/> <xsl:value-of select="名"/>
  </li>        
 </xsl:template>
</xsl:stylesheet>

このXML文書は、次の2つの名前空間のボキャブラリから構成されている。

• XSLTのボキャブラリ: xslの名前空間接頭辞をもち、名前空間名は "http://www.w3.org/1999/XSL/Transform"。
• XHTMLのボキャブラリ: 名前空間接頭辞をもたないデフォルトの名前空間であり、名前空間名は "http://www.w3.org/1999/xhtml"。

なおこのXML文書は、あるXML文書をXHTML文書に変換するXSLTスタイルシートである。

XML名前空間を使う場合、そのXML名前空間のボキャブラリが定義されていることが必要であるわけではない。
しかしXML文書でXML名前空間を使う場合に、そのXML名前空間のボキャブラリを定義しておくことは、そのXML名前空間のURIのもとで正しい文書構造を定義しているスキーマに関連づけるために、行われることが多い。

XML文書をプログラムで処理する

プログラマやアプリケーションソフトウェアがXML文書を処理する手段としては、これまで次に示す3つの技法が伝統的に使われてきた。
なお、この節の説明で使うAPIとはアプリケーションプログラミングインタフェースのことをさす。

• プログラミング言語と SAX API を使う。
• プログラミング言語と DOM API を使う。
• 変換エンジンとフィルタを使う。

さらに、近年に開発され使われるようになった、XML文書を処理する技法を示す。

• Pull Parsing
• データバインディング

Simple API for XML (SAX)

Simple API for XML
Simple API for XML (SAX) は、字句解析を行いイベント駆動で処理を行う API である。
SAXを使うとXML文書は文書の最初から順次読み込まれ、その内容はプログラマが実装したハンドラオブジェクトの様々なメソッドへのコールバックとして報告される。
SAXを使ったXML文書処理は高速であり、少ないコンピュータ資源を効率的に使って非常にサイズの大きいXML文書を処理することが可能である。

SAXを使うことに伴う問題は、XML文書に対してランダムアクセスを行って情報を取り出すことが難しいことである。
そのため、SAXを使うに際し、プログラマはXML文書のどの部分が現在処理対象となっているか把握する為の機構を実装しなければならない。

SAXは、処理対象となるXML文書中のある種類の情報がどの部分に出現するかに依らず、常に同じように処理されると保証できる場合に用いるのが望ましい。

Document Object Model (DOM)

Document Object Model
Document Object Model (DOM) は、インタフェース指向のAPIであり、XML文書のおのおのの部分を表現する節オブジェクトの集まりからなる木構造であるかのように、XML文書全体に対してナビゲーションを行うことを想定している。
DOMでは、XML文書に対してランダムアクセスを行って情報を取り出すことが、簡単にできる。

DOMにおけるXML文書全体に相当する Document オブジェクトは、XML文書をXMLプロセサが処理することにより生成することもできるし、プログラマがプログラミングすることによって生成することもできる。
DOMにおける Node (節) のさまざまな型のデータ型は、DOM仕様においては抽象的にインタフェースとして定義されている。
Node のデータ型の実装は、プログラミング言語に固有の言語バインディングを提供する。
DOMの実装は、サイズの大きいXML文書を扱う場合はたくさんのメモリを使う。
なぜならDOMの実装は、一般的にはXML文書全体からオブジェクトの木構造を構築してメモリにロード (展開) し、その後にDOMを介した処理をできるようにしているからである。

Javaでは、標準ライブラリを構成するいくつかのパッケージでDOMが実装されており、Javaのプログラマは標準ライブラリのDOMを使うことができる。
DOMの仕様は、World Wide Web Consortium (W3C) で策定されているため、DOMで中核をなす Node やDocument などのインタフェースや、直列化 (出力) などの機能を提供するためのインタフェースは、パッケージ org.w3c.dom.* に収められている。

• XMLが表現形式として採用している階層型モデルは、関係モデルやオブジェクト指向グラフと比べると制限が大きい

固定的な階層構造を採用することに伴ういくつかの制限について議論する。2002年12月にシンガポールで開催された 5th International Conference on Asian Digital Libraries, ICADL 2002 の議事録より。。

• オーバーラップする (階層構造ではない) 節 (ノード) の関連を表現するには、余分な努力が必要であるオーバーラップする要素を表現する代替システムを提案する。。
• XML名前空間を使うことには問題がともなう。名前空間を正しく扱うXMLプロセサを実装することは、難しい作業になる可能性がある。
• XMLは、「自己文書化」として表現されることが多い。しかしこの表現では、重大なあいまいさがあることを考慮していない。
• XML文書における内容と属性の区別は、一定の人々にとっては不自然に感じられる。XMLのデータ構造の設計を難しくする要因となっている。("8. Complexity: Attributes and Content" を参照)