Issue 19888: UML 2.5: StateMachine Vertex needs to be made a kind of (uml2-rtf)
Source: Simula Research Laboratory (Mr. Bran Selic, selic(at)acm.org)
Nature: Uncategorized Issue
Severity: 
Summary: In clause 14.3 dealing with state machine redefinition, State is declared as a kind of RedefinableElement (see Figure 14.37). This is necessary not only to allow States to be refined, but also because adding a Transition in an extending state machine necessarily has an impact on the "source" and "target" properties of the States that serve as the source and target (respectively) of that Transition. However, the source and target of a Transition is not necessarily a State; it could, in fact, be any kind of Vertex, such as a Pseudostate.


Consequently, it is necessary to declare Vertex as a kind of RedefinableElement. Since State is a kind of Vertex, the necessary change to the metamodel is to replace State (see figure 14.37) by Vertex
Resolution: 
Revised Text: 
Actions taken:
April 22, 2016: received issue
Discussion: 

End of Annotations:=====
uthentication-Results: p01c11m113.mxlogic.net; spf=pass
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:from:date:message-id:subject:to;
        bh=FWTyBpbC0rhFkS4dbwUiP0QtuOmSsTO0AtFeBowVwyo=;
        b=aOcAZjWjYCxNYMWpxR16yTCOtei0p6xMXkV7qcgRx92P0HCIjePR5Q/et1w+bObyrE
         FSDY+lh4yjyDKCg+xstc7nd+ZxMa2WmOKW7DnKYVzhizSEB8xJXRyyAbYZVDu6JDg/6W
         xmG6II/FmTOVM0x7Mcq82ci44GmsR1eOHtWtNpeRiJkTq6JDjgT9jDeFemcVE1VQ3DOq
         WJbuVziMChQbTOl5vDJP6cua8oiW7VV4pbCO7L6Lso/zJLVZG/fXS3lDo/p8qv/qVd4K
         PZc7jHOoGbtCFRNByTdQoPOdKo1k1EnaXUOmZh7wr4LOHe8uFHx/c6gmvXvOVBbpM9sb
         B21A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:sender:from:date:message-id:subject
         :to;
        bh=FWTyBpbC0rhFkS4dbwUiP0QtuOmSsTO0AtFeBowVwyo=;
        b=Gz8pAo1YpupNEYa/094LFQwgJ8MgW7PSJaeVYRZgqE7v34P9NKBJo0HnkOe63oOfCq
         leb9XXVrlx8HQq4ki+OIv19oUmsEuEIWMrE5/hhtXlnqjENR4DXBb0fJkntmA62WXEFu
         lhvauUdIqmFEeq/+seq3yNiLp/58mlu3i1Ro07OHWt8Qr1zLYKXGk40L43DjMDQvYylt
         wF6dsAoE4VCQPf7brJZKfFegHJu1d0wW6wynqVngDZTzMuEnfBORe0A9L99R7hHO+dbs
         Z2P+D/00KRpbK8u/YR8yEcW+T/CibRvoRbBK6mJkHcKirBYcHZzvSspMvKh4z+0CUdp/
         7Djw==
X-Gm-Message-State: AOPr4FUA9hUPSi8lq7wD5XNlgp0Jk5dKTGpMPH5PFaI+LNVlbC83BueVV9OllkN0GXL0kzc35O5pa/oxuoKgmQ==
X-Received: by 10.157.15.6 with SMTP id 6mr9206607ott.20.1461335341346; Fri,
 22 Apr 2016 07:29:01 -0700 (PDT)
Sender: bran.selic@gmail.com
From: Bran Selic <selic@acm.org>
Date: Fri, 22 Apr 2016 10:28:21 -0400
X-Google-Sender-Auth: zDEGPpYWbLWuk2UxYvOn4Ep0jbQ
Subject: UML 2.5: StateMachine Vertex needs to be made a kind of
 RedefinableElement instead of State
To: "issues@omg.org" <issues@omg.org>
X-AcceptDeny: action=allow, pattern=bran.selic@gmail.com, value=domainFrom
X-MAIL-FROM: <bran.selic@gmail.com>
X-SOURCE-IP: [209.85.218.53]
X-Spam: exempt
X-Virus-Scanned: amavisd-new at omg.org


In clause 14.3 dealing with state machine redefinition, State is declared as a kind of RedefinableElement (see Figure 14.37). This is necessary not only to allow States to be refined, but also because adding a Transition in an extending state machine necessarily has an impact on the "source" and "target" properties of the States that serve as the source and target (respectively) of that Transition. However, the source and target of a Transition is not necessarily a State; it could, in fact, be any kind of Vertex, such as a Pseudostate.


Consequently, it is necessary to declare Vertex as a kind of RedefinableElement. Since State is a kind of Vertex, the necessary change to the metamodel is to replace State (see figure 14.37) by Vertex.