XML, W3C himayesi altında 1996 yılında kurulan (öncülü SGML Editorial Review Board olarak bilinen) bir XML Çalışma Grubu tarafından geliştirilmiştir. XML Çalışma Grubu, Sun Microsystems'tan Jon Bosak başkanlığında W3C tarafından ayrıca örgütlenen bir XML Özel İlgi Grubunun etkin katılımıyla kuruldu. XML Çalışma Grubunun üyeleri bir ek bölümde listelenmiştir. Çalışma Grubunun W3C ile iletişimi Dan Connolly tarafından sağlanmıştır.

XML için tasarım hedefleri:

Bu belirtim, ilgili standartlarla birlikte, XML &versionOfXML;'ı anlamak ve üzerinde işlem yapacak bilgisayar programlarını oluşturmak için gerekli tüm bilgiyi sağlar (ilgili standartlar: karakterler için Unicode ve ISO/IEC 10646 , dil betimleme yaftaları için RFC 3066 , dil isimlerinin kodları için ISO 639 ve ülke isimlerinin kodları için ISO 3166 ).

XML belirtiminin bu sürümü, metnin tamamı ve yasal uyarıları aynen korunduğu takdirde özgürce dağıtılabilir.

XML belgeleri açıklamakta kullanılan terminoloji bu belirtim boyunca tanımlanmıştır. Bu çeviride, vurgulandıklarında, ZORUNLU, ÖNERİ ve SEÇİMLİK anahtar sözcükleri 'un Türkçe çevirisinde açıklandığı gibi yorumlanır. Ayrıca, aşağıdaki listede tanımlanan terimler, XML belgeleri açıklamakta kullanılan terminolojiyi oluşturmak ve bir XML işlemcinin eylemlerini açıklamakta kullanılır:

Bir metin nesnesinin iyi biçimli bir XML belge olması için:

Bir XML belgenin belge sözdizimiyle eşleşmesi için:

Bunun bir sonucu olarak, belgedeki, kök eleman olmayan her C elemanı için, onu içeren bir P elemanı vardır. P'ye C'nin ebeveyni olarak atıf yapılırken C'ye P'nin çocuğu olarak atıf yapılır.

Bir çözümlenmiş öğe, karakter veriler yanında imlenimi de göstermekte kullanılan karakterlerden oluşan bir dizi olarak bir metin içeriğe sahiptir. Bir karakter ISO/IEC 10646:2000 tarafından belirtildiği gibi metnin bir atomsal birimidir. Geçerli karakterler sekme, satırsonu, satırbaşı ile Unicode ve ISO/IEC 10646'nın geçerli karakterleridir. Standartların bu belge hazırlandığı sırada geçerli olan sürümlerinden bölümünde bahsedilmiştir. Bu standartların düzeltmelerinde ve eklerinde yeni karakterler eklenebilir. Sonuçta, XML işlemcilerin Kark için belirtilen aralıktaki her karakteri kabul etmeleri ZORUNLUdur.

Karakter kodlarını bit kalıpları halinde kodlayan mekanizmalar öğeden öğeye değişiklik gösterebilir. Tüm XML işlemcilerinin Unicode 3.1'in UTF-8 ve UTF-16 kodlamalarını kabul etmesi ZORUNLUdur; bu ikisini işaret eden kullanımdaki mekanizmalar ile diğer kodlamaları oyuna dahil eden mekanizmalar bölümünde açıklanmıştır.

Bu bölümde dilbilgisi içinde geniş çapta kullanılan simgeler tanımlanmaktadır.

