[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@w3.org
        ReportedBy: josephmb@lsbu.ac.uk
         QAContact: www-ws-desc@w3.org
                CC: ryman@ca.ibm.com


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.

Received on Thursday, 12 February 2009 16:20:11 UTC