Validace XML dokumentů vůči PSM schématům jazyka XSEM
Validation of XML documents against XSEM PSM schemas
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/58092Identifiers
Study Information System: 114452
Collections
- Kvalifikační práce [10986]
Author
Advisor
Referee
Bednárek, David
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Programming
Department
Department of Software Engineering
Date of defense
24. 1. 2013
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Very good
Keywords (Czech)
XML, validace, konceptuální modelováníKeywords (English)
XML, validation, conceptual modelingXSEM 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.