- From: Anders Møller <amoeller@brics.dk>
- Date: Wed, 13 Sep 2006 14:07:12 +0200
- To: xmlschema-dev@w3.org
dk.brics.schematools is a Java package for manipulation and validation of XML graphs (also known as Summary Graphs) and schemas written in Restricted RELAX NG, DTD, or XML Schema, and for XPath evaluation on XML graphs. The first public release is now available from http://www.brics.dk/schematools/ The package provides the following features, among others: * validation of XML documents and XML graphs relative to schemas written in XML Schema, DTD, or Restricted RELAX NG * inclusion checking between schemas * conversion from XML Schema to Restricted RELAX NG or XML graphs An XML graph is reminiscent of an XML tree but may contain loops and choices. Also, element/attribute names, attribute values, and chardata are described by regular string languages. An XML graph represents a (typically infinite) set of XML trees. The notion of XML graphs originates from program analysis of XML transformations. Restricted RELAX NG is a subset of RELAX NG that is sufficient for translations from XML Schema and allows efficient validation of XML graphs. The package is already in use in other BRICS projects: - XSugar (http://www.brics.dk/xsugar/), a tool for translating between XML and non-XML syntax - XACT (http://www.brics.dk/Xact/), a Java-based XML transformation language with static validation analysis - XSLValidator (http://www.brics.dk/XSLV/), static analysis of XSLT stylesheets
Received on Thursday, 14 September 2006 09:49:16 UTC