Tools to provide front-end to work with Rebeca code

Asked By jeremiah mai 60 points N/A Posted on - 04/07/2012

Hi friends

Can any one tell me the names of tools which provide front-end using Rebeca code, and translate Rebeca code into input languages like SPIN and NuSMV?

Thanks

• Status: Open
• Question Views: 800
• Answer Count: 1
• Vote Up 0 Vote Down

• Answer Accepted: No
• Question Category: Modeling Languages

Answered By Parsh Auguston 0 points N/A #110252

Tools to provide front-end to work with Rebeca code

 

As far as I know there is no such tool that gives you the exact translation of the Rebecca code into the SPIN or in any other format. However you can translate the code by yourself by following the steps below.

1. First of all, make small chunks of the Rebecca code according to their functionality and see what they are doing.
2. Search over the internet for their translated code by searching them on the basis of what they are doing.
3. After that, do this for the rest of the chunks until you get a complete translated code.
4. After that, you can translate it into SPIN or NuSMV accordingly.

 

About Parsh Auguston

Questions
2

Answers
152

Best Answers
12

• Vote Up 0 Vote Down

• Posted on - 07/26/2012
• Question Category: Modeling Languages