[sc34wg3] TMCL: 4.4.13 AssociationTypeScopeConstraint

[Robert Barta]

Relative to

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

4.4.13 AssociationTypeScopeConstraint

--

Cool name.

--

The template definition contains atsc and ntsc (why not PAL?). Ah, I
see: the 4.4.12 also uses otsc and ntsc. Copy & Paste error.

--

--

[3 cardmin]: This is still about the cardinality of the scopes, right?
But it does not say so.

--

I thought I understand that one, but the example throws me off. Why
would someone scope personworksforcompany with person? This is
artificial at best.

--

every $a in // $$associationType
satisfies
   at least $$cardmin $s in $a @
   satisfies
       $s >> types == $$scopeTopicType
 & at most  $$cardmax $s in $a @
   satisfies
       $s >> types == $$scopeTopicType

--

\rho

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