Describing and Verifying Integrity Constraints in XML Using OCL
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Describing and Verifying Integrity Constraints in XML Using OCL
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
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)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2012 IEEE 19th International Conference on Web Services
ISBN
978-1-4673-2131-0
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
657-658
Publisher name
IEEE
Place of publication
USA
Event location
USA
Event date
Jun 24, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—