When Grammars do not Suffice: Data and Content Integrity Constraints Verification in XML through a Conceptual Model

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10124085" target="_blank" >RIV/00216208:11320/13:10124085 - isvavai.cz</a>

Výsledek na webu

<a href="http://dl.acm.org/citation.cfm?id=2527198.2527200" target="_blank" >http://dl.acm.org/citation.cfm?id=2527198.2527200</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

When Grammars do not Suffice: Data and Content Integrity Constraints Verification in XML through a Conceptual Model

Popis výsledku v původním jazyce

Complex applications can benefit greatly from using conceptual models and Model Driven Architecture during development, deployment and runtime. XML applications are not different. In this paper, we examine the possibility of using Object Constraint Language (OCL) for expressing constraints over a conceptual model for XML data. We go through the different classes of OCL expression and show how each class can be translated into XPath constructs. Subsequently we show how the constraints can be checked using Schematron. We introduce a function library OclX, which provides constructs necessary to translate those OCL constructs that have no counterpart in XPath. With our tool, it is possible to check validity of OCL constraints in XML data.

Název v anglickém jazyce

When Grammars do not Suffice: Data and Content Integrity Constraints Verification in XML through a Conceptual Model

Popis výsledku anglicky

Complex applications can benefit greatly from using conceptual models and Model Driven Architecture during development, deployment and runtime. XML applications are not different. In this paper, we examine the possibility of using Object Constraint Language (OCL) for expressing constraints over a conceptual model for XML data. We go through the different classes of OCL expression and show how each class can be translated into XPath constructs. Subsequently we show how the constraints can be checked using Schematron. We introduce a function library OclX, which provides constructs necessary to translate those OCL constructs that have no counterpart in XPath. With our tool, it is possible to check validity of OCL constraints in XML data.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GPP202%2F11%2FP455" target="_blank" >GPP202/11/P455: Konceptuální modelování XML</a><br>

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

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

Proceedings of the 9th Asia Pacific Conference on Conceptual Modeling

ISBN

978-1-921770-28-9

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

21-30

Název nakladatele

Australian Computer Society, Inc.

Místo vydání

Adelaide, Austrálie

Místo konání akce

Adelaide, Austrálie

Datum konání akce

29. 1. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

—