Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004 P-51, 397-407 (2004).

GI, Gesellschaft für Informatik, Bonn
2004


Editors

Peter Dadam, Manfred Reichert (eds.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Type safe programming of XML-based applications

Martin Kempa and Volker Linnemann

Abstract


There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML structures statically at compile time of an XML-based application. In the XOBE (XML OBJECTS) project we extend the object-oriented programming language Java by new language constructs. XML Schema is used for describing sets of valid XML documents. An XML schema provides a vehicle to define new classes, i.e. each element declaration in a schema defines a new class of objects (XML objects). Each object within a class represents an XML structure which is valid according to the underlying XML schema. XML objects are created by a new language construct called XML object constructor. XML object constructors are expressed in XML syntax. Previously generated XML objects can be inserted according to the declared XML schema. The main focus of the paper is the type system of XOBE. Among others, this type system provides the basis for checking the validity of assignments of XML objects to variables. The type system will be described and we present formally a type checking algorithm based on this type system.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-3080-6


Last changed 24.01.2012 21:47:25