Eclipse Community Forums: Papyrus » State machine diagram - Check / Guard [State activity/status]

Home » Modeling » Papyrus » State machine diagram - Check / Guard [State activity/status]

State machine diagram - Check / Guard [State activity/status] [message #1763586]

Wed, 17 May 2017 12:12

Eclipse User

Hello,
In State Machine diagram, is it possible to add a guard to a transition to check if a state is active?
I found the following in MathWorks.com:
https://www.mathworks.com/help/stateflow/ug/checking-state-activity.html?requestedDomain=www.mathworks.com
Does papyrus have the same ability? If so, How can I implement it?
Thank you.

I am using Papyrus Neon 2, SysML 1.4.

Re: State machine diagram - Check / Guard [State activity/status] [message #1763679 is a reply to message #1763586]

Thu, 18 May 2017 10:09

Eclipse User

Currently, Papyrus does not support this option as there is no standardized way to handle it.

A workaround is to create a Boolean class attribute, set it to true in the entry action code of a state and back to false in the exit action. In the guard of a trigger, the value of this attribute can be checked.

Re: State machine diagram - Check / Guard [State activity/status] [message #1766759 is a reply to message #1763679]

Mon, 26 June 2017 19:24

Eclipse User

Appreciate your replay.

Sorry for not following up promptly.

Based on your advice, I add a Boolean attribute to my class (Block), I was able to check its value in a Transition guard as an Opaque Expression, with correct syntax highlighting by Papyrus.

But, I was not able to set the value, I tried to use OCL in Opaque Behavior in:
1. A Transition Effect
2. A State Entry action
3. A State Exit action
None of which worked, once I close the window, it shows "Opaque Behavior: null" in the diagram and when I open it, the OCL expression is gone.

I looked around, and it felt something like:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=493799

I am using Papyrus Neon 2, SysML 1.4.

Thank you.

[Updated on: Mon, 10 July 2017 05:27] by Moderator

Previous Topic:	importing extended requirements in SysML req table
Next Topic:	Usability: Location of Team Provider menu for submodules

Goto Forum:

-=] Back to Top [=-

Current Time: Wed Jul 23 01:15:23 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter