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

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

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

Arthur Ryman-2


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]


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" <[hidden email]>

01/17/2009 08:54 PM

Arthur Ryman/Toronto/IBM@IBMCA
<[hidden email]>

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,
Prof. Mark B. Josephs
Faculty of BCIM
London South Bank University

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 - [hidden email]