继续学习AUTOSAR的文档，看一下《AUTOSAR_TR_FrancaIntegration》。
2.2.1 AUTOSAR 到 Franca 客户端服务器链接
AUTOSAR 到 Franca 客户端服务器链接
autosar_port a : reqPort_CS à franca_instance g ：F1
指定 AUTOSAR 组件原型 a 在其端口 reqPort_CS 需要（调用）Franca 实例 g 的 Franca 接口 F1 中定义的操作（方法）。AUTOSAR 到 Franca 客户端服务器链接的正确性条件是链接的 AUTOSAR 端是客户端服务器接口 (ClientServerInterface) 键入的必需端口 (RPortPrototype)，并且 Franca 端具有 Franca 接口。
2.2.2 AUTOSAR-to-Franca 发送器以及接收器的链接
有两种AUTOSAR-to-Franca 发送器接收器链接，它们以Franca 边来区分。如果 Franca 端包含一个接口，则意味着实现该接口的 Franca 实例提供了即发即弃的方法。
链接 autosar_port a : provPort_SRPull à franca_instance g ：F2
声明即发即弃方法由 AUTOSAR 组件原型 a 调用。在 AUTOSAR 描述中尚未知晓的即发即弃方法通过链接被拉入键入 AUTOSAR 端口 provPort_SRPull 的接口中。（这由接口 provSRPull 中的蓝色 m2 指示。）
如果Franca端不包含接口，则:
链接 autosar_port a : provPort_SRPush à franca_instance g
指定 AUTOSAR 组件原型 a 将在接口 provSRPush 中声明的数据元素发送到 Franca Instance g，该接口键入端口 provPort_SRPush。由于 Franca 模型没有指定哪些数据元素可以发送到实例，因此现在创建了相应的元素。 将端口provPort_SRPush、接口provSRPush、端口provPort_SRPush提供的数据元素sig推送到Franca侧。
AUTOSAR-to-Franca Sender Receiver Link 的正确性条件是 AUTOSAR 侧是由发送者接收器接口 (SenderReceiverInterface) 键入的提供端口 (PPortPrototype)，并且 Franca 侧具有至少包含一个即发即弃的 Franca 接口方法（提取链接），或者 Franca 端没有接口（推送链接）。
2.2.3 Franca 到 AUTOSAR 客户端服务器链接
Franca 到 AUTOSAR 客户端服务器链接
franca_instance g à autosar_port a : provPort_CS
指定 Franca 实例 g 需要（调用）AUTOSAR 操作。Franca 到 AUTOSAR 客户端服务器链接的正确性条件是 Franca 端没有 Franca 接口，AUTOSAR 端是由客户端服务器接口 (ClientServerInterface) 键入的提供端口 (PPortPrototype)。
2.2.4 Franca 到 AUTOSAR 发送器接收器链接
Franca 到 AUTOSAR 发送器接收器链接
franca_instance g：F1 à autosar_port a：reqPort_SR
指定 Franca 实例 g 将 Franca 接口 F1 的广播（和属性通知）发送到 AUTOSAR 端口 reqPort_SR。 Franca-to-AUTOSAR 发送接收者链路的正确性条件是 Franca 侧必须有 Franca 接口，AUTOSAR 侧是发送接收者接口 (SenderReceiverInterface) 键入的必需端口 (RPortPrototype)。
2.3 约束条件
Franca 连接器中包含的一组链接必须遵守以下约束条件。
第一个约束是正式的； 它可以防止重复链接。
Franca 连接器没有重复链接
Franca 连接器中不能有两个具有相同 AUTOSAR 和 Franca 边的链接。
第二个约束防止客户端连接到多个服务器。
Franca 连接器没有客户端服务器扇出（fan out是一个什么概念？）
AUTOSAR 组件原型所需的客户端服务器端口不得连接到多个 Franca 实例。
这一部分主要是降了连接器部分，以及相关的一些实现的可能性。同时介绍了一些约束条件。其实，这部分感觉上应该使用的概率会偏小一点。如果偶尔有一部分这样的需求，复杂驱动做一下基本也应该可以满足基础的要求。
