Re: [Fresco-devel] [ReFresco 03] Proposed network architecture overview

--- Nathaniel Smith <[email protected]> wrote:
> ReFresco 03: Proposed network architecture overview

Comments from the unskilled:

I'm glad to see the capabilities idea emerge in Fresco, and I
definitely like the "secure from ground up" thinking.  I don't really
have any right to make this suggestion, since I know so little about
this kind of thing, but...

Since much of the Fresco project seems to be currently concerned with
ideas, with code a distant second, I wonder if it might be useful to
consider the use of the Z language to specify at least key parts of
Fresco formally before the attempt is made to code them?  This tool has
been used on XCB (a new X Windows development) with some success:

http://freedesktop.org/Software/xcb/usenix-zxcb.pdf

I don't know how much of Fresco's complexity was a function of CORBA
and how much was simply part of the design, but perhaps using Z from
the get go in design could make the process of arriving at design
decisions simplier, and maybe sidestep some bugs in the process? 

Some tools do seem to exist for working with Z notation:
http://www.lemma-one.com/ProofPower/index/
http://uebb.cs.tu-berlin.de/zeta/
http://wailoa.informatik.uni-freiburg.de/holz/index.html
http://www.jpbowen.com/pub/zhol.pdf


__________________________________
Do you Yahoo!?
Yahoo! Hotjobs: Enter the "Signing Bonus" Sweepstakes
http://hotjobs.sweepstakes.yahoo.com/signingbonus