Groups
Sign in
Groups
reo-dev
Conversations
About
Send feedback
Help
reo-dev
Contact owners and managers
1–30 of 89
Mark all as read
Report group
0 selected
Alireza Farhadi
,
Christian Krause
2
9/9/13
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
9/9/13
Alireza Farhadi
, …
Christian Krause
5
4/11/13
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
4/11/13
Pooyan Jamshidi
,
Christian Krause
3
2/13/13
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
2/13/13
Christian Krause
2/13/13
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
2/13/13
Jose Proenca
, …
Dave Clarke
6
2/11/13
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,
2/11/13
Alireza Farhadi
,
Natallia Kokash
2
2/10/13
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
2/10/13
Christian Krause
,
Alireza Farhadi
2
2/6/13
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
2/6/13
Pankaj Kasar
,
Christian Krause
2
1/30/13
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
1/30/13
Pankaj Kasar
, …
Behnaz Changizi
4
12/1/12
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
12/1/12
Pankaj Kasar
, …
Behnaz Changizi
6
11/30/12
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
11/30/12
Alireza Farhadi
, …
Behnaz Changizi
4
9/18/12
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
9/18/12
Alireza Farhadi
, …
Pankaj Kasar
7
9/14/12
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
9/14/12
Mark Santcroos
, …
Jose Proenca
4
6/25/12
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
6/25/12
Alireza Farhadi
,
José Proença
2
5/15/12
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
5/15/12
Alireza Farhadi
,
Christian Krause
2
4/10/12
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
4/10/12
Alireza Farhadi
,
José Proença
2
3/19/12
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
3/19/12
Alireza Farhadi
,
Natallia Kokash
3
3/12/12
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
3/12/12
Alireza Farhadi
,
Christian Krause
4
3/5/12
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
3/5/12
Alireza Farhadi
,
Christian Krause
2
1/30/12
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
1/30/12
Alireza Farhadi
12/17/11
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/
12/17/11
Alireza Farhadi
,
Ziyan Maraikar
3
12/3/11
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>
12/3/11
Alireza Farhadi
, …
Christian Krause
9
11/18/11
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
11/18/11
Alireza Farhadi
,
Christian Krause
6
10/12/11
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, > >
10/12/11
Behnaz Changizi
,
Christian Krause
3
10/6/11
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
10/6/11
Alireza Farhadi
,
Christian Krause
2
10/2/11
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
10/2/11
Alireza Farhadi
,
Christian Krause
3
9/28/11
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,
9/28/11
Alireza Farhadi
,
Christian Krause
4
9/21/11
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, >
9/21/11
Bat Pul
, …
Behnaz Changizi
9
9/20/11
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
9/20/11
Alireza Farhadi
9/17/11
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,
9/17/11
Alireza Farhadi
,
Christian Krause
2
9/12/11
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 (
9/12/11