January 9, 2011

first day with fsp

As i said earlier, what happens here is you write the FSP code or rather the model to represent the concurrent behavior. So let's get started..

First of all, download the LTSA tool from here. This tool will let you type in the FSP model and it can generate the Labelled Transition Systems or the LTS for you. What I feel is that this LTS diagram is what that really brings out the meaning of the model. So what you downloaded is the LTS Analyzer tool. Apart from generating the LTS, this tool also has an option to run animation, which helps to know whether our model is actually what you want. Stay tuned...I'l update this post soon with my FPS stuff. A little busy now. :)


  1. maheeka2:35 PM

    :( busy these days..:( we have exams for 1 month. no fun at all.I will update soon :D