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 INFO UML keywords Port part Association SysML keywords ProxyPort part property MD:PartProperty BindingConnector Previous snippet When a proxy port is connected to a single internal part [or port or internal part], the connector shall be a binding connector, or have the same semantics as a binding connector ... Full quote (the value of the proxy port and the connected internal part are the same; links of associations typing the connector are between all objects and themselves, and no others) Next snippet Related snippets Proxy ports can be connected to internal parts or ports on internal parts, identifying features on those parts or ports that are available to external blocks. A Binding Connector is a connector which specifies that the properties at both ends of the connector have equal values. If the properties at the ends of a binding connector are typed by a ValueType, the connector specifies that the instances of the properties shall hold equal values, recursively through any nested properties within the connected properties. If the properties at the ends of a binding connector are typed by a Block, the connector specifies that the instances of the properties shall refer to the same block instance. When a proxy port is connected to a single internal part [or port or internal part], the connector shall be a binding connector, or have the same semantics as a binding connector ... Related snippets (backlinks) Visit also Visit also (backlinks) Flags
