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

Re: Specifying formal semantics in XML languages

• To: xml-dev@l...
• Subject: Re: Specifying formal semantics in XML languages
• From: peter murray-rust <pm286@c...>
• Date: Thu, 22 Jun 2006 11:33:06 +0100
• Cc: henry Rzepa <h.rzepa@i...>
• In-reply-to: <44993F13.7060204@m...>
• References: <7.0.1.0.0.20060620075919.0478eba8@c...><44993F13.7060204@m...>

At 13:44 21/06/2006, Jonathan Robie wrote:
>peter murray-rust wrote:
>>I am therefore looking for a way of specifying semantics of this 
>>type in <appinfo> elements on some or all elements. It is important 
>>that the semantics are not procedural (we cannot assume that the 
>>users have Python, etc.). There is currently no requirement for 
>>speed, so XSLT is a possible solution although it is very difficult 
>>to evaluate scientific functions in it.
>
>Why not XQuery, combined with MUST / MAY / MUSTNOT conditions? 
>XQuery is a declarative language that can express the conditions 
>given below. And I'd expect it would be fairly easy to define the 
>user-declared functions you need.
>
>Jonathan

Many thanks,
         My initial reluctance to use XQuery or XPath is because it 
is not necessarily easy to generate code from them. It would seem to 
mean writing an XQuery parser (although the discussion on a separate 
thread suggest that XPath in XML syntax could be a useful approach). 
The actual validation could be done by calling XPath when a component 
was read in. I am also unclear how you can use XQuery to define 
user-declared functions

P.

It does seem as if either/or Schematron and XQuery look like possible 
ways forward


Peter Murray-Rust
Unilever Centre for Molecular Sciences Informatics
University of Cambridge,
Lensfield Road,  Cambridge CB2 1EW, UK
+44-1223-763069 

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

• Prev by Date: Re: Specifying formal semantics in XML languages
• Next by Date: Re: Specifying formal semantics in XML languages
• Previous by thread: Re: Re: Specifying formal semantics in XML languages
• Next by thread: Re: Specifying formal semantics in XML languages
• Index(es):
  • Date
  • Thread