Issue 17866: Simplify (Location: 8.6 p 97 TimeExpression) (uml25-ftf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Clarification
Severity: Significant
Summary: The worded requirement should be in OCL, possibly deferring the issue to a clear definition of isConstant().

expr <> null and observation->isEmpty() implies expr->isConstant()

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

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

Problem: 8.059

Severity: Medium
Type: Clarification
Location: 8.6 p 97 TimeExpression
Title: Simplify
Description:
The worded requirement should be in OCL, possibly deferring the issue to a clear definition of isConstant().
 
expr <> null and observation->isEmpty() implies expr->isConstant()
Source: Edward Willink