[sc34wg3] TMCL: 4.4.10 NameConstraint

Robert Barta rho at devc.at
Thu Feb 14 23:30:50 EST 2008

Relative to


4.4.10 How is this intended? 

  A topicname constraint provides a way to constrain the type and
  cardinality of topic names for instances of a given topic type.

So should ALL names of a certain class be of this name type? So that
there can never be a name type used not allowed. And such names occur
at least M and at most N times in that topic?

Or (more likely) should at least M and at most N times a name of this
given type be used for a topic of a certain class?

The latter would be

  every $t in // $$type
     at least $$cardmin $n in $t / name
       satisfies $t >> types == $$nametype
   & at most  $$cardmax $n in $t / name
       satisfies $t >> types == $$nametype

or shorter

  every $t in // $$type
     at least $$cardmin $n in $t / $$nametype
       satisfies exist 1
   & at most  $$cardmax $n in $t / $$nametype
       satisfies exist 1


And a better (documented) example would help.


And what should the * mean in TMCL

   NameConstraint (...., *, ....)



More information about the sc34wg3 mailing list