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.
is unconstrained if interfaceFaultComps
is an empty set.
Correction is straightforward: each constraint
should be expressed in a separate universal quantification.
Prof. Mark B. Josephs
Faculty of BCIM
London South Bank University
has been scanned for spam and viruses by Altman Technologies' email management
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]