Any resources for writing a model in runway specification language and a view?

[Akhil Dixit]

Hello all,

I plan to model check a simple protocol in Runway for my academic project for distributed systems course.

I have made myself familiar with Runway, and the sample examples like counters, toomanybananas etc.

Runway is running locally on my machine, and I am ready with a rough draft of my model and view on paper.

I'm having difficulties in learning how to write the model in Runway Specification Language, as well creating a View. Can someone please suggest any resources?

Thanks

[Diego Ongaro]

Hi Akhil,

Thanks for your interest in Runway and the emails. The best resources are listed at the top of https://github.com/salesforce/runway-browser#readme. I just added a link to the Language Guide from the runway-compiler repo there, which may help you with syntax and semantics. Otherwise, I can only point you to examples found at https://github.com/search?q=runway-model. For example, runway-model-bookkeeper is one I wrote in June that you might want to look at.

If you're still stuck, we can try to work through specific issues here, or perhaps your instructor (Professor Alvaro rocks, say hi from me) or TAs can help.

Best,

Diego

--
You received this message because you are subscribed to the Google Groups "runway-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to runway-dev+unsubscribe@googlegroups.com.
To post to this group, send email to runwa...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/runway-dev/01333024-d758-43f2-8fe4-c148abb5c46e%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Akhil Dixit]

Hi Diego,

Thanks a lot for your posts! Your replies are really helpful.

I wish I had the language guide about a couple of weeks ago, but no worries, I'm pretty familiar with Runway Spec Language now, and trying to model the original Chord protocol from this paper. I just hope this hasn't been done before in Runway!

I'll open-source the code soon, and will keep asking doubts if I have any.

And yes, Peter is my instructor and he's awesome! Will surely say hi from you:)

Last but not the least, Runway is truly amazing!!

Thanks

On Monday, November 28, 2016 at 5:50:16 PM UTC-8, Diego Ongaro wrote:

Hi Akhil,

Thanks for your interest in Runway and the emails. The best resources are listed at the top of https://github.com/salesforce/runway-browser#readme. I just added a link to the Language Guide from the runway-compiler repo there, which may help you with syntax and semantics. Otherwise, I can only point you to examples found at https://github.com/search?q=runway-model. For example, runway-model-bookkeeper is one I wrote in June that you might want to look at.

If you're still stuck, we can try to work through specific issues here, or perhaps your instructor (Professor Alvaro rocks, say hi from me) or TAs can help.

Best,

Diego

On Thu, Nov 24, 2016 at 9:17 PM, Akhil Dixit <akad...@ucsc.edu> wrote:

Hello all,

I plan to model check a simple protocol in Runway for my academic project for distributed systems course.

I have made myself familiar with Runway, and the sample examples like counters, toomanybananas etc.

Runway is running locally on my machine, and I am ready with a rough draft of my model and view on paper.

I'm having difficulties in learning how to write the model in Runway Specification Language, as well creating a View. Can someone please suggest any resources?

Thanks

--
You received this message because you are subscribed to the Google Groups "runway-dev" group.

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

[Diego Ongaro]

Hey Akhil,

Glad you're getting the hang of Runway, and sorry the language guide wasn't very discoverable before. If there are other places that should link to it, please let me know or send a pull request.

I don't know of any Chord models in Runway, but you'll likely be interested in this related work by Pamela Zave on model checking Chord with Alloy: http://www.research.att.com/people/Zave_Pamela/custom/chord.html.

-Diego

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

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

To view this discussion on the web visit https://groups.google.com/d/msgid/runway-dev/e93a9f53-3bc8-4b81-b12b-15b617b4c598%40googlegroups.com.