Issue 15072: OCL 2.1 12 Missing specification of initial and derived value constraints (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: Sections 12.5.1, 12.6.1, 12.7.1 specify the "invariant", "precondition", "postcondition" spellings.


Sections 12.8, 12.9, 12.10, 12.11 do not specify their corresponding spellings.


Suggest: "initial", "derivation", "body", "guard" as the conventional adjective used to qualify "constraint".

Resolution: 
Revised Text: 
Actions taken:
February 19, 2010: received issue
Discussion: 

End of Annotations:=====
ronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aj0FAEPJfUtUXeby/2dsb2JhbACTLYdbdL48hGcE
Date: Fri, 19 Feb 2010 07:17:16 +0000
From: Ed Willink <ed@willink.me.uk>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.1.5) Gecko/20091204 Thunderbird/3.0
To: issues@omg.org
Subject: OCL 2.1 12 Missing specification of initial and derived value constraints
X-Plusnet-Relay: 45446a1a9451b7430874647ea32c315a


Hi


Sections 12.5.1, 12.6.1, 12.7.1 specify the "invariant", "precondition", "postcondition" spellings.


Sections 12.8, 12.9, 12.10, 12.11 do not specify their corresponding spellings.


Suggest: "initial", "derivation", "body", "guard" as the conventional adjective used to qualify "constraint".


    Regards


        Ed Willink