[sc34wg3] TMCL: 4.4.16 TopicOccurrenceConstraint

[Robert Barta]

Relative to

   http://kill.devc.at/system/files/tmcl.pdf

4.4.16 TopicOccurrenceConstraint

Are you sure that this is one constraint, and not two?  One which
checks the cardinality and another which checks the pattern?

--

every $t in // $$topicType
satisfies
   at least $$cardmin $o in $t / $$occurrenceType
   satisfies
      $o =~ $$valuePattern
 & at most $$cardmax $o in $t / $$occurrenceType
   satisfies
     $o =~ $$valuePattern

--

The name valuePattern is not consistent with the rest of the document.

--

in 4 [cardmin] and 5 [cardmax] is mentions names and means occurrences.

--

maybe move the comment in the example to the example description.

\rho

--
Austrian Research Centers, Environmental Monitoring Systems
http://www.smart-systems.at/rd/rd_environment_en.html