Abstrakt
Informační systémy často využívají webové služby a XML jako formát přenášených dat. Každý informační systém také závisí na ověřování a udržování integritních omezení.
Ve světě koncepeptuálního modelování jsou integritní omezení popisovány pomocí jazyka Object Constraint Language (OCL) jako výrazy nad diagramy tříd. Nicméně, omezení definovaná v konceptuálním modelu musí být přepsány do podoby XML schémat, aby mohly být ověřovány v XML datech.
Toto je proces náchylný k chybám a designér systému musí být obeznámen jak s jazykem OCL tak s jazykem XPath a dalšími XML technologiemi. V této práci ukážeme postup jak mohou být integritní omezení popsané pomocí OCL automaticky přeloženy do jazyka Schematron a jejich platnost ověřena v XML dokumentech.