[jira] [Created] (JACOB-7) Jacob should support multicast send

["Hadrian Zbarcea (JIRA)" <ji...@apache.org>]

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)