Makoto Murata on compound document validation by NVDL

I found this thread on xml-dev an interesting read.  The atom feed
validation seems to capture the problem well.
The summary from Roger Costello doesn't do justice to the paper (PPT,
sorry) referred to in the message, which by the way, takes head-on the
schema modularization problem of adding XForms to host documents.  This
is worth a read for those interested in schema modularity.


Leigh.

Forwarded message 1

  • From: Costello, Roger L. <costello@mitre.org>
  • Date: Sun, 27 Apr 2008 13:33:31 -0700
  • Subject: [xml-dev] Requirements on validation: (1) combine schemas, (2) divide a document into pieces and validate each piece, (3) use different schema languages, (4) validators work together
  • To: <xml-dev@lists.xml.org>
  • Message-ID: <B8415163A689094689542C617ECA03660268E86F@IMCSRV5.MITRE.ORG>
Hi Folks,

Here are a few snippets from slides by MURATA Makoto:

Requirements on validation#1

- It should be possible to combine schemas representing vocabularies
easily.

- It should be possible to divide non-monolithic documents into pieces
and then validate each piece against one of the schemas.
(divide-and-validate)

Do existing schema languages meet these requirements?

- No, you have to understand all  schemas very well and change them.

- No, you have to validate the entire document against the combination
of all schemas.

   - W3C XML Schema
   - RELAX NG

Requirements on validation#2

- It should be possible to use different schema languages for different
vocabularies.

- Validators for many schema languages should work together.

Do existing schema languages meet these requirements?

- No, you are forced to use one schema language.

- No, you have to use one validator.

   - W3C XML Schema
   - RELAX NG

More... www.asahi-net.or.jp/~eb2m-mrt/svgopen/200409SVGOpen.ppt

/Roger

_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
subscribe: xml-dev-subscribe@lists.xml.org
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

Forwarded message 2

  • From: MURATA Makoto (FAMILY Given) <eb2m-mrt@asahi-net.or.jp>
  • Date: Mon, 5 May 2008 15:54:49 -0700
  • Subject: [xml-dev] Full validation of Atom feeds containing extensions
  • To: <xml-dev@lists.xml.org>
  • Message-ID: <20080506075404.82B6.EB2M-MRT@asahi-net.or.jp>
Dear colleagues,

I wrote a note about full validation of Atom feeds containing extensions 
such as OpenSearch and Google Calendar.  Hisashi Miyashita, my
co-author, implemented an NVDL validator for such validaiton.

	Abstract

	The RELAX NG schema in RFC 4287 (The Atom Syndication Format)
	does not provide full validation of Atom feeds containing
	extensions. Rather, this schema skips extension elements and
	attributes, even when extension elements further contain Atom
	feeds or entries. This document shows that ISO/IEC 19757-4
	Namespace-based Validation Dispatching Language (NVDL for short)
	allows full validation of atom feeds containing extensions. NVDL
	decomposes atom feeds containing extensions into (1)
	extension-free atom and (2) extensions so that (1) and (2) are
	validated separately. As an example, an NVDL script for Google
	Calendar is presented. This NVDL script reveals validation
	errors of atom entries embedded in Google Calendar extension
	elements.

This note is available at:

http://www.asahi-net.or.jp/~eb2m-mrt/atomextensions/atomextensions.html

The validator is available at:

http://www.asahi-net.or.jp/~eb2m-mrt/nvdl/SnRNV-1.0.zip


Cheers,

-- 
MURATA Makoto (FAMILY Given) <EB2M-MRT@asahi-net.or.jp>


_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
subscribe: xml-dev-subscribe@lists.xml.org
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

Received on Wednesday, 7 May 2008 23:47:25 UTC