V současnosti je XML standartem pro výměnu informací. Důležitým úkolem při správě XML je návrh konkrétních XML formátů.
Existují dva přístupy k tomuto problému. Zaprvé jsou to jazyky pro popis XML schémat a jejich formalizace -- regulární stromové gramatiky.
Zadruhé to jsou konceptuální modely a jejich automatická konverze to XML schémat. V tomto článku poskytujeme jednotný formalizmus pro oba přístupy.
Formalizujeme XML schémata, konceptuální schémata a mapování mezi nimi. Formalizmus klade nutné podmínky na mapování a umožňuje v praxi nejen samotné modelování ale také poskytuje podporu pro integraci a evoluci XML schémat.