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

Re: Is there an XSLT/XPath processor good enough to us

Subject: Re: Is there an XSLT/XPath processor good enough to use in life-critical applications?
From: "Liam R. E. Quin liam@xxxxxxxxxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>
Date: Sat, 16 Nov 2019 02:29:48 -0000
Re:  Is there an XSLT/XPath processor good enough to us
On Fri, 2019-11-15 at 12:10 +0000, Costello, Roger L.
costello@xxxxxxxxx wrote:
> Hi Folks,
> 
> Are you using XSLT/XPath in a life-critical application such as
> controlling a nuclear power plant or controlling an aircraft flight
> system? 

I'm not...

However, i can say that XML (and EXI) is used in FAA-mandated systems
as well as in more grounded (but not always motionless) scenarios such
as when you stream gasoline into your car's fuel tank (the pump talks
to the computer in the shop with XML, and potentially XML Schema is
used), or when a technicial hooks up their diagnostic system to yur
car's computer - for that matter XML messages are actively wandering
around in many (most?) modern cars all the time.

Trains use XML but of course need fixed buffer heights.

There have even been shoes with XML in them, used to control ipods.

> Can an XSLT/XPath processor be relied on to always return the correct
> results when given a valid XSLT/XPath program and a well-formed XML
> document?

No.

If by valid you mean DTD-valid, there's no way to impose length limits
on CDATA attribute values in a DTD, nor size limits on content. This is
of course because the designers of SGML envisioned the markup and the
text as separate, something that was later the subject of a patent
lawsuit, crazily enough.

However, smoke testing and commercial coverage testing (with Coverity)
has been applied to libxml2 (for example), and security experts
continue to examine the code.

>  Is it possible to quantify or bound the correctness of an XSLT/XPath
> processor? Is there an XSLT/XPath processor that limits the
> probability of getting an incorrect result to 10**(-9)?

You would need a clear definition of bcorrectb to achieve that.
Unfortunately, denotational semantics doesn't connect well with the
fleshly spatial continuum we inhabit, and defining correctness is
currently intractible.

The right question, though, is, surely, does the software do what we
need, sufficiently reliably for our purpose.

And clearly the answer is yes for a great many applications of XML
technologies.

Liam


-- 
Liam Quin, https://www.delightfulcomputing.com/
Available for XML/Document/Information Architecture/XSLT/
XSL/XQuery/Web/Text Processing/A11Y training, work & consulting.
Barefoot Web-slave, antique illustrations:  http://www.fromoldbooks.org

Current Thread

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
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.