DTV12 — Status of Annex F: Simplified Syntax for Logical Formulations

First, the notation introduced in Annex F is used nowhere in the DTV v1.1 specification. It was formerly used in Annex that was revised in DTV v1.0. The title of Annex F is confusing for DTV, since DTV provides normative logical formulations in CLIF and OCL. The intent is to describe SBVR logical formulations, for which DTV provides normative expressions in SBVR Structured English.

Second, the Annex specifies a notation for SBVR logical formulations. If it is to have value, the notation should be specified in the SBVR specification. In any case, this Annex should be considered for adoption by the SBVR RTF (as the DTV FTF recommended). Indeed, the SBVR Logical Representation of Meaning clause might well profit from the ability to express examples in this form. There are some technical defects in the Annex F specification, but these could be remedied by the SBVR RTF, whereas specifications for the representation of SBVR are out of scope for the DTV RTF.

Finally, the text of Annex F begins: “The table below is kindly provided by Don Baisley of Microsoft Corp.” This sentence is entirely inappropriate, and raises intellectual property concerns. If the Annex is retained, this sentence must be deleted. Don Baisley is properly included in the acknowledgements in 6.4, but the specification is the work of the submitters and the editing Task Forces, and this Annex is presumably not intended to be an exception.

The RTF agrees that the Annex should not be a part of the Date Time Vocabulary. The Issue of incorporating in SBVR has been raised to the SBVR RTF, noting that the specification in Annex F was formally adopted by the OMG.