Differences

This shows you the differences between two versions of the page.

--- ide_transprop [2020/05/06 02:56]
admin [Property Definition]
+++ — (current)
@@ Line 1: / Line 1: @@
-===== Transition Properties =====
-===== Transition Properties =====
-  * Transition Name - a unique identifier assigned to the transition.
-  * Hide Name - not to display transition name on model and graphs
-  * Description - a freetext description
-  * Color - transition color.
-  * Text Color - transition label color
-  * Weight - weight (importance), transitions with higher weight will likely be traversed more often by Random sequencer
-  * Traversal Required - minimum number of times the transitions must be traversed. Default 1. Set it to 0 for transitions are required to be traversed (tested).
-  * [[#Guard Conditions|Guard]] - boolean expression, transition can  not be traversed until this condition evaluates to true
-  * [[#Guard Hint / Satisfying Hint | Guard Hint]] - a //code / hint// describing the guard, used by sequencer to find a transition that can resolve the //code / hint//
-  * [[#Guard Hint / Satisfying Hint| Satisfying Hint]] - matching //code / hint// of a guard, signal to sequencer that this transition can resolve the guard with the //code / hint//
-  * Response Max (ms) - maximum number of milliseconds when exceeded to add the traversal of this transition to the slow performance tally.
-----
-==== Guard Conditions ====
-Guard conditions are used to selectively turning on and off a transition based on mScript expression which evaluates to true or false (see [[mScriptFunc|mScriptFunc]]).
-Guard condition is specified with an mscript expression. Typically you would use any of the boolean operation mscript functions, e.g. $compare(), $isTrue().
-You may nest the mscript function calls.
-For example,
-     $compare('$getTitle()','eq','$getData('$getVar('dsName')')')', 'expectedTitle')
-or more complex expression like:
-     $and('$isFalse('$compare('$getTitle','contains','loginID')')', '$getVar('abc')')
-With Rel. 3.2 (new), you may use [[Guard Trigger|Guard trigger]] for multiple and complex guard conditions.
-----
-==== Guard Hint / Satisfying Hint ====
-When traversing the model, sequencers must deal with the transitions/edges that fail due to guard conditions.  All sequencer are designed to automatically resolve the guard failures by finding an alternate path.  Most of the time this is sufficient.  From time to time the sequencer may need some //hints// to resolve the guard failure or find better path to resolve a particular guard failure.
-//Hint// is a code or series of codes assigned to transitions/edges.
-  * //Guard Hint// - hint used to find transition/edge with matching //Satisfying Hint//
-  * //Satisfying Hint// - hint used to determine if the transition/edge can be used to resolve the failed guard of a transition/edge.
-//Hint// may be shared by multiple transitions/edges.  For example a set of transitions/edges may require user to be logged in. It's obvious that in order to perform the login, you can just traverse the login transition (State Diagram) or edge that leads to the login process (Activity Diagram).  Since computer doesn't know that, we need a mechanism to bridge the transition/edge that requires the login and the transition that performs the login. And we do so by assigning the designated //hint// to both transitions/edges.
-If multiple //hints// are assigned (separated by comma), any of the //hints// will be sufficient to satisfy the demanding transition/edge.
-----