WebOQL is something quite useful.

Can someone give a talk about WebOQL and how strategies
and traversal automata might fit into WebOQL?
The WebOQL grammar is in:
http://www.ccs.neu.edu/research/demeter/related-work/toronto

I checked their theory work (SIAM J. Comp.) where they use regular expressions
to specify navigation. 

-- Karl


==========================
Hi Alberto:

>From mendel@cs.toronto.edu Fri Feb  6 11:51:40 1998
>From: Alberto Mendelzon <mendel@cs.toronto.edu>
>To: lieber@ccs.neu.edu (Karl Lieberherr)
>
>Karl,
>
>Thanks for the pointers, I'll definitely look into them.
>Do you have particular applications in mind for your
>queries?
>

We actually use strategies for general purpose Java programming,
not only for queries.  Examples are at:
http://www.ccs.neu.edu/research/demeter/center/DemInAction.html

It works well for navigation intensive applications and it appears
that many fall into this category.

>
>> Strategies are similar in nature to your navigation patterns.
>> While your navigation patterns are regular expressions
>> our strategies are general graphs which describe the 
>> overall topology of a navigation.
>
>You might be interested in some earlier work we did
>within the Hy+ project, where we built a visual query language
>for defining graph patterns. The main papers are listed
>in www.cs.toronto.edu/~mendel/papers.html under "Visualization".
>

Great. We will study this in our seminar.

>
>> 
>> Are you doing more work on navigation patterns?
>> 
>
>Yes, we're interested in building an environment that
>makes it easier to specify patterns and queries; it's
>quite a challenge to do it correctly at the moment, even if
>you have the schema available, since real HTML page schemas
>are very complex. We're also interested in how to maintain
>queries when schema changes occur. By the way, there's an online
>WebOQL demo at www.cs.toronto.edu/~weboql.
>

Will check that.

>
>Looking forward to learning more about your work,
>
>-alberto.
>
There seems to be a synergy here. I think we should look into how
strategies apply to your navigation patterns and document patterns
and your earlier graph patterns.

-- Karl