This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 6566 - predicate part of Z schema doesn't fully capture requirement
Summary: predicate part of Z schema doesn't fully capture requirement
Status: NEW
Alias: None
Product: WSDL
Classification: Unclassified
Component: Core (show other bugs)
Version: 2.0
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Philippe Le Hegaret
QA Contact: WSDL Mailing List
URL: http://www.w3.org/TR/2007/REC-wsdl20-...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-02-12 16:19 UTC by Mark Josephs
Modified: 2009-07-31 20:45 UTC (History)
1 user (show)

See Also:


Attachments

Description Mark Josephs 2009-02-12 16:19:58 UTC
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/
Comment 1 Arthur Ryman 2009-03-23 13:45:52 UTC
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.
Comment 2 Arthur Ryman 2009-07-31 20:45:52 UTC
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.