Re: [Scstudio-devel] simple tutorial needed

[Gotthard, P. <Pet...@Ho...>]

Hi,
The MSC standard allows you to specify parameters, conditions functions
(none of this is implemented), but SDL is more suitable if you want to
model how a single node reacts when receiving a value.
Nevertheless, I have added your feature request to our "to do" list.

Petr

-----Original Message-----
From: gl...@ma... [mailto:gl...@ma...] 
Sent: Monday, February 02, 2009 1:38 AM
To: Gotthard, Petr
Cc: ba...@ma...; scs...@li...
Subject: Re: [Scstudio-devel] simple tutorial needed

Hi again!!!

I downloaded the Msc thesis but could not understand much about what is
implemented and how. For example, how are conditions in the MSCs
implemented?   

Concerning the example I have in mind, I would be interested in having a
way to test that a message parameter is set and its value. Based on
this, 
instance A could perform some actions. So, it is "to verify how the
values "flow" through the system". But I am not sure if this is possible
with MSC only or I should use SDL or UML. 

Thank you, 

GL 

> Hi!
> 
> First of all, thank you for your interest in the add-on!
> 
> There is a master thesis that describes capability of the current
> version. You may download it from
> http://is.muni.cz/th/72519/fi_m/thesis.pdf. First part of the thesis
> includes a nice introduction of the implemented MSC subset.
> 
> When time permits I plan to extend the User Instructions document
> http://www.fi.muni.cz/~xgottha1/scstudio/UserInstructions.pdf to cover
> also tutorial on how to use the Visio interface. Besides these two
> documents there is currently no other tutorial.
> 
> 
> Concerning your intention:
> You should drag/drop two "Line Instance" and two "Message" shapes on
the
> page. Then move the message line begin/end close to an instance line,
so
> it gets glued.
> 
> The only problem is that the current add-on version does not support
> parameters. (Of course, any missing functionality can be implemented.)
> Do you want just to display the parameter, or do you expect the
> algorithms to verify how the values "flow" through the system?
> 
> 
> Best Regards
> Petr
> 
> -----Original Message-----
> From: gl...@ma... [mailto:gl...@ma...] 
> Sent: Saturday, January 31, 2009 1:50 AM
> To: scs...@li...
> Subject: [Scstudio-devel] simple tutorial needed
> 
> Hi!
> 
> Is there a tutorial in order to start using your add-on? It seems to
be
> a 
> good approach to build and verify MSCs according to the description of
> the page, however some hints are necessary.
> 
> I want to build a MSC where two nodes (A and B) exchange messages
> (request and reply) that have parameters inside them. 
> For example, 
> 
> >From A to B:  request(x)
> B sets x=1;
> >From B to A:  reply(x=1)
> A reads x
> 
> Is such scenario possible?
> 
> Thank you,
> 
> GL
> 
>
________________________________________________________________________
> __
> Mail.gr - Get Your Free Greek E-mail Address at http://www.mail.gr/
> Find.gr - Discover The Greek Search Engine at http://www.find.gr/
> 

________________________________________________________________________
__
Mail.gr - Get Your Free Greek E-mail Address at http://www.mail.gr/
Find.gr - Discover The Greek Search Engine at http://www.find.gr/