OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.1 12 Missing specification of initial and derived value constraints

Open Closed All
  • Key: OCL25-126
  • Legacy Issue Number: 15072
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • 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".
  • Reported: OCL 2.1 — Fri, 19 Feb 2010 05:00 GMT
  • Updated: Sat, 19 Jan 2019 15:45 GMT