7.12 端口
7.12.1 端口概述
端口定义(port definition)是一种实存定义,用于定义连接点,以支持在实存(主要是部件)之间进行交互。 端口使用(port usage)是实存使用的定义,属于端口定义的使用。
端口使用可以连接到一个或多个其他的端口使用。 这些连接使得拥有端口的实存之间可以进行交互。 端口使用的特征指定了在这些交互中交换了什么东西。 由于端口本身是实存,端口定义和使用也都可以包含内嵌的端口使用。
端口的特征可以具有方向(direction): in
、out
或者inout
。
具有方向的特征称为有向特征(directed feature)。
相连的端口必须一致(conform):在连接其中一端的端口的每一个特征,
在另一端的端口上都必须有一个相匹配的特征。
如果两个特征具有一致的定义,并且要么都没有方向,要么具有共轭的方向,
则这两个特征认为是匹配的。
方向in
的共轭(congugate)是out
,反之亦然。
而inout
方向的共轭是inout
。
从端口使用上的out
特征到相连的端口使用上的匹配的in
特征可以产生传输。
在匹配的inout
方向的特征之间,传输是双向的。
每一个端口定义都一个共轭的(conjugated)端口定义, 其有向特征和原始端口定义的特征是共轭的。 共轭端口使用自动会和相应的原始端口的定义相一致。
7.12.2 端口定义和使用
端口定义或者端口使用通过关键字port
声明为一种实存定义或者实存使用。
端口使用