Issue 5267: Well-formedness rules 4 and 6 on 2.12.3.4 PseudoState (uml2-superstructure-ftf)
Source: Model Driven Solutions (Mr. Steve Cook, steve-c(at)modeldriven.org)
Nature: Uncategorized Issue
Severity: 
Summary: Well-formedness rules 4 and 6 on 2.12.3.4 PseudoState make incorrect use of
oclIsKindOf, which should only take a single argument.
Resolution: 
Revised Text: 
Actions taken:
May 7, 2002: received issue
March 9, 2005: closed issue
Discussion: 
These constraints have been removed in UML 2.0, so this issue is no longer
applicable.
Disposition: Closed, no change
End of Annotations:=====
Subject: UML 1.4 issue 
To: issues@omg.org 
X-Mailer: Lotus Notes Release 5.0.7  March 21, 2001 
From: "Steve J Cook" <sj_cook@uk.ibm.com> 
Date: Tue, 7 May 2002 10:50:30 +0100 
X-MIMETrack: Serialize by Router on d06ml005/06/M/IBM(Release 5.0.9a
|January 7, 2002) at 
 07/05/2002 10:51:57 


Well-formedness rules 4 and 6 on 2.12.3.4 PseudoState make incorrect
use of

oclIsKindOf, which should only take a single argument.


Reply-To: Joaquin Miller <joaquin.no.spam@acm.org> 
X-Sender: miller@joaquin.net@pop3.joaquin.net 
X-Mailer: QUALCOMM Windows Eudora Version 5.1 
Date: Wed, 08 Oct 2003 12:56:34 -0700 
To: UML 2 Superstructure FTF <uml2-superstructure-ftf@omg.org> 
From: Joaquin Miller <miller@joaquin.net> 
Subject: ,gi, Vote on Ballot 1--changed 


X-Change Technologies changes its vote on ballot 1


X-Change Technologies votes yes on all issues except 4800, 5267, 5268, and 5731.


X-Change Technologies votes no on the resolution proposed for issue 4800.
Reason:  The issue is applicable to UML 2, and should not be resolved in this block vote.  We would vote yes in a separate vote if the resolution was: "This does not say which elements of the glossary are problematic, nor provide a general approach to resolving the problems.  The submitter is encouraged to submit an issue suggesting a general approach, with examples.  The submitter is also encouraged to submit issues specific to particular terms or collections of terms. "


X-Change Technologies votes no on the resolution proposed for issue 5267 and 5268.
Reason:  The resolution is wrong.  Examples: constraint [15] of 9.3.8 PseudoState, constraint [1] of 9.3.14 Transition.  We will not change our vote.


[Thanks, Pete.]


X-Change Technologies votes no on the resolution proposed for issue 5731.
Reason: In the adopted UML 2, Method is not defined.  We would vote yes if the resolution was "In UML 2.0, method is modeled differently than in 1.x, so this issue is no longer applicable," (dropping the capital em).


[Thanks, Guus.  (We're like, duuh.)]


[We'll try to follow the ISO custom of giving a reason when we vote no, and a statement of conditions under which we would change our vote.  Of course, folks can skip over that part.]