Hi,

the UML statemachine diagrams currently never show guards' names, only
their OCL expressions.  The corresponding chapter// "15.3.14 Transition"
in the UML superstructure specifies a transition's notation like this:

    /Notation
    The default notation for a transition is defined by the following
    BNF expression:
    /

    /<transition> ::= [<trigger> [‘,’ <trigger>]* [‘[‘
    *<guard-constraint>*’]’] [‘/’ <behavior-expression>]]"/

Where "<guard-constraint>" is a non-terminal and refers to the guard's
constraint, which is of type Constraint. For the latter, the notation is
defined in chapter "7.3.10 Constraint (from Kernel)":

    /Notation/
    /A Constraint is shown as a text string in braces ({}) according to
    the following BNF:

    // //*<constraint>* ::= ‘{‘ [ <name> ‘:’ ] <Boolean-expression> ‘ }’
    /

So it seems that the UML spec mandates displaying of guards' names.

I tried to point this out in this topcased bug
<http://gforge.enseeiht.fr/tracker/?func=detail&atid=109&aid=2196&group_id=52>
(and also provided a CVS patch), but I haven't received any answer yet
for quite some time now. Maybe somebody with commit rights for the UML
editor could please comment on this issue?

Regards + thanks,
Jörg
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users

Reply via email to