Eclipse Community Forums: Papyrus for Real Time » why no triggerless transitions out of non-pseudo states?

Home » Eclipse Projects » Papyrus for Real Time » why no triggerless transitions out of non-pseudo states?

why no triggerless transitions out of non-pseudo states? [message #1753111]

Wed, 01 February 2017 17:05

Eclipse User

I have been asked why Papyrus-RT does not allow transitions that are trigger-less and thus become enabled as soon as the source state has been entered.

My response was that the execution of transitions should be driven by external input only and that otherwise it might be hard to define the notion of a 'stable state' etc.

What is the official take on this?

Thanks

Juergen

Re: why no triggerless transitions out of non-pseudo states? [message #1753112 is a reply to message #1753111]

Wed, 01 February 2017 17:41

Eclipse User

Bran could give an "official" answer, but as far as I can see, you've got the gist of it: state machines define behaviour that is driven by external stimuli, rather than defining "autonomous" behaviour (cf. tau transitions in process algebras).

It should be noted that you can have trigger-less transitions from pseudo-states. In fact you can only have trigger-less transitions from pseudo-states.

You should also note that you could emulate such autonomous behaviour by "self-messaging": a capsule with a connector to itself (e.g. capsule A with ports p and q and a connector from A.p to A.q). Then you could have a state S with an entry action "p.m().send()" and transition t from S that listens to a message m on port A.q.

I'm not sure if that pattern really makes much sense in practice, but the language does allow it.

Re: why no triggerless transitions out of non-pseudo states? [message #1753114 is a reply to message #1753112]

Wed, 01 February 2017 18:05

Eclipse User

Actually, a small clarification:

Quote:

In fact you can only have trigger-less transitions from pseudo-states.

Technically you can have a trigger in a transition emanating from an exit point, as long as that is the first transition segment in the transition chain.

By the way, the code generator itself just ignores triggers where they are not expected.

Re: why no triggerless transitions out of non-pseudo states? [message #1753117 is a reply to message #1753114]

Wed, 01 February 2017 21:58

Eclipse User

Ok, thanks, Ernesto!

Juergen

Previous Topic:	Model validation error
Next Topic:	Do activities

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jun 13 14:57:36 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter