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.