Issue 17823: Notation: Real (uml25-ftf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Revision
Severity: Significant
Summary: The wording for Real allows '000.9' and '+.9' as valid numbers. Permitting redundant leading zeroes is undesirable given the usage of leading zero as octal in some languages. Permitting the omission of a leading zero is also undesirable. The equivalent wording in OCL 2.3 is better but not perfect. "A real literal consists of an integer part, a fractional part and an exponent part. The exponent part consists of either the letter 'e' or 'E', followed optionally by a '+' or '-' letter followed by an exponent integer part. Each integer part consists of a sequence of at least one of the decimal digit characters. The fractional part consists of the letter '.' followed by a sequence of at least one of the decimal digit characters. Either the fraction part or the exponent part may be missing but not both."UML and OCL should have compatible definitions.

What is the concrete syntax for +/- infinity?

Resolution: 
Revised Text: 
Actions taken:
September 26, 2012: received issue
Discussion: 

End of Annotations:=====
s is issue # 17823

Problem: 8.009

Severity: Significant
Type: Correction
Location: 8.2.4 Notation p 76
Title: Notation: Real
Description:
 
The wording for Real allows '000.9' and '+.9' as valid numbers. Permitting redundant leading zeroes is undesirable given the usage of leading zero as octal in some languages. Permitting the omission of a leading zero is also undesirable. The equivalent wording in OCL 2.3 is better but not perfect. "A real literal consists of an integer part, a fractional part and an exponent part. The exponent part consists of either the letter 'e' or 'E', followed optionally by a '+' or '-' letter followed by an exponent integer part. Each integer part consists of a sequence of at least one of the decimal digit characters. The fractional part consists of the letter '.' followed by a sequence of at least one of the decimal digit characters. Either the fraction part or the exponent part may be missing but not both."UML and OCL should have compatible definitions.
 
What is the concrete syntax for +/- infinity?
Source: Edward Willink