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

Re: Globbing versus Regular Expressions (was: RegularAssociati

• To: xml-dev@l...
• Subject: Re: Globbing versus Regular Expressions (was: RegularAssociations)
• From: Peter Rodgers <pjr@1...>
• Date: Mon, 05 Jan 2004 11:16:14 +0000
• In-reply-to: <DE13C216-3F69-11D8-A657-000393BB8814@s...>
• References: <DE13C216-3F69-11D8-A657-000393BB8814@s...>

On Mon, 2004-01-05 at 10:28, james anderson wrote:

> why limit this to locating a validation schema? why not follow it to 
> the logical conclusion: a general processing model?
> 
> the pattern-directed schema locator is an instance of an operation
>    schema-match ::=  (document X (pattern X uri) ) -> uri
> which is hardwired into a process
>    validate ::= (document x schema-match) -> (true + false)
> 
> if one generalizes schema-match to
>    pattern-directed-op ::= (infoset X (pattern X transformer X 
> pattern-directed-op)) -> (infoset X (pattern-directed-op + NIL))
> where transformer may be, eg.
>   ( ( -> infoset ) + ( infoset -> infoset ) )
> and generalizes validate to
>    process ::= (infoset X pattern-directed-op) -> pattern-directed-op
> 
> the result is a general pattern-directed processing framework in which 
> the approach is "if it validates, then do this", rather than "do this, 
> but first, make sure it's valid." sort of schematron with side-effects?
> 

FYI. This is similar to the "assert-select-process" pattern which occurs
frequently in DPML processes on NetKernel. Often the pattern match is
done with XPath assertions (using the NK xpatheval accessor), though it
could be any operation which evaluates to a boolean inc Schematron or a
runtime Schema validation (DTD, XSD, RNG).

The DPML runtime compiles the high-level DPML process down to an
'activeURI' request on the NetKernel scheduler.    All XML processes on
NetKernel are sequences of scheduled URI requests on modular layered
REST-like URI services. URI requests are matched using regexp to a URA,
which is somewhat like a generalization of the servlet.

An activeURI is a URI scheme we devised for issuing a processing/service
request with multiple named URI arguments - so for example an XSLT
transform on NetKernel can be made with

active:xslt+operand@file:///mydocument.xml+operator@file:///mytransform.xsl

References:

NetKernel www.1060.org
ActiveURI Specification
http://www.ietf.org/internet-drafts/draft-butterfield-active-uri-00.txt

Regards

Peter Rodgers

-- 
pjr@1...
Architect 1060 NetKernel, http://www.1060.org

• Follow-Ups:
  • active-uri was RE: Globbing versus Regular Expressions (was: RegularAssociations)
    • From: "bryan" <bry@i...>

• References:
  • Re: Globbing versus Regular Expressions (was: Regular Associations)
    • From: james anderson <james.anderson@s...>

• Prev by Date: Re: Globbing versus Regular Expressions (was: Regular Associations)
• Next by Date: RE: namespace handling models
• Previous by thread: Re: Globbing versus Regular Expressions (was: Regular Associations)
• Next by thread: active-uri was RE: Globbing versus Regular Expressions (was: RegularAssociations)
• Index(es):
  • Date
  • Thread