If I understand correctly you want to compare the input of a Filter
channel with a constant. In the tool you can either use string
expressions for that written as "mystring" or integers, e.g. 1, 2, 3
etc. Let's assume you use 0 and 1 as constants. Then you would have to
write your Filter constraints as:
take_fork0==1
(name of the source node '==' constant). You can also use other standard
comparison checks, such as >, >= etc. (but not = because this is used
for assignments).
With this you should be able to generate the CA -- I attached a
screenshot of it. By the way: here you will get transitions which will
never be able to fire, because of constraints of the form (x==1 & x==0).
This could be automatically removed but currently it is not implemented.
If you specify no or an empty constraint, 'true' will be used.
Cheers,
Christian
> /
> /
> /Unknown error in/
> /cwi.reo2ea.ca.transform.channels.FilterTransform.transform(FilterTransform.java:47)/
>
> I'm sure I have some mistakes in the circuit. Please guide me how to
> correct them and how to checks detail behaviors of designed network to
> expected behavior. Is Solution Tab in ECT help me to sure from
> expected behavior.
>
> How I can use it? Is there any sample?
>
> Regards
> Alireza Farhadi
>
> --
> 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.
--
Christian Krause
Hasso Plattner Institute for Software Systems Engineering
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Phone: +49 (0)331-5509-525
To unsubscribe from this group, send email to reo-dev+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/reo-dev?hl=en.
--
Christian Krause
Hasso Plattner Institute for Software Systems Engineering
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Phone: +49 (0)331-5509-525
--
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+unsubscribe@googlegroups.com.
please read on..
On 09/21/11 17:40, Alireza Farhadi wrote:
> Dear Dr Krause,
>
> Thanks for your correction,
>
> If I want to check existence of a specified token that is generated by
> transform channel in previous steps then how do I setup this transform
> channel for generating 0 or 1 constant as token value(what do I write
> in expression property of transform channel).
If I am not mistaken, you have to write it as an assignment where you
refer to a data transformation function -- so the data transformation is
not defined in-place(!). I did not try it out, but my guess is that for
a Transform channel between two nodes "in" and "out" you need to write
an expression like this:
out=f(in)
This constraint should then occur also in the CA. If you generate code,
I expect that the function "f" will be interpreted as a name of a method
which you have to implement. (Sorry, but I am not sure about this,
because someone else implemented it a while ago already)
If you want to do verification of your connector, please take a look at
the mCRL2 plug-in -- it has full support for data and data-aware
channels and scales much better. This is described in a number of papers
and works very well in practice.
>
> Next question is as you mentioned this syntax:
> (name of the source node '==' constant)
> for expression property of filter channel, what happens if filter
> channel source end dose not lay near border source node with a name
> (assume near of internal node without name). for this situation what
> name is used for Boolean expression.
>
You must name the nodes which you want to use. Otherwise there is no way
to reference them. Note also that when you generate a CA, you have to be
careful with hiding. If you do a series of data transformation and use
buffer in between, then hiding all internal nodes can be dangerous.
Cheers,
Christian
> <mailto:reo...@googlegroups.com>.
> To unsubscribe from this group, send email to
> reo-dev+u...@googlegroups.com
> <mailto:reo-dev%2Bunsu...@googlegroups.com>.
> For more options, visit this group at
> http://groups.google.com/group/reo-dev?hl=en.
>
>
>
> --
> Christian Krause
> Hasso Plattner Institute for Software Systems Engineering
> Prof.-Dr.-Helmert-Str. 2-3
> D-14482 Potsdam, Germany
>
> Phone: +49 (0)331-5509-525
>
> --
> 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
> <mailto:reo...@googlegroups.com>.
> To unsubscribe from this group, send email to
> reo-dev+u...@googlegroups.com
> <mailto:reo-dev%2Bunsu...@googlegroups.com>.
> For more options, visit this group at
> http://groups.google.com/group/reo-dev?hl=en.
>
>
> --
> 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.