Groups
Sign in
Groups
reo-dev
Conversations
About
Send feedback
Help
reo-dev
Contact the owners and managers
1–30 of 89
Mark all as read
Report group
0 selected
Alireza Farhadi
,
Christian Krause
2
09/09/2013
How to deal with data constraint in peresence of loop in a transaction
Hi Alireza, the semantics of this connector is not well-defined. This is because the dataflow loop is
unread,
How to deal with data constraint in peresence of loop in a transaction
Hi Alireza, the semantics of this connector is not well-defined. This is because the dataflow loop is
09/09/2013
Alireza Farhadi
, …
Christian Krause
5
11/04/2013
ECT 4 installation
Dear Christian, Thanks, I think I have some problems with internet connection, some features are
unread,
ECT 4 installation
Dear Christian, Thanks, I think I have some problems with internet connection, some features are
11/04/2013
Pooyan Jamshidi
,
Christian Krause
3
13/02/2013
Reo2MC
Hi Christian Yes, I tried it now with my examples and it seems that the conversion works fine in the
unread,
Reo2MC
Hi Christian Yes, I tried it now with my examples and it seems that the conversion works fine in the
13/02/2013
Christian Krause
13/02/2013
ECT 4
Dear All, the development of ECT is now managed in an open source project at Google Code. You can
unread,
ECT 4
Dear All, the development of ECT is now managed in an open source project at Google Code. You can
13/02/2013
Jose Proenca
, …
Dave Clarke
6
11/02/2013
Data constraints in Reo
Thank you Natallia and Sasha, The work of Behnaz seems indeed relevant. Vereofy, as the mCRL2 work,
unread,
Data constraints in Reo
Thank you Natallia and Sasha, The work of Behnaz seems indeed relevant. Vereofy, as the mCRL2 work,
11/02/2013
Alireza Farhadi
,
Natallia Kokash
2
10/02/2013
filter channel's data constraint in a Reo network with join node
Dear Alireza, you can use type recognition functions in filter conditions. For example, if we assume
unread,
filter channel's data constraint in a Reo network with join node
Dear Alireza, you can use type recognition functions in filter conditions. For example, if we assume
10/02/2013
Christian Krause
,
Alireza Farhadi
2
06/02/2013
New home for ECT
Dear Christian, Good news, open sources can open minds! I hope this decision makes Reo more popular
unread,
New home for ECT
Dear Christian, Good news, open sources can open minds! I hope this decision makes Reo more popular
06/02/2013
Pankaj Kasar
,
Christian Krause
2
30/01/2013
Use of ECT plugin jar files for my standalone application
Hi Pankaj, On 01/29/2013 02:04 PM, Pankaj Kasar wrote: Dear all, Please give me JAVADOC file for ECT
unread,
Use of ECT plugin jar files for my standalone application
Hi Pankaj, On 01/29/2013 02:04 PM, Pankaj Kasar wrote: Dear all, Please give me JAVADOC file for ECT
30/01/2013
Pankaj Kasar
, …
Behnaz Changizi
4
01/12/2012
Error while installing ECT plugin
Hi all, The reo homepage is updated by instruction about installing prerequirements of BPMN2Reo
unread,
Error while installing ECT plugin
Hi all, The reo homepage is updated by instruction about installing prerequirements of BPMN2Reo
01/12/2012
Pankaj Kasar
, …
Behnaz Changizi
6
30/11/2012
BPMN to REO project basic material
Dear members I have downloaded your ECT plugin for eclipse. I want to install that plugin through
unread,
BPMN to REO project basic material
Dear members I have downloaded your ECT plugin for eclipse. I want to install that plugin through
30/11/2012
Alireza Farhadi
, …
Behnaz Changizi
4
18/09/2012
What is the meaning of the constraint formula for LossySync context-dependent
Thank you Alireza for your interest in my work and thanks Jose for his explanations. The coloring
unread,
What is the meaning of the constraint formula for LossySync context-dependent
Thank you Alireza for your interest in my work and thanks Jose for his explanations. The coloring
18/09/2012
Alireza Farhadi
, …
Pankaj Kasar
7
14/09/2012
Implementation details of ReoLive
Respected Sir, I am Computer Engineer and now pursuing my post graduate Degree in computer
unread,
Implementation details of ReoLive
Respected Sir, I am Computer Engineer and now pursuing my post graduate Degree in computer
14/09/2012
Mark Santcroos
, …
Jose Proenca
4
25/06/2012
Distributed Reo Engine
Dear Pooyan, Note that you will probably have to download the source code and compile it, which means
unread,
Distributed Reo Engine
Dear Pooyan, Note that you will probably have to download the source code and compile it, which means
25/06/2012
Alireza Farhadi
,
José Proença
2
15/05/2012
Execution Trace of Dreams for reliable LossySync
Dear Alireza Farhadi, > There is an example in section 7.4.1 named reliable LossySync connector
unread,
Execution Trace of Dreams for reliable LossySync
Dear Alireza Farhadi, > There is an example in section 7.4.1 named reliable LossySync connector
15/05/2012
Alireza Farhadi
,
Christian Krause
2
10/04/2012
Is Reo Automata's enabledness property equal with ACA's synchronous region in-dependency property
Dear Alireza, On 04/10/2012 04:48 PM, Alireza Farhadi wrote: > Is there correct that these 2 sub
unread,
Is Reo Automata's enabledness property equal with ACA's synchronous region in-dependency property
Dear Alireza, On 04/10/2012 04:48 PM, Alireza Farhadi wrote: > Is there correct that these 2 sub
10/04/2012
Alireza Farhadi
,
José Proença
2
19/03/2012
Distributed Reo
Dear Alireza, The main differences between a distributed Reo engine (as Dreams) and a centralised Reo
unread,
Distributed Reo
Dear Alireza, The main differences between a distributed Reo engine (as Dreams) and a centralised Reo
19/03/2012
Alireza Farhadi
,
Natallia Kokash
3
12/03/2012
How to calculate Reo connector time delay with Action Constraint Automata
Dear Alireza, Action constraint automata allow us to avoid unnecessary synchronization when several
unread,
How to calculate Reo connector time delay with Action Constraint Automata
Dear Alireza, Action constraint automata allow us to avoid unnecessary synchronization when several
12/03/2012
Alireza Farhadi
,
Christian Krause
4
05/03/2012
example of Time Constraint Automata for Reo network by mCRL2
Hi Alireza, no, there is no public SVN. If you want to take a look at the source code, follow the
unread,
example of Time Constraint Automata for Reo network by mCRL2
Hi Alireza, no, there is no public SVN. If you want to take a look at the source code, follow the
05/03/2012
Alireza Farhadi
,
Christian Krause
2
30/01/2012
How to understand proving correctness of mcrl2 translation of Reo network
Hi Alireza, Reo is a modeling language with formal operational semantics. The paper you are refering
unread,
How to understand proving correctness of mcrl2 translation of Reo network
Hi Alireza, Reo is a modeling language with formal operational semantics. The paper you are refering
30/01/2012
Alireza Farhadi
17/12/2011
CA with Inputs and Outputs
Dear Member, I recently read a new paper of Natallia Kokash et al. (http://homepages.cwi.nl/~kokash/
unread,
CA with Inputs and Outputs
Dear Member, I recently read a new paper of Natallia Kokash et al. (http://homepages.cwi.nl/~kokash/
17/12/2011
Alireza Farhadi
,
Ziyan Maraikar
3
03/12/2011
How to a Model checker e.g. Vereofy check a LTL formula against a Reo model or equivalent CA
Thanks A Lot Dear Ziyan. On Sat, Dec 3, 2011 at 8:12 PM, Ziyan Maraikar <ziy...@gmail.com>
unread,
How to a Model checker e.g. Vereofy check a LTL formula against a Reo model or equivalent CA
Thanks A Lot Dear Ziyan. On Sat, Dec 3, 2011 at 8:12 PM, Ziyan Maraikar <ziy...@gmail.com>
03/12/2011
Alireza Farhadi
, …
Christian Krause
9
18/11/2011
Model checking of Reo models with mcrl2 - DoorController mcrl2 specifovation
OK Dear Christian I found that in second your mu-calculus references "I" means for choice
unread,
Model checking of Reo models with mcrl2 - DoorController mcrl2 specifovation
OK Dear Christian I found that in second your mu-calculus references "I" means for choice
18/11/2011
Alireza Farhadi
,
Christian Krause
6
12/10/2011
how to build a Reo connector from a constraint automata
Alireza, please read on... On 10/12/11 17:15, Alireza Farhadi wrote: > Dear Christian, > >
unread,
how to build a Reo connector from a constraint automata
Alireza, please read on... On 10/12/11 17:15, Alireza Farhadi wrote: > Dear Christian, > >
12/10/2011
Behnaz Changizi
,
Christian Krause
3
06/10/2011
Modifying EditPart classes ro reflect priority
One more tip: try first to get the update functionality wrking, eg just change the foreground color
unread,
Modifying EditPart classes ro reflect priority
One more tip: try first to get the update functionality wrking, eg just change the foreground color
06/10/2011
Alireza Farhadi
,
Christian Krause
2
02/10/2011
Why some ports are not triggered in Reo Animation and dose not exist in Extended Automata
Hi Alireza, the two SyncDrains at P0 and P1 will definitely not be able to fire. Let's look at
unread,
Why some ports are not triggered in Reo Animation and dose not exist in Extended Automata
Hi Alireza, the two SyncDrains at P0 and P1 will definitely not be able to fire. Let's look at
02/10/2011
Alireza Farhadi
,
Christian Krause
3
28/09/2011
How to check equality of two channel token values in a Reo connector
Thanks Christian for you kindness. If you let me, ask a lot of question in the future. Regards,
unread,
How to check equality of two channel token values in a Reo connector
Thanks Christian for you kindness. If you let me, ask a lot of question in the future. Regards,
28/09/2011
Alireza Farhadi
,
Christian Krause
4
21/09/2011
How to generate extended automta for a Reo circuit contains filter channel
Dear Alireza, please read on.. On 09/21/11 17:40, Alireza Farhadi wrote: > Dear Dr Krause, >
unread,
How to generate extended automta for a Reo circuit contains filter channel
Dear Alireza, please read on.. On 09/21/11 17:40, Alireza Farhadi wrote: > Dear Dr Krause, >
21/09/2011
Bat Pul
, …
Behnaz Changizi
9
20/09/2011
priority merger
Hi Bat, Currently there is no tool support for priority in ECT. However, if you are familiar with
unread,
priority merger
Hi Bat, Currently there is no tool support for priority in ECT. However, if you are familiar with
20/09/2011
Alireza Farhadi
17/09/2011
how to construct extended automata in ECT
Dear Behnaz, if you remember you introduced me to reference document: Farhad Arbab, Christel Baier,
unread,
how to construct extended automata in ECT
Dear Behnaz, if you remember you introduced me to reference document: Farhad Arbab, Christel Baier,
17/09/2011
Alireza Farhadi
,
Christian Krause
2
12/09/2011
valve with fifo1 Reo2EA error in ECT
Hi Alireza, my guess would be that the Reo2EA converter has a problem with one of the components (
unread,
valve with fifo1 Reo2EA error in ECT
Hi Alireza, my guess would be that the Reo2EA converter has a problem with one of the components (
12/09/2011