6566 2009-02-12 16:19:58 +0000 predicate part of Z schema doesn't fully capture requirement 2009-07-31 20:45:52 +0000 1 1 1 Unclassified WSDL Core 2.0 PC Windows NT NEW http://www.w3.org/TR/2007/REC-wsdl20-20070626/wsdl20-z.html#zed-InterfaceParent P2 normal --- 1 josephmb plh ryman www-ws-desc oldest_to_newest 23679 0 josephmb 2009-02-12 16:19:58 +0000 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/ 24376 1 ryman 2009-03-23 13:45:52 +0000 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. 26158 2 ryman 2009-07-31 20:45:52 +0000 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.