• To: "peter murray-rust" <pm286@c...>
• Subject: Re: Specifying formal semantics in XML languages
• From: "Rick Jelliffe" <rjelliffe@a...>
• Date: Sun, 25 Jun 2006 00:51:47 +1000 (EST)
• Cc: xml-dev@l..., "henry Rzepa" <h.rzepa@i...>
• Importance: Normal
• In-reply-to: <7.0.1.0.0.20060624075827.0436ad88@c...>
• References: <7.0.1.0.0.20060620075919.0478eba8@c...><4497BC56.7060905@a...> <7.0.1.0.0.20060624075827.0436ad88@c...>
• User-agent: SquirrelMail/1.4.2

peter murray-rust said:

> In summary, therefore, I would be interested in:
> - a communal little language for validating dataTypes

There is a part of ISO DSDL that probably does what you need. The Data
Type Library Language (DTLL) acts at a lower level than XML Schemas
datatypes, in that it allows you to define your primitives. It can be
implemented on XSLT2.

> - exploration of the range of concepts that are not supported in
> current schemas ideally to find a consensus of the cost and benefits
> of extensions.

+1

Rick

> - any other experience and comments.
>
> Many thanks
>
> P.
>
>
>
> Peter Murray-Rust
> Unilever Centre for Molecular Sciences Informatics
> University of Cambridge,
> Lensfield Road,  Cambridge CB2 1EW, UK
> +44-1223-763069
>
>
> -----------------------------------------------------------------
> The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
> initiative of OASIS <http://www.oasis-open.org>
>
> The list archives are at http://lists.xml.org/archives/xml-dev/
>
> To subscribe or unsubscribe from this list use the subscription
> manager: <http://www.oasis-open.org/mlmanage/index.php>
>
>

• References:
  • Specifying formal semantics in XML languages
    • From: peter murray-rust <pm286@c...>
  • Re: Specifying formal semantics in XML languages
    • From: Rick Jelliffe <rjelliffe@a...>
  • Re: Specifying formal semantics in XML languages
    • From: peter murray-rust <pm286@c...>

• Prev by Date: Re: Help! Any ideas for language for validating links?
• Next by Date: Re: Help! Any ideas for language for validating links?
• Previous by thread: Re: Specifying formal semantics in XML languages
• Next by thread: Re: Specifying formal semantics in XML languages
• Index(es):
  • Date
  • Thread