Utilizing new capabilities of XML languages to verify integrity constraints

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Utilizing new capabilities of XML languages to verify integrity constraints

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Utilizing new capabilities of XML languages to verify integrity constraints

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F0573" target="_blank" >GAP202/10/0573: Zpracování XML dat v heterogenních a dynamických prostředích</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2012

Kód důvěrnosti údajů

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

Název statě ve sborníku

Balisage Series on Markup Technologies

ISBN

978-1-935958-04-8

ISSN

1947-2609

e-ISSN

—

Počet stran výsledku

32

Strana od-do

—

Název nakladatele

Mulberry Technologies

Místo vydání

Montreal, Kanada

Místo konání akce

Montreal, Kanada

Datum konání akce

6. 8. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—