Hadrian Zbarcea created JACOB-7:
-----------------------------------
Summary: Jacob should support multicast send
Key: JACOB-7
URL: https://issues.apache.org/jira/browse/JACOB-7
Project: ODE JaCOb
Issue Type: Improvement
Components: jacob
Reporter: Hadrian Zbarcea
Assignee: Hadrian Zbarcea
Fix For: 2.0-beta1
In the current implementation one cannot send the same value to two different
processes. In pi calculus lingo, the process below result in the value val
being sent to only one of the listeners (the first one).
!x(val) | ?x(v1).P | ?x(v2).Q
I didn't find any reference in the pi calculus literature to a process like the
one I described below. There other ways to define a multicast, but I believe
the correct behavior should be for both P and Q to be processed in my example.
FWIW, the current CompositeProcess construct (mapping to the old api using a
methodList[]) serves a different purpose, namely allowing a process to listen
on multiple channels, namely allowing a process to be triggered on a value
coming on either of multiple channels.
(!x(val1) + !y(val2)) | (?x(v1) + ?y(v2)).P
Thoughts?
--
This message was sent by Atlassian JIRA
(v6.1.5#6160)