B (boşluk karakterleri) bir veya daha fazla boşluk (#x20), sekme (#x9), satırsonu (#xA) veya satırbaşı (#xD) karakterinden oluşur.

Karakterler kolaylık olsun diye harfler, rakamlar ve diğer karakterler şeklinde sınıflanmıştır. Bir harf, bir alfabetik karakter olabileceği gibi, kök hece karakteri veya bir kavramı simgeleyen karakter olabilir. Her sınıfa özgü karakterlerlerin tam dökümü bölümünde verilmiştir.

Bir Ad, bir harf veya bir kaç noktalama iminden biri ile başlar ve isim karakterleri adı verilen, harfler, rakamlar, tire, altçizgi, ikinokta veya nokta imleri ile devam eder. xml dizgesi ile veya (('X'|'x') ('M'|'m') ('L'|'l')) ile eşleşen herhangi bir dizge ile başlayan adlar, bu belirtimin bu ve gelecek sürümlerinde standartlaşım adına ayrılıp kayıt altına alınmıştır.

Bir ad dizgeciği isim karakterlerinin bir karışımıdır.

Dizgesel sabitler, tırnak içine alınmış, içinde ayraç olarak tırnak imlerinin kullanılmadığı bir dizgedir. Dizgesel sabitler, dahili öğelerin (ÖğeDeğeri), öznitelik değerlerinin (ÖznitDeğeri) ve harici belirteçlerin (SistemSabiti) içeriğini belirtmekte kullanılırlar. Bir SistemSabitinin imlenim taranmaksızın çözümlenebileceğine dikkat ediniz.

Bir Metin imlenim ile karakter verisinin karışımından oluşur. İmlenim ise, başlangıç etiketleri, bitiş etiketleri, boş eleman etiketleri, öğe gönderimleri, karakter gönderimleri, açıklamalar, CDATA bölümü ayraçları, belge türü bildirimleri, işlem yönergeleri, XML bildirimleri, metin bildirimleri ve belge öğesinin tepe seviyesindeki (yani, belge elemanının ve herhangi bir başka imlenimin dış tarafındaki) boşluk karakterleriyle şekillenir.

İmlenim dışındaki tüm metin belgenin karakter verisini oluşturur.

Ve imi (&) ve açılı sol ayraç (<), bir açıklama, bir işlem yönergesi veya CDATA bölümü içinde veya birer imlenim ayracı olarak kullanılmaları dışında, birer dizge sabiti biçiminde görünmemelidirler ZORUNLU. Böyle bir durumda, ya sayısal karakter gönderimleri ya da sırasıyla & ve < dizgeleri olarak görünmelidirler ZORUNLU. Açılı sağ ayraç (>), > dizgesi kullanılarak gösterilebilirse de, uyumluluk için içerik içinde ]]> dizgesi bir CDATA bölümünün sonunu işaret etmiyorsa, dizge içinde bir karakter gönderimi veya > kullanılarak gösterilmelidir ZORUNLU.

Karakter verisi elemanların içeriğinde, imlenim başlatma karakterini ve CDATA bölümü kapama ayracı olan ]]> dizgesini içermeyen bir karakter dizgesidir. Karakter verisi CDATA bölümünde, CDATA bölümü kapama ayracı olan ]]> dizgesini içermeyen bir karakter dizgesidir.

