UML14 — extension to the notation for a transition

Summary: I would like to make an appeal for an extension to the notation for a transition
to allow its effect to be specified declaratively rather than only imperatively by
means of an action sequence, e.g.

e() / [p]

While I realize there are ways to work around this (e.g. by writing "e() / pTrue()"
where the query pTrue() has the postcondition "result = p and in targetState"), I
think the issues are readability and ease of use.

No Data Available