Issue 19821: Need to constrain where triggers can be put in state machines (uml2-rtf) Source: Simula Research Laboratory (Mr. Bran Selic, selic(at)acm.org) Nature: Uncategorized Issue Severity: Summary: There does not seem to be any constraint that prevents a transition that does not emanate from an actual State from having a trigger. This means, for instance, that a transition originating on an entry or exit pseudostate, or a history pseudostate, could have a trigger, which is semantically invalid. A constraint should be added to ensure that only transitions originating from an actual State (except for the Final state) can have a trigger. Resolution: Revised Text: Actions taken: July 24, 2015: received issue Discussion: End of Annotations:===== M-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=TP8FRu6L2lvVYcWXDcNYQ4UD+iJ5neBj6xSW2Gmtae4=; b=QybwHsko5fsIUY/9sPRH+lm34bPnCMyX+VFZPauFo5tyWZYKQNG9g7RIKzA/1OreK6 459BST9IAXJ1mlwTN322MMnvItd96ihrOY3054GnAbGBUMM30Y7+kcJhPhGYOyDtG/r7 eN5brCDWD38x9Qf8uCbIjUUYO/hw+F87wtECjEZzGAmhZqIms57HIB+KhTdLnFZpUJA4 uOWsW0ttQ7KuxCVn7QU0hgcCzRBJKpeh8tmU/jozWvTbeFNUTmovQjxSulnupAYKvoex uB10XFV53mHb7Gdg8LsQFVGMtFhRZ5x+0P+Pv8RGbVxiH2mDOIgz4wEAg8yr4CijIDP7 9J0w== X-Received: by 10.52.14.200 with SMTP id r8mr16246776vdc.79.1437741377934; Fri, 24 Jul 2015 05:36:17 -0700 (PDT) Sender: bran.selic@gmail.com From: Bran Selic Date: Fri, 24 Jul 2015 08:35:38 -0400 X-Google-Sender-Auth: s4NfM9nA254Y07WpvvtxxDKH0bU Subject: UML Issue: Need to constrain where triggers can be put in state machines To: "issues@omg.org" X-Virus-Scanned: amavisd-new at omg.org ​ There does not seem to be any constraint that prevents a transition that does not emanate from an actual State from having a trigger. This means, for instance, that a transition originating on an entry or exit pseudostate, or a history pseudostate, could have a trigger, which is semantically invalid. A constraint should be added to ensure that only transitions originating from an actual State (except for the Final state) can have a trigger.