action: open in a browser https://www.omg.org/spec/DTV/20160301/sbvr.xml
reaction: This page contains the following errors:
error on line 782 at column 3: Encoding error

OMG Specification: Date Time Vocabulary

Version: 1.0

Title: Unusual use of 'that' in definitions

Summary:

In clause 8.5, the Definition of ‘time scale’ reads:

“regular sequence that each member of the regular sequence is a time point”

I see nothing in SBVR Annex C that suggests a meaning for this. I would expect:

<more general concept> that <verb> <other roles>

where the ‘that’ is the subject (role 1) of the verb concept wording;

or

<more general concept> that <subject> <verb>

where the ‘that’ is the direct object (role 2) of the verb concept wording.

But in the given definition, the verb is ‘is’, the subject is ‘each member of the regular sequence’ and the direct object is ‘a time point’. What role does the ‘that’ play? How does this delimit ‘regular sequence’?

The intention is: “regular sequence such that each member of the regular sequence is a time point”

or: “regular sequence of which each member is a time point”

or: “regular sequence (all of) whose members are time points”

The first is a style that is conventional in mathematics, but perhaps not in business usage. It is not mentioned in SBVR Annex C, but neither of the others is, either. Is this an SBVR SE problem?

Note: there are several definitions in DTV with ‘that’ playing no clear role in the delimiting verb. This is just one example of the usage.

Currently, OCL statements are created directly in the specification document, then "stripped out" of the document into a separate file via an XSLT transform. In a further step, the OCL should be integrated into the UML model so that the model includes the OCL constraints.