Öznitelik değerlerinin tek ve çift tırnakları içermesini sağlamak için, tek tırnak karakteri ('), ' ile ve çift tırnak tarakteri ("), " ile gösterilebilir.

Açıklamalar bir belge imlenim dışında her yerde bulunabilir; ek olarak, belge türü bildiriminin içinde dilbilgisi kurallarının izin verdiği yerlerde bulunabilir. Açıklamalar belgenin karakter verisinin bir parçası değillerdir; bir XML işlemci, bir uygulamanın açıklamaların metnini almasını mümkün kılmak için açıklamaları karakter verisinin bir parçası olarak değerlendirebilir SEÇİMLİK, fakat bu gerekli değildir. Uyumluluk için, -- (çift tire) dizgesi açıklamaların içinde bulunmamalıdır ZORUNLU. Parametre öğelerine gönderimler, açıklamaların içinde tanınır olmamalıdır ZORUNLU.

Bir açıklama örneği:

Açıklama sözdiziminin, bir açıklamanın ---> ile bitmesine izin vermediğine dikkat ediniz. Bu bakımdan aşağıdaki örnek iyi biçimli değildir.

İşlem yönergeleri (İng: Processing Instruction) belgelerde uygulamaya yönelik yönergelerin bulunmasını sağlar.

İşlem yönergeleri belgenin karakter verisinin bir parçası değillerdir, ama uygulamaya aktarılmaları gerekir ZORUNLU. İşlem yönergesi, yönergenin yönlendirildiği uygulamayı betimlemekte kullanılan bir hedefle (PIHedefi) başlar. XML, xml, ve benzerleri, bu belirtimin bu veya gelecek sürümlerinin standartlaşımı için ayrılıp kayıt altına alınmıştır. İşlem yönergelerinin biçimsel bildirimi için XML Gösterim mekanizması kullanılabilir. Parametre öğelerinin gönderimleri işlem yönergeleri içinde tanınır olmamalıdır ZORUNLU.

CDATA bölümleri karakter verisinin her yerinde yer alabilir; imlenim olarak tanınmaması gereken karakterleri içeren metin bloklarını sarmalamakta kullanılır. CDATA bölümleri <![CDATA[ dizgesi ile başlar ve ]]>dizgesi ile biter:

Bir CDATA bölümünün içinde sadece CDATABitiş dizgesi imlenim olarak tanınır, dolayısıyla açılı sol ayraç ve ve-imi bölüm içinde birebir yer alabilir; < ve & biçiminde olmaları gerekmez (gerekmemeli). CDATA bölümleri birbirlerinin içinde bulunamazlar.

<greeting> ve </greeting> etiketlerinin imlenim olarak değil, karakter verisi olarak ele alındığı bir CDATA bölümü örneği:

XML belgelerin kullanılan XML sürümünün belirtildiği bir XML bildirimi ile başlamaları ÖNERİlir. Örneğin, aşağıdaki eksiksiz bir XML belgesidir, iyi biçimlidir ama geçerli değildir:

keza bu da:

Bir XML belgedeki imlenimin işlevi belgenin saklatım ve mantıksal yapısını tanımlamak ve öznitelik isim-değer çiftlerini belgenin mantıksal yapısıyla ilişkilendirmektir. XML, mantıksal yapının kurallarını tanımlamak ve önceden tanımlanmış saklatım birimlerinin kullanımını desteklemek için belge türü bildirimi denen bir mekanizma sağlar. Bir XML belge, bir ilişkili belge türü bildirimine sahipse ve kendi içinde ifade edilen kurallara uygunsa, geçerlidir.

Belge türü bildiriminin belgedeki ilk elemandan önce yer alması ZORUNLUdur.

XML belge türü bildirimi bir belge sınıfı için dilbilgisi sağlayan imlenim bildirimlerini içerir veya bunları işaret eder. Bu dilbilgisi, belge türü bildirimi veya DTD (Document Type Definition kısaltması) olarak bilinir. DTD, imlenim bildirimlerini içeren bir harici altkümeyi (özel bir harici öğe çeşidi) işaret edebileceği gibi imlenim bildirimlerini bir dahili altküme olarak içerebilir veya her ikisini birden yapabilir.

Bir imlenim bildirimi ya bir öznitelik listesi bildirimi ya bir öğe bildirimi ya da bir gösterim bildirimidir. Bu bildirimler, aşağıda iyi biçimlilik ve geçerlilik kurallarında açıklandığı gibi tamamen veya kısmen parametre öğelerinde yer alabilirler. Daha fazla bilgi için bölümüne bakınız.

Yalnız dikkat edin, bir iyi biçimli belge belgetürübild içinde ya bir harici altkümeyi işaret etmeli ya bir dahili bir altkümeyi içermeli veya ikisini de yapmalıdır. Hiçbirinin olmaması iyi biçimlilik için olası değildir.

İmlenim bildirimleri tamamen veya kısmen parametre öğelerinin ikame metni içinde yer alabilir. Bu belirtimdeki tek tek tanım terimlerinin (elemanBild, ÖznitListBild, vs.) bundan sonraki sözdizimi tanımları, tüm parametre öğeleri içerildikten sonraki bildirimleri tanımlayacaktır.

Parametre öğesi gönderimlerinden dizgesel sabitlerin, işlem yönergelerinin, açıklamaların ve yoksayılan şart bölümlerinin (bkz, ) içinde olanlar hariç, kalan hepsi DTD (dahili ve harici altkümeler ile harici parametre öğeleri) içinde her yerde tanınırlar (anlamlarını korurlar). Ayrıca, öğe değeri dizgesel sabitlerinde de tanınırlar. Parametre öğelerinin dahili altkümelerde kullanımı aşağıda açıklandığı gibi kısıtlanmıştır.

Dahili altküme gibi, bir BildAyr içinden gönderimde bulunulan bir harici altküme ve her harici parametre öğesi, boşluklar veya parametre öğesi gönderimleri arasına serpiştirilmiş imlenimBild tanım terimi tarafından izin verilen türlerdeki bir dizi eksiksiz imlenim bildiriminden oluşmalıdır. Harici altkümenin veya bu harici parametre öğelerinin içeriği kısmen şart bölümü oluşumu kullanılarak şartlı olarak yoksayılabilir; buna dahili altkümede izin verilmez ama dahili altkümeden atıf yapılan harici parametre öğelerinde izin verilir.

Harici altküme ve harici parametre öğeleri, dahili altkümedekilerden, parametre öğesi gönderimlerine imlenim bildirimlerinin arasında değil, içinde izin veriliyor olmasıyla da ayrıca farklıdırlar.

Belge türü bildirimine sahip bir XML belge örneği:

Sistem belirteci hello.dtd, belge için bir DTD adresi (veya bir tanım-yeri başvurusu) vermektedir.

Bildirimler bu örnekteki gibi yerel olarak da yapılabilir:

Harici ve dahili altkümelerin her ikisi de kullanılmışsa, dahili altküme, harici altkümeden önceymiş gibi ele alınmalıdır ZORUNLU. Bu, dahili altkümedeki öğe ve öznitelik listesi bildirimlerinin harici altkümedekilerden öncelikli olması demektir.

XML işlemci tarafından uygulamaya aktarıldığından imlenim bildirimleri belge içeriğini etkileyebilir; örneğin, özniteliklerin öntanımlıları ve öğe bildirimleri. XML bildiriminin bir bileşeni olarak karşımıza çıkabilen tekbaşına belge bildirimi, belge öğesine veya parametre öğelerine harici bildirim olarak görünen bildirimlerin olup olmadığını bilgisini taşır. Bir harici imlenim bildirimi harici altkümede veya bir parametre öğesinin (dahili veya harici) içinde bulunan bir imlenim bildirimidir (geçerlilik sınaması yapmayan XML işlemciler parametre öğelerini de okumadıklarından bunlarda listeye dahildir).

Bir tekbaşına belge bildiriminde yes değeri, XML işlemciden uygulamaya aktarılan bilgiyi etkileyen hiçbir harici imlenim bildirimi olmadığı anlamına gelir. yes değeri ise böyle harici bildirimlerin olduğunu veya olabileceğini belirtir. Tek başına belge bildiriminin sadece harici bildirimlerin varlığının belirtisi olduğuna; bir belgede, harici öğelere gönderimlerin varlığının, bu öğeler dahili olarak bildirildiğinde belgenin tekbaşınalık halini etkilemeyeceğine dikkat ediniz.

Eğer hiçbir harici imlenim bildirimi yoksa, tekbaşına belge bildiriminin hiçbir anlamı yoktur. Eğer harici imlenim bildirimleri varsa fakat tekbaşına belge bildirimi yapılmamışsa değerin no olduğu varsayılır.

standalone="no" bildirimli bir XML belgesi, bazı ağ üzerinden teslimat uygulamaları tarafından talep edilmesi nedeniyle, algoritmik olarak bir tekbaşına belgeye dönüştürülebilir.

Tekbaşına belge bildirimli bir XML bildirimi örneği:

İmlenimden bağımsız olarak okunabilirliği arttırmak için XML belgeler düzenlenirken boşluk karakterleri (boşluklar, sekmeler, boş satırlar) bol bol kullanılır. XML belgenin dönüşeceği belgede böyle boşlukların istenmediği ve/veya özellikle korunmasının istendiği içerikler (şiir, kaynak kod gibi) olacaktır.

Bir XML işlemcinin imlenime ait olmayan tüm karakterleri uygulamaya aktarması ZORUNLUdur. Ayrıca, bir geçerlilik denetimi yapan XML işlemcinin bu karakterlerin eleman içeriğinde bulunan boşluk karakterlerinden olup olmadıkları konusunda da uygulamayı bilgilendirmesi ZORUNLUdur.

İçeriğindeki boşlukların korunması gereken elemanlar bunu uygulamaya, xml:space adlı özel bir öznitelikle bildirebilirler. Geçerli belgelerde, bu özniteliklerin, diğerleri gibi kullanıldıkları takdirde bildirilmeleri ZORUNLUdur. Bildirilirken, değeri bir sayısı sabit tür olarak, default ve preserve değerlerinden biri veya ikisiyle birden bildirilmelidir. Örnek:

default değeri, bu eleman için uygulamaca kabul edilen boşluk karakterleri işleme kipinin uygun olacağını; preserve değeri ise, uygulamanın boşluk karakterlerinin oluşturduğu boşlukları korumasının istendiğini belirtir. Bildirilen isteğin, elemanın içeriğindeki tüm elemanlara (onlarda ayrıca birer xml:space özniteliği bulunmadıkça) uygulanacağı varsayılır. Bu belirtim xml:space özniteliğine default ve preserve dışında anlamlı bir değer atamaz. Başka değerlerin belirtilmesi bir hatadır; XML işlemci hatayı raporlayabileceği gibi SEÇİMLİK, öznitelik belirtimini yoksayarak veya hatalı değeri uygulamaya raporlayarak hatadan kurtulabilir SEÇİMLİK. Uygulamalar hatalı değerleri reddedebilir veya yoksayabilir.

Bir belgenin kök elemanının, bu öznitelik için bir değer sağlanmadıkça veya öznitelik bir öntanımlı değerle bildirilmiş olmadıkça, uygulamanın boşluk işleme ile ilgili olarak uygulamaya hiçbir istek bildirmek zorunda olmadığı varsayılır.

XML çözümlü öğeleri genellikle, düzenleme kolaylığı bakımından satırlar halinde düzenlenmiş dosyalardan oluşur. Bu satırlar genellikle satırsonu (#xA) ve satırbaşı (#xD) karakterlerinin biri veya ikisi kullanılarak birbirlerinden ayrılırlar.

Uygulamaların görevlerini basitleştirmek için XML işlemci girdideki harici çözümlenmiş öğelerde (belge öğesini de içererek) bulunan tüm satırsonları, girdi çözümlenmeden önce, iki karakterlik #xD #xA dizilimi ve ardından bir #xA gelmeyen #xD karakteri tek bir #xA karakterine dönüştürülerek normalleştirilmiş gibi davranmalıdır ZORUNLU.

Belge işlemede genellikle, içeriğin yazıldığı doğal ve biçimsel dili bilmek yararlıdır. Bir XML belgedeki elemanların öznitelik değerlerinde ve içeriğinde kullanılan dili belirtmek için belgeye xml:lang isimli özel bir öznitelik yerleştirilebilir. Geçerli bir belgede bu özniteliğin, diğerleri gibi, kullanılmışsa bildirilmiş olması ZORUNLUdur. Özniteliğin değeri olarak (Dil Tanıtım Yaftaları) veya bir ardılı tarafından tanımlanmış dil belirteçlerinden biri veya boş dizge belirtilebilir.

(33'ten 38'e kadar olan tanım terimleri silindi.)

Örnek:

xml:lang tarafından belirtilen dil, belirtildiği elemana (özniteliklerinin değerleri dahil) ve içindeki tüm elemanlara (xml:lang belirtilmiş iç elemanlar hariç) uygulanır. Özellikle, B elemanını kapsayan bir A elemanındaki bir xml:lang belirtimi, B elemanındaki xml:lang özniteliğinde başka bir dil belirtmeksizin, boş değer belirterek, B elemanı için değiştirilebilir. B elemanının içeriği, sanki üstküme elemanlarında veya kendisinde hiç xml:lang belirtilmemiş gibi hiçbir dil içeriğiyle ilişkilendirilmez. Uygulamalar, hangi elemanların öznitelik değerlerinin ve hangi içerik parçalarının, belirtildiği takdirde, xml:lang ile belirtilen dile bağlı olarak ele alınacağını kendileri saptar.

xml:lang için basit bir bildirim şöyle olabilir:

Ancak, eğer uygunsa, özel öntanımlı değerler ayrıca verilebilir. İngiliz öğrenciler için Fransız şiirlerinin bir kolleksiyonu ile İngilizce olan tefsirler ve notlar xml:lang özniteliği şöyle bildirilebilir:

Boş olmayan her XML elemanının başlangıcı bir başlangıç etiketi ile imlenir.

Başlangıç ve bitiş etiketindeki Ad, elemanın türünü verir. Ad-ÖznitDeğeri çiftine elemanın öznitelik belirtimi, her çiftteki Ada öznitelik adı ve ÖznitDeğeri (' veya " ayraçları arasındaki metin) içeriğine de öznitelik değeri denir. Bir başlangıç etiketindeki veya bir boş etiketteki öznitelik belirtimlerinin sırasının önemsizliğine dikkat ediniz.

Bir başlangıç etiketi örneği:

Bir başlangıç etiketi ile başlayan her elemanın sonu, başlangıç etiketinde belirtilen eleman türünü yansıtan ismi içeren bir bitiş etiketi tarafından imlenir:

Bir bitiş etiketi örneği:

Başlangıç ve bitiş ekiketleri arasındaki metine elemanın içeriği denir:

Hiç içeriği olmayan eleman boştur. Bir boş eleman ya bir başlangıç etiketinin hemen ardına bir bitiş etiketi yerleştirerek ya da bir boş eleman etiketi ile gösterilir. Bir boş eleman etiketi özel bir biçime sahiptir:

Boş eleman etiketi EMPTY anahtar sözcüğüyle bildirilmiş olsun ya da olmasın hiçbir içeriğe sahip olmayan her eleman için kullanılabilir. Birlikte çalışabilirlik için, boş eleman etiketi sadece ve sadece EMPTY bildirimli elemanlar için kullanılmalıdır ÖNERİ.

Boş eleman örnekleri:

XML belgenin eleman yapısı, geçerlilikle ilgili amaçlara yönelik olarak, eleman türü ve öznitelik listesi bildirimleri kullanılarak kısıtlanabilir. Bir eleman türü bildirimi elemanın içeriğini kısıtlar.

Eleman türü bildirimleri çoğunlukla elemanın çocukları olan eleman türlerini kısıtlar. Seçim kullanıcının olmak üzere, bir XML işlemci, bir bildirimin hakkında hiçbir bildirimin yapılmadığı bir elemanı içermesi ama bunun bir hata olmaması durumunda bir uyarı verebilir SEÇİMLİK.

Bir eleman türü bildiriminin biçimi:

Burada Ad bildirdiği elemanın türüdür.

Eleman türü bildirimi örnekleri:

Öznitelikler isim-değer çiftlerini elemanlarla ilişkilendirmek için kullanılmalıdır. Öznitelik belirtimleri başlangıç etiketleri ve boş eleman etiketleri dışında gözükmemelidir ZORUNLU; bu nedenle, bunları eşleştirmek için bölümündeki sözdizimi tanımları kullanılır. Öznitelik listesi bildirimlerinin kullanım yerleri:

Öznitelik listesi bildirimleri ile ad, veri türü ve belli bir eleman türü ile ilişkili öznitelikler için (varsa) öntanımlı değer belirtilir:

ÖznitListBild sözdizimi tanımındaki Ad bir eleman türüdür. Seçim kullanıcının olmak üzere, bir XML işlemci, eğer bir öznitelik, bildirilmemiş bir eleman türü için bildirilmişse uyarı verebilir SEÇİMLİK, fakat bu bir hata değildir. ÖznitListBild sözdizimi tanımındaki Ad özniteliğin ismidir.

Bir eleman türü için birden fazla ÖznitListBild varsa bunların içerikleri birleştirilir. Bir eleman türünün aynı özniteliği için birden fazla bildirim varsa, ilk bildirim dışındakiler yok sayılır. Birlikte çalışabilirlik için, DTD yazarları belli bir eleman türü için en fazla bir öznitelik listesi bildirimi, bir öznitelik listesi bildirimindeki belli bir öznitelik ismi için en fazla bir öznitelik tanımı ve her öznitelik listesi bildiriminde en az bir öznitelik tanımı yapmayı tercih edebilir. Birlikte çalışabilirlik için, seçim kullanıcının olmak üzere, bir XML işlemci, bir eleman türü için birden fazla öznitelik listesi bildirimi veya bir öznitelik için birden fazla öznitelik tanımı varsa, bir uyarı verebilir SEÇİMLİK, fakat bu bir hata değildir.

Şart bölümleri belge türü bildirimi harici altkümesinin veya içerme ve yoksayma ile ilgili anahtar sözcüklere dayalı olarak DTD'nin mantıksal yapısına dahil edilen veya dışlanan harici parametre öğelerinin bölümleridir.

Dahili ve harici DTD altkümelerinde olduğu gibi, bir şart bölümü boşluk karakterlerinin arasına serpiştirilmiş olarak bir veya daha fazla tam bildirim, açıklama, işlem yönergesi veya iç içe şart bölümleri içerebilir.

Şart bölümünün anahtar sözcüğü INCLUDE ise, şart bölümü içeriği DTD'nin parçası olarak işlenmelidir ZORUNLU. Şart bölümünün anahtar sözcüğü IGNORE ise, şart bölümü içeriği DTD'nin parçası olarak işlenmemelidir ZORUNLU. Eğer INCLUDE sözcüklü bir şart bölümü daha geniş bir IGNORE sözcüklü şart bölümünün içeriğinde yer alıyorsa, hem iç hem de dıştaki şart bölümleri yoksayılmalıdır ZORUNLU. Yoksayılan bir şart bölümünün içeriği, anahtar sözcüğü izleyen "[" ile başlayıp, şart bölümünün sonuna kadar, başı "<![", sonu "]]>" olan şart bölümleri dışında kalan herşey yoksayılarak çözümlenmelidir ZORUNLU. Parametre öğesi gönderimleri bu işlemde tanınır olmamalıdır ZORUNLU.

Şart bölümünün anahtar sözcüğü bir parametre öğesi gönderimi ise, işlemci şart bölümünün içerileceğine mi yoksa yok mu sayılacağına karar vermeden önce parametre öğesinin yerine içeriği yerleştirilmelidir ZORUNLU.

Bir örnek:

Bir karakter gönderimi ISO/IEC 10646 karakter kümesinden belli bir karaktere atıf yapar; örneğin, girdi aygıtları tarafından doğrudan erişilebilir olmayan bir karakteri belirtmek için.

Eğer karakter gönderimi &#x ile başlıyor, rakamlar ve harflerden sonra bir ; ile bitiyorsa, bu gönderim karaktere ISO/IEC 10646'daki onaltılık kodu ile atıf yapıyor demektir; eğer &# ile başlıyor ve rakamlardan sonra ; ile bitiyorsa, karaktere onluk koduyla atıf yapıyor demektir.

Bir öğe gönderimi bir isimli öğenin içeriğine atıfta bulunur. Genel öğelere atıf yapmak için ve-imini (&) ve noktalı virgülü (;) ayraç olarak kullanan gönderimlerdir. Paramete öğesi gönderimleri ayraç olarak yüzde imini (%) ve noktalı virgülü (;) kullanan gönderimlerdir.

Karakter ve öğe gönderimi örnekleri:

Parametre öğesi gönderimi örneği:

Öğeler bu tanımla eşleşecek şekilde bildirilir:

Ad bir öğe gönderimini veya çözümlenmemiş öğe durumunda ENTITY veya ENTITIES özniteliğinin değerindeki öğeyi betimler. Eğer aynı öğe bir kereden fazla bildirilmişse, ilk bildirim bağlayıcıdır; seçim kullanıcının olmak üzere, bir XML işlemci eğer defalarca bildirilmiş öğeler varsa bir uyarı verebilir SEÇİMLİK.

Aşağıdaki liste, karakter ve öğe gönderimleri ve çözümlenmemiş öğe çağrıları bağlamında, hangi durumda XML işlemcinin nasıl davranmasının ZORUNLU olduğunu özetler. Soldaki başlıklar tanınma şeklini belirtir:

Öğelerin elde edilişi tartışılırken, öğe değerinin iki biçimini birbirinden ayrı ele almak daha yararlıdır. Bir dahili öğe için, dizgesel sabitli öğe değeri aslında öğe bildiriminde yer alan ve ÖğeDeğeri sözdizimine karşı düşen tırnaklı bid dizgedir.

Bir harici öğe için, dizgesel sabitli öğe değeri öğede içerilmiş metnin ta kendisidir.

Bir dahili öğe için ikame metni karakter ve parametre öğesi gönderimleri yerine atıf yapılan değerleri yerleştirildikten sonraki öğe içeriğidir.

Bir harici öğe için ikame metni öğenin eğer varsa metin bildirimi ayrıldıktan (çevresindeki boşluk karakterleri hariç) sonra, parametre öğesi ve karakter gönderimleri çözümlenmeksizin kalan içeriğidir.

Dizgesel sabitli öğe değeri, bir dahili öğe bildiriminde verilmiş (ÖğeDeğeri) olarak, karakter, parametre öğesi ve genel öğe gönderimleri içerebilir. Böyle gönderimlerin dizgesel sabitli öğe değerinde tamamen içerilmiş olması ZORUNLUdur. Yukarıda açıklandığı gibi, içerilmiş (veya dizgesel sabitte içerilmiş) olan asıl ikame metninin, gönderim yapılan parametre öğelerinin ikame metnini ve gönderim yapılan karakteri içermesi ZORUNLUdur; bununla birlikte, genel öğe gönderimlerinin yorumlanmaksızın olduğu gibi bırakılmaları ZORUNLUdur. Örneğin, aşağıda belirtilen bildirimleri ele alalım:

book öğesi için ikame metni:

Genel öğe gönderimi &rights;, &book; gönderimi belge içeriğinde veya bir öznitelik değerinde yer aldığında yorumlanacaktır.

Bu basit kurallar, daha karmaşık etkileşimlere sahip olabilirler; daha zor bir örneğin açıklaması için bölümüne bakınız.

Öğe ve karakter gönderimlerinin ikisi de açılı sol ayraç, ve-imi ve diğer ayraçları öncelemekte kullanılabilir. Genel öğeler kümesi (&magicents;) bu amaçla belirtilmiştir. Sayısal karakter gönderimleri de kullanılabilir; bunlar tanındıkları anda yorumlanırlar ve karakter verisi olarak ele alınırlar ZORUNLU, dolayısıyla karakter verisi içindeki < ve & sayısal karakter gönderimleri < ve & karakterlerini öncelemekte kullanılabilir.

Tüm XML işlemcilerin bu öğeleri bildirilsin ya da bildirilmesin tanımaları ZORUNLUdur. Birlikte çalışabilirlik için, geçerli XML belgelerin, diğerleri gibi onları kullanmadan önce bildirmeleri ÖNERİlir. Eğer lt veya amp öğeleri bildirilecekse, bunların dahili öğeler (ikame metni öncelenmiş olarak ilgili karaktere bir karakter gönderimi olan) olarak bildirilmesi ZORUNLUdur; bu gönderimlerin iyi biçimli sonuçlar vermesi için bu öğelerin çifte öncelemeli olması ZORUNLUdur. Eğer gt, apos veya quot bildirilecekse, bunlar dahili öğeler (ikame metni öncelenmiş olarak tek karakter veya o karaktere bir karakter gönderimi olan) olarak bildirilmelidir ZORUNLU; çifte önceleme burada SEÇİMLİKtir, fakat bir soruna yol açmaz. Örnek:

Gösterimler, çözümlenmemiş öğe biçiminde, bir gösterim özniteliğine veya bir işlem yönergesinin adreslendiği uygulamaya dayanan elemanlar biçiminde, isimleriyle betimlenirler.

Gösterim bildirimleri öğe ve öznitelik listesi bildirimlerinde ve öznitelik belirtimlerinde kullanmak için gösterime bir ad ve belirtilen gösterimdeki veriyi işlemeye yetkin bir yardımcı uygulamayı devreye sokabilecek bir XML işlemciye veya onun istemci uygulamasına izin verebilen gösterim için bir harici betimleyici sağlar.

XML işlemcilerin, bildirilmiş olan veya bir öğe bildirimine, bir öznitelik tanımına veya değerine atıfta bulunan bir gösterimin adıyla aynı veya gösterimin harici betimleyicisi olan dizgeyle aynı isimli uygulamalar sağlaması ZORUNLUdur. Bunlar ayrıca, harici betimleyicileri sistem betimleyiciye, dosya ismine, veya gösterimde açıklanan veri için bir XML işlemci çağıracak uygulamaya izin vermesi gereken başka bir bilgiye dönüştürülebilir SEÇİMLİK. (XML işlemcinin veya uygulamanın çalıştığı sistemde, XML belgenin bildirdiği veya atıfta bulunduğu gösterim için gösterime özel uygulamaların sistemde bulunmayışı bir hata değildir.)

Belge öğesi, öğe ağacının kökü ve bir XML işlemci için başlangıç noktası olarak hizmet verir. Bu belirtim belge öğesinin bir XML işlemci tarafından nasıl bulunacağını belirtmez; diğer öğelerin aksine, belge öğesinin bir ismi yoktur ve herhangi bir betimleme olmaksızın bir işlemci girdi akımı üzerinde görünmesi daha iyi olur.

Uyumlu XML işlemciler iki sınıfa ayrılırlar: geçerlilik sınaması yapanlar ve yapmayanlar.

Geçerlik sınaması yapanların da yapmayanların da belge öğesinin ve okunan diğer tüm çözümlü öğelerin içeriğinde, bu belirtimin iyi biçimlilik kurallarıyla çelişen herşeyi raporlamaları ZORUNLUdur.

Geçerliliği sınayan işlemcilerin seçim kullanıcının olmak üzere, DTD'de bildirimler tarafından ifade edilen kurallarla çelişenleri ve bu belirtimde belirtilen geçerlilik kurallarını yerine getirmekteki başarısızlıkları raporlaması ZORUNLUdur. Bunun üstesinden gelmek için, geçerlilik sınaması yapan XML işlemcilerin DTD'nin tamamını ve belgede atıf yapılan tüm harici çözümlü öğeleri okuyup işlemesi ZORUNLUdur.

Geçerliliği sınamayan XML işlemcilerin, sadece iyi biçimlilik için dahili DTD altkümesinin tamamını içeren belge öğesini sınamaları gerekir ZORUNLU. Belgenin geçerliliğini sınamak için gerekli olmasa da, okumadıkları ilk parametre öğesi gönderimine kadar okudukları her parametre öğesinde ve dahili DTD altkümesinde okudukları tüm bildirimleri işlemeleri ZORUNLUdur; başka bir deyişle, bu bildirimlerdeki bilgiyi, öznitelik değerlerini normalleştirmek için, dahili öğelerin ikame metnini içermek için ve öntanımlı öznitelik değerlerini sağlamak için kullanmaları ZORUNLUdur. standalone="yes" durumu hariç, öğe, bildirimlerin yerini almak üzere bildirilmiş olabileceğinden, okunmamış bir parametre öğesine bir gönderimden sonra, rastlanan öznitelik listesi bildirimlerini veya öğe bildirimlerini işlememeleri gerekir ZORUNLU; standalone="yes" durumunda, işlemcilerin bu bildirimleri işlemeleri ZORUNLUdur.

Geçersiz belgeleri geçerliliği sınamayan bir işlemci ile işlerken uygulamanın tutarlı bilgi vermeyebileceğine dikkat ediniz. Örneğin, belge içinde eşsizlikle ilgili çeşitli gereksinimler (aynı ID'ye sahip birden fazla elemanın varlığı, yinelenmiş eleman bildirimleri veya aynı isimli gösterimler gibi) sağlanmıyor olabilir. Bu gibi durumlarda, çözümleyicinin böyle bilgileri uygulamaya raporlamak konusundaki davranışı belirsizdir.

Geçerliliği sınayan bir XML işlemcinin davranışı oldukça öngörülebilir bir davranıştır; belgenin her parçasını okuması ve tüm iyi biçimlilik ve geçerlilik uyumsuzluklarını raporlaması gerekir. Geçerliliği sınamayan bir XML işlemci için daha azı gerekir; belgenin belge öğesi hariç hiçbir parçasını okuması gerekmez. Bu, XML işlemcilerin kullanıcıları açısından önemli olabilecek iki etkiye sahiptir:

Farklı XML işlemciler arasında birlikte çalışabilirlik bakımından azami güvenilirlik için, geçerlilik sınaması yapmayan işlemcileri kullanan uygulamaların böyle işlemcilerin gerekli olmayan davranışlarına güvenmemeleri ÖNERİlir. Geçerlilikle ilgili olmayan DTD oluşumlarını (öntanımlı özniteliklerin bildirimi ve harici öğelerde belirtilmesi olası dahili öğeler gibi) gerektiren uygulamaların geçerlilik sınaması yapan XML işlemcileri kullanmaları ÖNERİlir.