Issue 7250: Connector - inconsistencies in Constraint[4] (uml2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: Connector - inconsistencies in Constraint[4] Constraint [4] says: "[4] In a complete model, if a source Port has delegation connectors to a set of delegated target Ports, then the union of the Interfaces of these target Ports must be signature compatible with the Interface that types the source Port." There are two problems with this constraint: 1. What is "the union of the Interfaces of these target Ports"? First, it is not clear, what a "union of interfaces" is. A "union of a set of interfaces" could be an anonymous Interface which specializes all the interfaces in the set of interfaces, but this should be made clear, because "union of interfaces" is not defined somewhere else in the spec. Second, it is not clear what the Interfaces of a target Ports are. All Interfaces provided by the Classifier port.type including the Classifier port.type itself, if port.type is an Interface? Union the Interfaces in port.provided? Do we have to include the Interfaces in port.required as well? 2. What does "signature compatible" mean? Resolution: See 7248 for the discussion. Revised Text: Delete 8.3.3 constraint [4] which currently says: [4] In a complete model, if a source Port has delegation connectors to a set of delegated target Ports, then the union of the Interfaces of these target Ports must be signature compatible with the Interface that types the source Port. Actions taken: April 15, 2004: received issue April 26, 2010: closed issue April 26, 2010: closed issue Discussion: End of Annotations:===== From: webmaster@omg.org Date: 15 Apr 2004 11:05:16 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Karl Guggisberg Company: na mailFrom: karl.guggisberg@guggis.ch Notification: Yes Specification: Unified Modeling Language: Superstructure Section: 8.3.2 FormalNumber: ptc/03-08-02 Version: 2.0 RevisionDate: na Page: 144 Nature: Clarification Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322) Description Issue 7250: Connector - inconsistencies in Constraint[4] Issue summary Connector - inconsistencies in Constraint[4] Constraint [4] says: '[4] In a complete model, if a source Port has delegation connectors to a set of delegated target Ports, then the union of the Interfaces of these target Ports must be signature compatible with the Interface that types the source Port.' There are two problems with this constraint: 1. What is 'the union of the Interfaces of these target Ports'? First, it is not clear, what a 'union of interfaces' is. A 'union of a set of interfaces' could be an anonymous Interface which specializes all the interfaces in the set of interfaces, but this should be made clear, because 'union of interfaces' is not defined somewhere else in the spec. Second, it is not clear what the Interfaces of a target Ports are. All Interfaces provided by the Classifier port.type including the Classifier port.type itself, if port.type is an Interface? Union the Interfaces in port.provided? Do we have to include the Interfaces in port.required as well? 2. What does 'signature compatible' mean? Discussion Revised Test Resolution Connector - inconsistencies in Constraint[4] Constraint [4] says: "[4] In a complete model, if a source Port has delegation connectors to a set of delegated target Ports, then the union of the Interfaces of these target Ports must be signature compatible with the Interface that types the source Port." There are two problems with this constraint: 1. What is "the union of the Interfaces of these target Ports"? First, it is not clear, what a "union of interfaces" is. A "union of a set of interfaces" could be an anonymous Interface which specializes all the interfaces in the set of interfaces, but this should be made clear, because "union of interfaces" is not defined somewhere else in the spec. Second, it is not clear what the Interfaces of a target Ports are. All Interfaces provided by the Classifier port.type including the Classifier port.type itself, if port.type is an Interface? Union the Interfaces in port.provided? Do we have to include the Interfaces in port.required as well? 2. What does "signature compatible" mean?