DTV13 — missing OCL

Specification: Date Time Vocabulary

Version: v1.2

Title: missing OCL

Summary:

The following DTV axioms have SBVR and CLIF formulations but no OCL formulation

1. In clause 8.3.2, under ‘duration = duration plus duration’, in Axiom V.1

2. In clause 8.3.2, under ‘duration = number times duration’, in Axiom V.8, first Corollary

3. In clause 8.3.2, under ‘duration = number times duration’, in Axiom V.8, 2nd Corollary

4. In clause 8.3.2, under ‘duration = number times duration’, in Axiom V.8, 3rd Corollary

5. In clause 16.3, under ‘occurrence occurs for occurrence interval’

6. In Annex D.2.3, under ‘sequence has index origin value’

7. In Annex D.3.1, under ‘quantity has quantity kind’

Note: This is a follow-on to Issue 19462

Supply missing OCL Definitions and Axioms in Clauses 8, 16, Annex D

The missing OCL text is added. Some entries are reworked to align the formulations. Note that some of the CLIF Axioms only state that the arguments of particular predicates have particular types, which is conveyed by the UML signatures of the operations for OCL.