[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: XML Schema in Z ?

  • From: Rick JELLIFFE <ricko@g...>
  • To: xml-dev@l...
  • Date: Fri, 28 Jul 2000 15:23:19 +0800

z schema
Joe English wrote:
> 
> Robert Worden  wrote:
> 
> > A suggestion: in parallel with anything else you do, re-express the Schema
> > spec in a  mathematical specification language such as VDM or Z. Publish a
> > mathematically annotated  version of the spec.
> 
> Or, use techniques from denotational semantics
> like Phil Wadler did for early drafts of XPath and
> XSL [1,2].
 
If anyone cares to develop formal models of XML Schemas using algebraic
notations
that have good academic credibility, then I am sure the XML Schema WG
will be very
interested in them: for example, they could at least be linked to from
the 
W3C XML Schema home page. The idea of formal models annotating the
normative
spec is very appealing: it sounds pretty workable since the normative
status
of each is kept clear.

One step beyond that, may I make the offer that Academia Sinica will be
happy
to submit or co-submit these to W3C as Notes (acceptence by W3C is not
guaranteed,
they have to process them according to their own resources): the proviso
would be that if you provide such a formal model you should also provide
some peer review to attest to 
how well the model captures the XML Schema spec?


Rick Jelliffe
Academia Sinica Computing Centre
Taipei, Taiwan

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.