Icon class icon_class fas fa-quote-left icon_class_computed fas fa-quote-left Related content SysMLv1.6 Provided/required DirectedFeature contracts for ProxyPorts SHOULD be satisfiable Feature-wise (including as subsets of Features) not necessarily just at the level of entire Blocks (types)! [See also the SysMLv1.7 spec changes.] ProxyPort cases - ADVANCED TOPIC SysML directional FlowProperty contracts for ProxyPorts SHOULD be satisfiable Property-wise (including as subsets of Properties) not necessarily just at the level of entire Blocks! Source OMG Systems Modeling Language (SysML) 1.6 Copyright information About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes Snippet kind CONSTRAINT UML keywords Connector ConnectorEnd SysML keywords BindingConnector Previous snippet Full quote 1_compatible_types The two ends of a binding connector shall have either the same type or types that are compatible so that equality of their values can be defined. self.base_Connector.end->at(1).role.type.conformsTo(self.base_Connector.end ->at(2).role.type) or self.base_Connector.end ->at(2).role.type.conformsTo(self.base_Connector.end->at(1).role.type) Next snippet Related snippets Related snippets (backlinks) Visit also Visit also (backlinks) Flags
