W3C home > Mailing lists > Public > www-ws-desc@w3.org > February 2009

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 12 Feb 2009 16:19:58 +0000
To: www-ws-desc@w3.org
Message-ID: <bug-6566-1763@http.www.w3.org/Bugs/Public/>


           Summary: predicate part of Z schema doesn't fully capture
           Product: WSDL
           Version: 2.0
          Platform: PC
               URL: http://www.w3.org/TR/2007/REC-wsdl20-20070626/wsdl20-
        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,


Prof. Mark B. Josephs
Faculty of BCIM
London South Bank University

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:55:06 UTC