XML and Schema Languages.

Makoto Murata; Kohsuke Kawaguchi; Sun Microsystems

doi:10.11309/jssst.21.472

Computer Software

Paper

01 Jan 2004

XML and Schema Languages.

View publication

Abstract

This paper describes XML and schema languages using formal language theory. It also overviews schemabased XML technologies, notably validation and static type checking. © 2004, Japan Society for Software Science and Technology. All rights reserved.

Paper

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, et al.

ACM TISSEC

Paper

Taxonomy of XML schema languages using formal language theory

Makoto Murata, Dongwon Lee, et al.

ACM TOIT

Conference paper

XML access control using static analysis

Makoto Murata, Akihiko Tozawa, et al.

CCS 2003

Paper

Boolean operations and inclusion test for attribute-element constraints

Haruo Hosoya, Makoto Murata

Theoretical Computer Science

View all publications

Abstract

Related

XML access control using static analysis

Taxonomy of XML schema languages using formal language theory

XML access control using static analysis

Boolean operations and inclusion test for attribute-element constraints