ode-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Hadrian Zbarcea (JIRA)" <j...@apache.org>
Subject [jira] [Created] (JACOB-7) Jacob should support multicast send
Date Mon, 13 Jan 2014 18:30:50 GMT
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)

Mime
View raw message