[Bug 6566] New: predicate part of Z schema doesn't fully capture requirement

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6566

           Summary: predicate part of Z schema doesn't fully capture
                    requirement
           Product: WSDL
           Version: 2.0
          Platform: PC
               URL: http://www.w3.org/TR/2007/REC-wsdl20-20070626/wsdl20-
                    z.html#zed-InterfaceParent
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: plh@...
        ReportedBy: josephmb@...
         QAContact: www-ws-desc@...
                CC: ryman@...


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/


--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6566





--- Comment #1 from Arthur Ryman <ryman@...>  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
for faults.


--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6566





--- Comment #2 from Arthur Ryman <ryman@...>  2009-07-31 20:45:52 ---
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.


--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.