About: Describing and Verifying Integrity Constraints in XML Using OCL

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Describing and Verifying Integrity Constraints in XML Using OCL Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6257943
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. 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. (en)
Title	Describing and Verifying Integrity Constraints in XML Using OCL Describing and Verifying Integrity Constraints in XML Using OCL (en)
skos:prefLabel	Describing and Verifying Integrity Constraints in XML Using OCL Describing and Verifying Integrity Constraints in XML Using OCL (en)
skos:notation	RIV/00216208:11320/12:10123576!RIV13-GA0-11320___
http://linked.open...avai/predkladatel	Matematicko-fyzikální fakulta
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP202/10/0573), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Nečaský, Martin Malý, Jakub
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	130202
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/12:10123576
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	conceptual modeling, UML; OCL, Schematron; integrity constraints (en)
http://linked.open.../riv/klicoveSlovo	integrity constraints OCL Schematron UML conceptual modeling
http://linked.open...ontrolniKodProRIV	[03C9EDAE6C64]
http://linked.open...v/mistoKonaniAkce	USA
http://linked.open...i/riv/mistoVydani	USA
http://linked.open...i/riv/nazevZdroje	2012 IEEE 19th International Conference on Web Services
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Handling XML Data in Heterogeneous and Dynamic Environments
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Nečaský, Martin Malý, Jakub
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2012-06-24 (xsd:date)
number of pages	2 (xsd:int)
http://bibframe.org/vocab/doi	10.1109/ICWS.2012.60
http://purl.org/ne...btex#hasPublisher	IEEE
https://schema.org/isbn	978-1-4673-2131-0
http://localhost/t...ganizacniJednotka	11320
is http://linked.open...avai/riv/vysledek of	Describing and Verifying Integrity Constraints in XML Using OCL

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software