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

Re: Formalism and complexity

• To: ntoper@j...
• Subject: Re: Formalism and complexity
• From: Rick Marshall <rjm@z...>
• Date: Tue, 06 Jan 2004 21:01:33 +1100
• Cc: XML Developers List <xml-dev@l...>
• In-reply-to: <200401061042.45659.ntoper@j...>
• Organization: Zenucom Pty Limited
• References: <200401061042.45659.ntoper@j...>
• Reply-to: rjm@z...

On Tue, 2004-01-06 at 20:42, Nicolas Toper wrote:
> You cannot always break every systems down to pre conditions, post conditions
> and transfer functions.

what you want, what you'll produce, and how to do it - in layman's terms

thought that was pretty basic and formal. i'd be worried if i couldn't
break my systems down this way

> 
> Besides, this won't make your program not crash.

no... but it will probably tell you where you went wrong - not
forgetting that the spec might be wrong


> 
> I believe the point was here (and I might say as usual): complex systems are
> less (more?) likely to fail so how can we make easily complex system and where XML is
> a help for that. Am I right?
> 

this is exactly the point and i think that's why we're discussing it.

xml potentially helps by providing a universal, verifiable data stream
to work with (for starters). things like xsl provide definable ways to
manipulate data (transfer functions), and careful construction of specs
(dtd/schema) means we can handle pre-conditions - a lot of discussion on
this list is about this exact point. this could be a very significant
development for computing.

rick

• References:
  • Re: Formalism and complexity
    • From: Nicolas Toper <ntoper@j...>

• Prev by Date: Re: Formalism and complexity
• Next by Date: RE: Re: Cookies at XML Europe 2004 -- Call for Particip ation
• Previous by thread: Re: Formalism and complexity
• Next by thread: RE: Formalism and complexity
• Index(es):
  • Date
  • Thread