Boost logo

Boost :

Subject: Re: [boost] [msm] eUML guard/action location
From: Michael Caisse (boost_at_[hidden])
Date: 2009-12-07 15:03:12


Stewart, Robert wrote:
>> - anonymous events. In this case, you have no event, so your syntax
>> would become:
>>
>> CurrentState() [Guard()]/(action()) = DestState()
>>
>
> What about this:
>
> CurrentState() any[Guard()]/(action()) = DestState()
>
> Pick another name for "any" if you like.
>
>

Hi Rob -

I like this too and nearly made the same suggestion.

ROOM triggers are a bit more complicated with a port and
signal (the event) associated. Either can be described as
'*' or any.

Ok... I looked up MSM's anonymous transitions again and
now I don't like it (o;

Christophe ... as far as I can tell by looking at the docs,
the MSM use of anonymous transitions transforms the source
state to *almost* be a UML choice pseudo state. What I was
describing above was actually a transition that matches
any event. But an event must occur to "step" the machine
forward.

Perhaps some refinement can be made such that anonymous
transitions can only be associated with a choice pseudo
state (introducing the actual choice concept).

I am still looking for a way to do what I described. A
transition that takes "any" event.

michael

-- 
----------------------------------
Michael Caisse
Object Modeling Designs
www.objectmodelingdesigns.com

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk