Re: TR/2007/REC-wsdl20-20070626/wsdl20-z.html#zed-InterfaceParent

Mark,

Sorry for the delayed responce (on vacation). Thx for your careful review 
of the spec. Could you please open a bug so we can track this properly? 
[1]

[1] http://www.w3.org/Bugs/Public/

Arthur Ryman, IBM DE
Chief Architect, Rational Project and Portfolio Managent
Office: 905-413-3077, Cell: 416-939-5063
Assistant: Florence Turgeon, 905-413-4182



"Josephs, Mark Brian" <mark.josephs@lsbu.ac.uk> 
01/17/2009 08:54 PM

To
Arthur Ryman/Toronto/IBM@IBMCA
cc
<public-ws-desc-comments@w3.org>
Subject
TR/2007/REC-wsdl20-20070626/wsdl20-z.html#zed-InterfaceParent






Dear Dr. 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/
 
 
-- 
Email has been scanned for spam and viruses by Altman Technologies' email 
management service
-- 
Copyright in this email and in any attachments belongs to London South 
Bank University. This email, and its attachments if any, may be 
confidential or legally privileged and is intended to be seen only by the 
person to whom it is addressed. If you are not the intended recipient, 
please note the following: (1) You should take immediate action to notify 
the sender and delete the original email and all copies from your computer 
systems; (2) You should not read copy or use the contents of the email nor 
disclose it or its existence to anyone else. 
The views expressed herein are those of the author(s) and should not be 
taken as those of London South Bank University, unless this is 
specifically stated. 
London South Bank University is a company limited by guarantee registered 
in England and Wales. The following details apply to London South Bank 
University: Company number - 00986761; Registered office and trading 
address - 103 Borough Road London SE1 0AA; VAT number - 778 1116 17; Email 
address - lsbuinfo@lsbu.ac.uk