Advertisement
Promo

Online business Toolkit

Download now

Static Analysis of XML Transformations in Java

PublisherUniversity of Aarhus
Format310.9KB PDFDate added01 Jan 2008
Topics XML, Java, Programming Languages
Downloads2

XML documents generated dynamically by programs are typically represented as text strings or DOM trees. This is a low-level approach for several reasons: traversing and modifying such structures can be tedious and error prone; although schema languages, e.g. DTD, allow classes of XML documents to be defined, there are generally no automatic mechanisms for statically checking that a program transforms from one class to another as intended. The paper introduces XACT, a high-level approach for Java using XML templates as a first-class data type with operations for manipulating XML values based on XPath. In addition to an efficient runtime representation, the data type permits static type checking using DTD schemas as types.

Download now

Did you find this white paper useful?
1 out of 2 users found this white paper useful


  • Trackback
  • Clip Link

Related white papers

Think Globally, Act Locally: Targeting New Customers with Geolocation

When it comes to content, "one size fits all" used to be the norm and web traffic was measured in "hits". No longer. Companies that are leading the...


Introducing Xomega for XML Object Modeling and Code Generation

XML-based Model Driven Development can be a simple, but very powerful alternative to the UML-based MDA and can result in significantly increased productivity, clean and robust designs and improved system...


Oracle Primavera P6 EPPM Integrations With Web Services and Events

Primavera Web Services is an integration technology that extends P6 functionality and business objects. Based on open standards such as SOAP, XML and WSDL, Primavera Web Services enable developers to...


Radio-Research Firm Reduces Production Time and Costs With Presentation Solution

Research Director, Inc. (RDI), one of the largest radio-research consulting firms in the United States, produces large, complex presentations that provide radio-audience data for its customers once every quarter. Faced...


Testing SIP Call Flows Using XML Protocol Templates

A Session Initiation Protocol (SIP) Call Flow is a casual sequence of messages that is exchanged between interacting SIP entities. This paper presents a novel test system for SIP based...


Consortium Develops New Accessible Multimedia Tool for the Print Disabled

The DAISY Consortium develops and promotes DAISY (the Digital Accessible Information System), the world's most widely used assistive reading technology for the print disabled. The consortium wanted a solution that...


Web Server Improvements with Microsoft Server 2008

This is another in our series about Microsoft Longhorn, also known as Server 2008. In this series we break down the most important components of Longhorn and give listeners the...


Broadband Deals? Powered by Top 10 Broadband

150+ broadband packages

Compare 30+ mobile broadband deals

Mobile Broadband »
White Paper

Featured White Paper

Centrinet case study

Centrinet launched an innovative business service - Smartbunker - based on renewable energy and energy-efficient technology(efficient IBM BladeCenter servers and Cisco networking hardware), It's the UK's first managed data centre service committed to zero carbon energy. This unique proposition drastically reduces power consumption by around 60%.

Download Now

Other White Papers

Contact Centres: Optimum service at optimum cost

Getting the balance right between meeting the inbound call expectations of busy customers and...

Fact Sheet : IBMXIV Storage System

The IBM XIV® Storage System is a ground-breaking, high-end disk system, designed to support...

See All White Papers


Skip Sub Navigation Links to CNET Brand Links

Help

Become part of the ZDNet community.

Newsletters