[sc34wg3] TMCL: 4.4.17 AssociationRoleConstraint

[Robert Barta]

Relative to

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

4.4.17 AssociationRoleConstraint

typo: two dots (..) at end of sentence

cardMin and cardMax inconsistent with rest of document

and they mention patterns. which patterns?

--

every $a in // $$associationType
satisfies
   at least $$cardmin $r in $a -> $$roleType
   satisfies exist 1
 & at most  $$cardmax $r in $a -> $$roleType
   satisfies exist 1

In the example, is it necessary/relevant that employee isa roleType ?

--

What is strange is that this constraint overlaps with 4.4.18. I would
understand if 4.4.18 would drop the cardinality constraints, though.

\rho

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