Detail publikace

XML constraint specification language

RYŠAVÝ Ondřej. XML constraint specification language. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Vysoké učení technické v Brně, 2002, s. 4. ISBN 80-214-2180-0.
Název česky
XML specifikační jazyk
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Klíčová slova

XML, syntaktická omezení, formální specifikace

Abstrakt

Příspěvěk definuje fromální specifikační jazyk pro tvorbu omezení syntaktické struktury XML dokumentů. Tento jazyk je jazykem logiky prvního řádu s rovností. Transformace XML dokumentu do ralčního systému jenž tvoří model jazyka je detailně uvedena. Cílem je vytvořit jazyk pro definici omezení jenž by mohl definovat pokročilé vlastnosti XML dokumentů na rozdíl DTD nebo XSL které se omezují na lokální vlastnosti. 

Rok
2002
Strany
4
Sborník
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
Konference
Proceedings of Electronic Devices and Systems, Brno, CZ
ISBN
80-214-2180-0
Vydavatel
Vysoké učení technické v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6970,
   author = "Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "XML constraint specification language",
   pages = 4,
   booktitle = "Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
   year = 2002,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "80-214-2180-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6970"
}
Nahoru