DTV 1.2 RTF Avatar
  1. OMG Issue

DTV12 — Strange CLIF axiom for system of units

Open Closed All
  • Key: DTV12-125
  • Legacy Issue Number: 19466
  • Status: closed  
  • Source: Thematix Partners LLC ( Mr. Edward J. Barkmeyer)
  • Summary:

    Annex D.3.2 contains the following axiom for 'system of units is for system of quantities':

    Necessity: Each system of units is for exactly one system of quantities.

    CLIF Axiom:

    (forall (("system of units" "system of units"))

    (= (count ("system of units is for system of quantities" "system of units")) 1))

    I'm not sure what this is supposed to mean. The conventional form would be:

    (forall ((sou "system of units"))

    (exists ((soq "system of quantities"))

    (and

    ("system of units is for system of quantities" sou soq)

    (forall (soq2)

    (if ("system of units is for system of quantities" sou soq2)

    (= soq2 soq) ))

    )))

    Note also that there is no OCL form of this axiom.
  • Reported: DTV 1.0 — Wed, 11 Jun 2014 04:00 GMT
  • Disposition: Resolved — DTV 1.2
  • Disposition Summary:

    Replace the text as suggested. Add the OCL form.
  • Updated: Wed, 8 Jul 2015 11:40 GMT