[dsdl-discuss] Re: Semantic framework for namespace processing and MNS2

On Tue, 20 May 2003 00:52:26 +0900
MURATA Makoto <murata@hokkaido.email.ne.jp> wrote:

> I have been thinking about a logical formalism. Now that I have seen your
> data model, I think that it is possible to create a logic-based formalism for
> studying VCSL, Namespace Switchboard and MNS. I am now writing a note about
> this and will send it to this mailing list tomorrow.

Here is the first draft.

http://www.asahi-net.or.jp/~eb2m-mrt/dsdl/logicalFramework.html

The key idea is to use three predicates for representing the
relationships between sections and validation candidates. I hope
that this separation makes the spec easier to understand.

Cheers,

-- 
MURATA Makoto <murata@hokkaido.email.ne.jp>
--
DSDL members discussion list
To unsubscribe, please send a message with the
command  "unsubscribe" to dsdl-discuss-request@dsdl.org
(mailto:dsdl-discuss-request@dsdl.org?Subject=unsubscribe)