[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: XML Schema in Z ?
Robert Worden wrote: > A suggestion: in parallel with anything else you do, re-express the Schema > spec in a mathematical specification language such as VDM or Z. Publish a > mathematically annotated version of the spec. Or, use techniques from denotational semantics like Phil Wadler did for early drafts of XPath and XSL [1,2]. This would IMO be even more useful for the Schema spec. Z is good at specifying "what things do", while denotational semantics is good at defining "what things mean". Since a Schema doesn't really "do" anything, DS might be more appropriate. Also, DS notation tends to be considerably shorter than Z :-) --Joe English jenglish@f... [1] http://cm.bell-labs.com/cm/cs/who/wadler/topics/xml.html#xsl-semantics [2] http://cm.bell-labs.com/cm/cs/who/wadler/topics/xml.html#xpath-semantics
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|