Re: Z Notation in Part 2 and 3

* Arthur Ryman <ryman@ca.ibm.com> [2005-02-11 11:01-0500]
> Hugo,
> 
> Yes, I've been thinking that too. Now that most of the components have 
> been formalized, that leaves the extensions. The Part 1 spec is very light 
> on extensions, so the first thing we should do is formalize extensions in 
> Part 1. I was planning to formalize what a MEP is too since they get 
> referenced and we need to add some integrity contraints.
> 
> In Part 2 we could at least formalized the "signature" of a MEP, e.g. the 
> URL, message labels, directions.
> 
> In Part 3 we should formalize how binding extend the component model, e.g. 
> by extension properties or components.
> 
> Are you offering to write the Z? I'd be glad to get you started.

I can indeed participate in writing it for Part 3, but I'll definitely
need some help in getting this started. We should discuss what's
needed where, and if I have a template to work from, I should be able
to have a first go at it.

We should plan a call next week.

Cheers,

Hugo

-- 
Hugo Haas - W3C
mailto:hugo@w3.org - http://www.w3.org/People/Hugo/