UML/SysML: Cameo Simulation Toolkit 19SP3: GOTCHA: Will not evaluate a guard using a token from a decisionInputFlow UNLESS a decisionInput Behaviour is explicitly defined (but Alf does)

This page identifies a possible issue, inconsistency, concern, error, or bug!
One of the ways Webel IT Australia helps promote tools, technologies, and languages is by donating a lot of time identifying, tracking, and reporting potential issues, in order to help vendors and developers improve the tools and technologies. In some cases, we also offer workarounds and advice for users. All issues tracked on our public site are offered most constructively and with sincerest gratitude to the tool vendors and technology developers.
DISCLAIMER: Vendors do not officially endorse issue analysis by Webel IT Australia.
Icon class
far fa-sticky-note
far fa-sticky-note
Note kind
Policy level
Specification keywords
UML keywords
Click on the image to view it full size
Magic Model Analyst® (Cameo Simulation Toolkit®) does not handle the following correctly without an explicit decisionInput Behaviour (but Action Language for Foundational UML (Alf) does), the [true] edge in the diagram shown will always be taken, no matter what the test:Boolean value is:
Related: Alf cleverly permits use in the outgoing edge guards of the name of an OutputPin that is the source of a decisionInputFlow, or the name of decisionInputFlow edge (if given).
Relates to
Related notes
Related notes (backlinks)
Related snippets (extracts)
Visit also
Visit also (backlinks)
External links