Detail publikace

XML constraint specification language

RYŠAVÝ, O. XML constraint specification language. Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002. p. 0-0. ISBN: 80-214-2180-0.
Název česky
XML specifikační jazyk
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
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
ISBN
80-214-2180-0
Vydavatel
Brno University of Technology
Místo
Brno
BibTeX 
@inproceedings{BUT10048,
  author="Ondřej {Ryšavý}",
  title="XML constraint specification language",
  booktitle="Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
  year="2002",
  pages="4",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="80-214-2180-0"
}
Nahoru