Utilizing new capabilities of XML languages to verify integrity constraints

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10123577" target="_blank" >RIV/00216208:11320/12:10123577 - isvavai.cz</a>
Result on the web
<a href="http://balisage.net/Proceedings/vol8/html/Maly01/BalisageVol8-Maly01.html" target="_blank" >http://balisage.net/Proceedings/vol8/html/Maly01/BalisageVol8-Maly01.html</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4242/BalisageVol8.Maly01" target="_blank" >10.4242/BalisageVol8.Maly01</a>

Result language
angličtina
Original language name
Utilizing new capabilities of XML languages to verify integrity constraints
Original language description
In this work, we show how integrity constraints expressed using Object Constraint Language (OCL) can be verified using XML technologies - Schematron, XPath/XQuery and XSLT - and using Model Driven Architecture (MDA) principles. Some constructs typical for OCL constraints are different from the methods used in XPath/XQuery expressions. That is why for translating some OCL expressions, the standard XML toolset must be extended. We introduce such extension for the 2.0 versions of the languages, but with the new features and constructs proposed in drafts for XSLT 3.0, XPath 3.0 and XQuery 3.0, the transition from OCL is much more seamless and transparent. Higher-order functions, maps, error-recovery instructions etc. provide us with necessary power to translate a general OCL expression and we discuss in detail their potential.
Czech name
—
Czech description
—

Project
<a href="/en/project/GAP202%2F10%2F0573" target="_blank" >GAP202/10/0573: Handling XML Data in Heterogeneous and Dynamic Environments</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)