Please consider correcting the predicate part of the InterfaceParent schema. As
things stand, interfaceFaultComps is unconstrained if interfaceOpComps is an
empty set in a given ComponentModel2, i.e., the predicate part could be
simplified to true. Likewise, interfaceOpComps is unconstrained if
interfaceFaultComps is an empty set.
Correction is straightforward: each constraint should be expressed in a
separate universal quantification.
--- Comment #1 from Arthur Ryman <[hidden email]> 2009-03-23 13:45:52 ---
Mark, I looked at the predicate and agree with your comment. If either the set
of operations or faults is empty then there are no triples of the universally
quantified predicate so the condition is a no-op.
The English text that describes the predicates is correct.
The fix is to split the predicate into two parts, one for operations and one