using cnot change the policy from unrestricted to recent!?

[Pouyan Ziafati]

Dear All,

With the unrestricted event consumption policy for the event stream of event(a(10)), event(b(20)),  event(a(4)), event(b(20)),event(b(20)):

The event rule c(X,Y) <- (a(X) 'seq' b(Y)) .

results in:

*Event: a(10) @ [datime(2013,4,3,17,48,15,1),datime(2013,4,3,17,48,15,1)]
*Event: b(20) @ [datime(2013,4,3,17,48,15,2),datime(2013,4,3,17,48,15,2)]
*Event: c(10,20) @ [datime(2013,4,3,17,48,15,1),datime(2013,4,3,17,48,15,2)]
*Event: a(4) @ [datime(2013,4,3,17,48,15,3),datime(2013,4,3,17,48,15,3)]
*Event: b(20) @ [datime(2013,4,3,17,48,15,4),datime(2013,4,3,17,48,15,4)]
*Event: c(10,20) @ [datime(2013,4,3,17,48,15,1),datime(2013,4,3,17,48,15,4)]
*Event: c(4,20) @ [datime(2013,4,3,17,48,15,3),datime(2013,4,3,17,48,15,4)]
*Event: b(20) @ [datime(2013,4,3,17,48,15,5),datime(2013,4,3,17,48,15,5)]
*Event: c(10,20) @ [datime(2013,4,3,17,48,15,1),datime(2013,4,3,17,48,15,5)]
*Event: c(4,20) @ [datime(2013,4,3,17,48,15,3),datime(2013,4,3,17,48,15,5)]

but  the event rule c(X,Y) <-(a(X) 'seq' b(Y)) 'cnot' d(Z).

results in:

*Event: a(10) @ [datime(2013,4,3,17,45,49,1),datime(2013,4,3,17,45,49,1)]
*Event: b(20) @ [datime(2013,4,3,17,45,49,2),datime(2013,4,3,17,45,49,2)]
*Event: c(10,20) @ [datime(2013,4,3,17,45,49,1),datime(2013,4,3,17,45,49,2)]
*Event: a(4) @ [datime(2013,4,3,17,45,49,3),datime(2013,4,3,17,45,49,3)]
*Event: b(20) @ [datime(2013,4,3,17,45,49,4),datime(2013,4,3,17,45,49,4)]
*Event: c(4,20) @ [datime(2013,4,3,17,45,49,3),datime(2013,4,3,17,45,49,4)]
*Event: b(20) @ [datime(2013,4,3,17,45,49,5),datime(2013,4,3,17,45,49,5)]

Is it a bug or the expected behavior?


Cheers,
Pouyan

[Pouyan Ziafati]

To add to my previous email, it seems the same problem is there when there is a 'where' clause in an event rule. For example the event rule c(X,Y) <- (a(X) 'seq' b(Y)) where(1==1). for the same sequence of input events results in

*Event: a(10) @ [datime(2013,4,4,11,15,34,1),datime(2013,4,4,11,15,34,1)]
*Event: b(20) @ [datime(2013,4,4,11,15,34,2),datime(2013,4,4,11,15,34,2)]
*Event: c(10,20) @ [datime(2013,4,4,11,15,34,1),datime(2013,4,4,11,15,34,2)]
*Event: a(4) @ [datime(2013,4,4,11,15,34,3),datime(2013,4,4,11,15,34,3)]
*Event: b(20) @ [datime(2013,4,4,11,15,34,4),datime(2013,4,4,11,15,34,4)]
*Event: c(4,20) @ [datime(2013,4,4,11,15,34,3),datime(2013,4,4,11,15,34,4)]
*Event: b(20) @ [datime(2013,4,4,11,15,34,5),datime(2013,4,4,11,15,34,5)]

Could somebody please help me out?

--
You received this message because you are subscribed to the Google Groups "ETALIS" group.
To unsubscribe from this group and stop receiving emails from it, send an email to etalis+un...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

--

Pouyan Ziafati
PhD candidate,
University of Luxembourg (SnT) / Utrecht University (Intelligent Systems Group)
Mobile: +31 (0) 687072022