example of Time Constraint Automata for Reo network by mCRL2

[Alireza Farhadi]

Dear Members,

I have a scenario about a simple business process that contains 2 sequential task. One of them for requesting CRUD operations on a master data and other for confirming those operations requested in first task then requested changes must be affected in the master data. In this scenario we encounter the situation because of concurrent use of this process. When 2  concurrent requests have overlaps for common region of master data that must be changed then along mentioned two task a policy must be applied till no interference does not happen. For example proposed coordination network must prohibit one first task instance requests for deleting a record while other first task instance requests for updating it concurrently and finally after confirming requests aforementioned consistency property must be preserved.

In fact I want to model Application Level Locking scenario in Reo and I have question that could be used Time Constraint Automata semantic of Reo for this scenario. Meanwhile in Dr Natallia Kokash et al work (http://homepages.cwi.nl/~kokash/documents/SEFM10.pdf) we have a good example for auction process.

Regards,

Alireza Farhadi

[Christian Krause]

Dear Alireza,

in general, I see no reason why you should not be able to use Timer
channels e.g. based on the TCA semantics for your scenario. It depends a
bit on what kind of timed behavior you want to model.

Best regards,
Christian

> <http://homepages.cwi.nl/%7Ekokash/documents/SEFM10.pdf>) we have a

> good example for auction process.
>
> 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.

[Alireza Farhadi]

Dear Christian,

Thanks for your quick replies,

As you mentioned, ECT does not still support for generating TCA for Reo connectors. Is there possible for any person from outside of your group based on your research work extends ECT. I find some Java sample code in Development section of reo web site but in other side that mentioned no public svn source code access exist.

Regards,

Alireza Farhadi

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.

--
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.

[Christian Krause]

Hi Alireza,

no, there is no public SVN. If you want to take a look at the source code, follow the import instructions here: http://reo.project.cwi.nl/cgi-bin/trac.cgi/reo/wiki/Development#SourceCode
The Reo-to-MCRL2 conversion tool is implemented in the plug-in cwi.reo.mcrl2.

If you are interested in TCA, you may also want to look at the PhD thesis and related publications by S. Kemper: http://csd.informatik.uni-oldenburg.de/persons/stephanie.kemper/eindex.html

Best wishes,
Christian

Am 04.03.2012 17:20, schrieb Alireza Farhadi:

Dear Christian,

Thanks for your quick replies,

As you mentioned, ECT does not still support for generating TCA for Reo connectors. Is there possible for any person from outside of your group based on your research work extends ECT. I find some Java sample code in Development section of reo web site but in other side that mentioned no public svn source code access exist.

Regards,

Alireza Farhadi

On Tue, Feb 28, 2012 at 1:13 AM, Christian Krause <hensh...@gmail.com> wrote:

Dear Alireza,

in general, I see no reason why you should not be able to use Timer channels e.g. based on the TCA semantics for your scenario. It depends a bit on what kind of timed behavior you want to model.

Best regards,
Christian

On 02/27/2012 03:53 PM, Alireza Farhadi wrote:

Dear Members,

I have a scenario about a simple business process that contains 2 sequential task. One of them for requesting CRUD operations on a master data and other for confirming those operations requested in first task then requested changes must be affected in the master data. In this scenario we encounter the situation because of concurrent use of this process. When 2  concurrent requests have overlaps for common region of master data that must be changed then along mentioned two task a policy must be applied till no interference does not happen. For example proposed coordination network must prohibit one first task instance requests for deleting a record while other first task instance requests for updating it concurrently and finally after confirming requests aforementioned consistency property must be preserved.

In fact I want to model Application Level Locking scenario in Reo and I have question that could be used Time Constraint Automata semantic of Reo for this scenario. Meanwhile in Dr Natallia Kokash et al work (http://homepages.cwi.nl/~kokash/documents/SEFM10.pdf <http://homepages.cwi.nl/%7Ekokash/documents/SEFM10.pdf>) we have a good example for auction process.

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.

--
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.

--
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.