Describing and Verifying Integrity Constraints in XML Using OCL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10123576" target="_blank" >RIV/00216208:11320/12:10123576 - isvavai.cz</a>

Výsledek na webu

<a href="http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6257943" target="_blank" >http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6257943</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ICWS.2012.60" target="_blank" >10.1109/ICWS.2012.60</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Describing and Verifying Integrity Constraints in XML Using OCL

Popis výsledku v původním jazyce

Today, information systems rely largely on web services and XML as their payloads. Every information system also depends on checking and preserving integrity constraints.In the world of conceptual modeling, they can be expressed using Object Constraint Language (OCL) expressions over class diagrams. However, the expressions defined in the conceptual model of the system must be rewritten to the form of XML schemas to be used for XML and web services. This is an error-prone task for a system designer who,in addition, must be skilled both in OCL and XPath and other XML languages. In this work, we show how OCL integrity constraints can be translated to Schematron schemas automatically and verified in XML documents thus reducing the effort of the initial translation and maintenance.

Název v anglickém jazyce

Describing and Verifying Integrity Constraints in XML Using OCL

Popis výsledku anglicky

Today, information systems rely largely on web services and XML as their payloads. Every information system also depends on checking and preserving integrity constraints.In the world of conceptual modeling, they can be expressed using Object Constraint Language (OCL) expressions over class diagrams. However, the expressions defined in the conceptual model of the system must be rewritten to the form of XML schemas to be used for XML and web services. This is an error-prone task for a system designer who,in addition, must be skilled both in OCL and XPath and other XML languages. In this work, we show how OCL integrity constraints can be translated to Schematron schemas automatically and verified in XML documents thus reducing the effort of the initial translation and maintenance.

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)<br>S - Specificky vyzkum na vysokych skolach

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

2012 IEEE 19th International Conference on Web Services

ISBN

978-1-4673-2131-0

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

657-658

Název nakladatele

IEEE

Místo vydání

USA

Místo konání akce

USA

Datum konání akce

24. 6. 2012

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

WRD - Celosvětová akce

Kód UT WoS článku

—