Validace XML dokumentů vůči PSM schématům jazyka XSEM

Abstract

XSEM je jazyk pro modelování XML schémat. Pro modelování pomocí jazyka XSEM byl vytvořen program eXolutio, který nabízí uživateli pohodlný způsob jak využít všechny výhody jazyka XSEM. Předmětem této práce je návrh algoritmu pro validaci XML dokumentů vůči PSM schématům jazyka XSEM a porovnání vyjadřovací síly s ostatními jazyky pro definici XML schémat. Je zde popsán základní algoritmus použit pro validaci a všechna jeho nezbytná rozšíření, které bylo nutno doplnit, aby algoritmus pokrýval všechny možnosti jazyka XSEM. Součástí je také praktická implementace algoritmu jako rozšíření programu eXolutio.

XSEM is a modeling language created for modeling XML schemas. Its implementation, called eXolutio, provides a user friendly interface for modeling schemas in XSEM. The aim of this work is to design an algorithm for validation of XML documents against XSEM PSM schemas and comparison of the expressive power of XSEM PSM with other XML schema languages. The thesis contains the description of fundamental algorithm and all the extensions required to fully support all the constructs and capabilities provided by XSEM. The practical part describes the implementation of the proposed algorithm as an extension of eXolutio.