Spinroot

A forum for Spin users

You are not logged in.

#1 2011-09-26 20:45:14

peter.draisal
Member
Registered: 2011-09-26
Posts: 1

A graphical tool drawing communication strcuture of promela

Hi,

I'm totally a newcomer to this field and my question is probably so much trivial! I'm urgently needing a tool to draw communication structure (channels, proctypes, messages sent between them,...) directly from Promela source code. I just found EpiSpin providing such a tool but the way it draws proctypes and communication among them is not suitable for me. I'd rather to have a timeline specificly for each proctype (parallel lines drawn) and then have links between them signifying the message.

Thanks a lot,

Offline

#2 2011-09-27 04:59:18

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: A graphical tool drawing communication strcuture of promela

have you tried running iSpin?
it has a nice graphical view of message exchanges

Offline

Board footer

Powered by FluxBB