Issue 15788: UML 2.3 Infra 12 Incomplete conformance for infinity (uml2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: Issue 15780 for OCL suggests resolving the inconsistent definition of
UnlimitedNatural
by defining '*' infinity (and '-*' minus infinity) as valid Integer and Real
values.


This is appropriate to resolve the anomally that


Integer conformsTo Real so any Integer is a valid Real,
UnlimitedNatural conformsTo Integer so any UnlimitedNatural is a valid
Integer 


except that at present '*' is a valid UnlimitedNatural without a valid
Integer
or Real counterpart.


The resolution of Issue 14196, introducing UnlimitedNatural to the OCL
specification, indicates that any use of UnlimitedNatural '*' as an Integer
or Real requires a conversion to invalid. This imposes an undesirable
implementation burden in addition to the anomalous conformance behaviour.


Therefore please add '*' (and '-*') to Integer and Real.


Resolution: 
Revised Text: 
Actions taken:
October 27, 2010: received issue
Discussion: 


End of Annotations:=====

m: "Willink, Ed" <Ed.Willink@thalesgroup.com>
To: "'issues@omg.org'" <issues@omg.org>
Subject: UML 2.3 Infra 12 Incomplete conformance for infinity
Date: Wed, 27 Oct 2010 16:04:46 +0100
X-Mailer: Internet Mail Service (5.5.2657.72)


Hi


Issue 15780 for OCL suggests resolving the inconsistent definition of
UnlimitedNatural
by defining '*' infinity (and '-*' minus infinity) as valid Integer and Real
values.


This is appropriate to resolve the anomally that


Integer conformsTo Real so any Integer is a valid Real,
UnlimitedNatural conformsTo Integer so any UnlimitedNatural is a valid
Integer 


except that at present '*' is a valid UnlimitedNatural without a valid
Integer
or Real counterpart.


The resolution of Issue 14196, introducing UnlimitedNatural to the OCL
specification, indicates that any use of UnlimitedNatural '*' as an Integer
or Real requires a conversion to invalid. This imposes an undesirable
implementation burden in addition to the anomalous conformance behaviour.


Therefore please add '*' (and '-*') to Integer and Real.


        Regards
                        
                Ed Willink


------------------------------------------------------------------------
E.D.Willink,                             Email: mailto:EdWillink@iee.org
Thales Research and Technology (UK) Ltd, Tel:  +44 118 923 8278 (direct)
Worton Drive,                            or  +44 118 986 8601 (ext 8278)
Worton Grange Business Park,             Fax:  +44 118 923 8399
Reading,   RG2 0SB
ENGLAND          
------------------------------------------------------------------------ 
 


Please consider the environment before printing a hard copy of this 
e-mail. 
 
The information contained in this e-mail is confidential. It is intended 
only for the stated addressee(s) and access to it by any other person is 
unauthorised. If you are not an addressee, you must not disclose, copy, 
circulate or in any other way use or rely on the information contained in 
this e-mail. Such unauthorised use may be unlawful. If you have received 
this e-mail in error, please inform us immediately on +44 (0)118 986 8601 
and delete it and all copies from your system. 
 
Thales Research and Technology (UK) Limited. A company registered in 
England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne 
Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number: 
774298 
 
Thales UK Limited. A company registered in England and Wales. Registered 
Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, 
Weybridge, Surrey KT15 2NX. Registered Number: 868273