Když gramatiky nestačí: integritní omezení dat a obsahu a jejich ověřování v XML pomocí konceptuálního modelu
2013
Abstrakt
Komplexní aplikace mohou těžit z použití konceptuálního modelu a modelem řízené architektury a to během návrhu, nasazení i za běhu aplikace. XML aplikace se v tomto nijak neodlišují.
V této práci zkoumáme možnosti využít jazyka OCL pro popis integritních omezení nad konceptuálním modelem XML dat. Probereme jednotlivé třídy OCL výrazů a ukážeme, jak může každá z nich být přeložena jako výraz jazyka XPath.
Následně ukážeme, jak integritní omezení ověřovat pomocí jazyka Schematron. Zavedeme knihovnu OclX, které poskytuje konstrukty, které nemají žádné odpovídající protějšky vestavěné v jazyce XPath.
S naším nástrojem lze ověřovat platnost OCL integritních omezení v XML datech.