Reo2MC

[Pooyan Jamshidi]

Hi all

I have a problem with the Reo to Markov chain converter in ECT (Prism output). For some very simple connectors which are linear in a way that have for example 1 writer and 1 reader the converter works fine. but in case when I want to convert for example a messenger or ordering connector which has more than 2 reader-writes when i set the output to Prism model it simply does not give me the result. I was wondering is there any special setting should I try or it's the bug of the converter? the matrix output works fine but the Prism output seems have a problem.

I also attached an example. For example, converting SC, SC1 are fine but SC2 and SC3 is not possible to get the Prism model. 

Would someone please help me?

Cheers

--

Kindly

Pooyan Jamshidi, 

[Christian Krause]

Hi Pooyan,

I tried to reproduce the bug using the new version of ECT. For me it worked fine. For example, the screenshot in the attachment shows the generated PRISM file for the Ordering connector.

Cheers,
Christian

--
You received this message because you are subscribed to the Google Groups "reo-dev" group.
To post to this group, send email to reo...@googlegroups.com.
To unsubscribe from this group, send email to reo-dev+u...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/reo-dev?hl=en.

[Pooyan Jamshidi]

Hi Christian

Yes, I tried it now with my examples and it seems that the conversion works fine in the new version of ECT.

Thanks a million for your efforts making it more accessible.

Cheers,

Pooyan

To unsubscribe from this group and stop receiving emails from it, send an email to reo-dev+u...@googlegroups.com.

To post to this group, send email to reo...@googlegroups.com.

Visit this group at http://groups.google.com/group/reo-dev?hl=en.

For more options, visit https://groups.google.com/groups/opt_out.
 
 

--

Kindly

Pooyan Jamshidi,