Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
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 22:05 Go to next message
Juergen Dingel is currently offline Juergen DingelFriend
Messages: 42
Registered: January 2015
Member
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 22:41 Go to previous messageGo to next message
Ernesto Posse is currently offline Ernesto PosseFriend
Messages: 350
Registered: March 2011
Senior Member
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 23:05 Go to previous messageGo to next message
Ernesto Posse is currently offline Ernesto PosseFriend
Messages: 350
Registered: March 2011
Senior Member
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] Thu, 02 February 2017 02:58 Go to previous message
Juergen Dingel is currently offline Juergen DingelFriend
Messages: 42
Registered: January 2015
Member
Ok, thanks, Ernesto!

Juergen
Previous Topic:Model validation error
Next Topic:Do activities
Goto Forum:
  


Current Time: Thu Sep 20 00:42:07 GMT 2018

Powered by FUDForum. Page generated in 0.02192 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top