[sc34wg3] TMCL: 4.4.10 NameConstraint
Robert Barta
rho at devc.at
Thu Feb 14 23:30:50 EST 2008
Relative to
http://kill.devc.at/system/files/tmcl.pdf
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
satisfies
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
satisfies
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 (...., *, ....)
?
\rho
More information about the sc34wg3
mailing list