[Reaction-tg] Several operators/rule?

[Marco Seiriö]

Maybe there should be some discussion in the paper about how the the
semantics of some operators change if they are nested? Here I'm thinking
specifically about sequencing operators. Something like the
sequence, relative and prior operators used in ODE to show the need for
different kinds of sequencing operators when the sequence consist more or
less complex nestings of operators.

Maybe there are some other issues that comes from nesting operators also?

/Marco


On Tue, 20 Apr 2004, Wagner, G.R. wrote:

> > I have been reading the "RuleML Reaction Rules Requirements
> > 1.0" working draft of 6th January 2004.
>
> > In chapter 6.6 about reaction rule operators, it seems to me that a
> > reaction rule can only contain *one* single operator that defines the
> > semantics of the rule.
>
> I don't think this was implied by that subsection, which describes
> a number of important event composition operators (such as
> SequentialOccurrence, ParallelOccurrence, Absence, etc.). Clearly
> such compositions can be nested, and it has to be defined, which
> nestings are admitted/meaningful.
>
> The current version of our white paper is still in a draft state,
> so we have to improve and extend it gradually to address these
> issues.
>
> Best,
> G e r d
>