This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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. Yours sincerely, Mark Prof. Mark B. Josephs Faculty of BCIM London South Bank University http://www.bcim.lsbu.ac.uk/ccsv/josephmb/
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 for faults.
Mark, I finally got some bandwidth to fix this problem. I committed in the fix. See http://dev.w3.org/cvsweb/2002/ws/desc/wsdl20/wsdl20.xml?rev=1.477&content-type=text/x-cvsweb-markup I didn't rebuild the HTML yet, but at least the XML source now has the correction.