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

Re: defining correctness for an XML transformation - how?

• From: "C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com>
• To: Tony Graham <tgraham@antenna.co.jp>
• Date: Wed, 03 Jul 2024 20:01:48 -0600

Cool!  Thank you very much for the reference!  -Michael

Tony Graham <tgraham@antenna.co.jp> writes:

> On 03/07/2024 14:40, C. M. Sperberg-McQueen wrote:
>> Roger Costello's recent question about how to show the correctness of
>> a translation from one XML format to another very similar one
>> suggests a related question.  Forget *showing* that an XML
>> transformation is correct -- how would you define correctness
>> formally, if you wanted to be able in principle to provide a
>> machine-checkable proof of correctness?
>
> If it was 2007 and you were using DTDs and XSLT 1.0, you could try the
> XML graph method from 'Static validation of XSL transformations':
>
>    https://dl.acm.org/doi/10.1145/1255450.1255454
>

-- 
C. M. Sperberg-McQueen
Black Mesa Technologies LLC
http://blackmesatech.com

• Follow-Ups:
  • Re: defining correctness for an XML transformation - how?
    • From: Roger L Costello <costello@mitre.org>

• References:
  • defining correctness for an XML transformation - how?
    • From: "C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com>
  • Re: defining correctness for an XML transformation - how?
    • From: Tony Graham <tgraham@antenna.co.jp>