Next: Characterization of Component Types
Up: Conforms-relation
Previous: Conforms-relation between Complete Type
Contents
Index
An implementation type is in a impl-conforms relation to a complete type, if the implementation type adds further (0..*) interfaces on the provided side and requires less (0..*) interfaces at the required side. A valid sub-type (defined by the conforms relation) has to follow the requirements of co- and contra-variance (see [22,23]).
Analogue to the conforms relation between provided type and complete type for the relation between complete type and implementation type co- and contra-variance for interfaces can be used as well. (At the provided side an interfaces is allowed to provide additional services; at the required side a required interface is allowed to have less services.)
Snowball
2007-03-16