全部学习汇总: https://github.com/GreyZhang/hack_autosar
继续学习AUTOSAR,看一下官方文档。
4.3.1.2 客户端服务器接口元素的映射
ClientServerInterfaceMapping 定义了 ClientServerInterfaces 上下文中定义的 ClientServerOperations 的相关性。
ClientServerInterfaces 的转换
所引用的 ArgumentDataPrototypes的 AutosarDataTypes是兼容的,如第 6.2 章所述,或者如第 4.3.2 章所述的数据转换可用。
ClientServerOperationMapping 上下文中映射的 ClientServerOperations 的范围
角色 firstOperation 中的 ClientServerOperationMapping 所引用的所有 ClientServerOperations 应完全属于一个 ClientServerInterface。
角色 secondOperation 中的 ClientServerOperationMapping 引用的所有 ClientServerOperations 应完全属于另一个 ClientServerInterface。
ClientServerOperationMapping 上下文中映射的 ApplicationErrors 的范围
角色 firstApplicationError 中的 ClientServerApplicationErrorMapping 引用的所有 ApplicationErrors 应完全属于一个 ClientServerInterface。
角色 secondApplicationError 中的 ClientServerApplicationErrorMapping 引用的所有 ApplicationErrors 应完全属于另一个 ClientServerInterface。
ClientServerOperationMapping 上下文中 ArgumentDataPrototypes 的一致性
对于 ClientServerOperationMapping.firstOperation 和 ClientServerOperationMapping.secondOperation 拥有的每个参数,角色 ClientServerOperationMapping.argumentMapping.firstDataPrototype 或 ClientServerOperationMapping.argumentMapping.secondDataPrototype 中的引用应存在于由所提及的 ClientServerOperationMapping 拥有的 ClientServerOperationMapping.argumentMappings 之一发起。
ArgumentDataPrototype.direction 应保留在 ClientServerOperationMapping 中
在 ClientServerOperationMapping 的上下文中,两个映射的 ArgumentDataPrototype 的参数 ArgumentDataPrototype.direction 的值应相同。
参数数量应保留在 ClientServerOperationMapping 中
在 ClientServerOperationMapping 的上下文中,firstOperation 和 secondOperation 的参数数量应相同。
ArgumentDataPrototype 只能在 ClientServerOperationMapping 中映射一次
在 ClientServerOperationMapping 的上下文中,每个参数只能在 firstDataPrototype 或 secondDataPrototype 角色中被引用一次。
在两个不同的 ClientServerInterfaces 的上下文中定义 ClientServerOperations 的映射。
在两个不同的 ClientServerInterfaces 的上下文中定义两个特定 ClientServerOperations 的映射。
这个元类代表了将 ApplicationErrors 相互映射的能力。
4.3.1.3 模式接口元素映射
ModeInterfaceMapping
ModeInterfaceMapping 定义了在 ModeSwitchInterfaces 的上下文中定义的 ModeDeclarationGroupPrototypes 的相关性。
ModeInterfaceMapping 的有效性
ModeDeclarationGroupPrototypes 的映射仅在它们由(阅读“参考”)兼容的 ModeDeclarationGroups 根据第 6.7 章键入时才有效。
在两个不同的 ModeInterfaces 的上下文中定义 ModeDeclarationGroupPrototypes 的映射。
定义两个特定的 ModeDeclarationGroupPrototypes(在给定的上下文中)的映射,它们名称不同和/或需要对 ModeDeclarationMappingSet 的引用,以便通过 ModeDeclarationMappings 的定义变得兼容。
ModeDeclarationGroupPrototypeMapping 的语义
应使用 ModeDeclarationGroupPrototypeMapping 来标识随后应被视为兼容的两个 ModeDeclarationGroup。 如果两个 ModeDeclarationGroups 相对于包含的 modeTransitions 偏离,这也适用。
图 4.14:ModeSwitchInterface 元素的映射
一个 ModeDeclarationMappingSet 范围内 firstMode 和 secondMode 的一致性
在一个 ModeDeclarationMappingSet 的范围内,所有 firstMode 应属于一个且仅一个 ModeDeclarationGroup,所有 secondMode 应属于一个且仅一个其他 ModeDeclarationGroup。
ModeDeclarationMappingSet 相对于引用的 firstModeGroup 和 secondModeGroup 的一致性
如果存在 ModeDeclarationGroupPrototypeMapping.modeDeclarationMappingSet,则首先拥有角色中引用的 modeDeclarations 的 ModeDeclarationGroup决定ModeDeclarationGroupPrototypeMapping.firstModeGroup的类型。
ModeDeclarationMapping 定义了 ModeDeclarations 的显式关联
元类 ModeDeclarationMapping 定义了在两个 ModeDeclarationGroup 的上下文中定义的 ModeDeclarations 的显式关联。
modeDeclarationMapping 定义了适用的 ModeDeclarationMappings 集
modeDeclarationMapping 定义了适用的 ModeDeclarationMapping 集,用于连接由 ModeDeclarationGroups 键入的 ModeDeclarationGroupPrototypes 与不同命名的 ModeDeclarations 和/或不同数量的 ModeDeclarations。
这个元类为 ModeDeclarationGroupMappings 实现了一个容器
这个元类实现了两个 ModeDeclarations 的具体映射。
模式用户的 ModeDeclaration 正好映射到模式管理器的一个 ModeDeclaration
当模式管理器的模式管理器的模式对应于模式管理器的映射(即由相同的ModeDeclarationMapping 引用)模式声明的模式进入或退出时,模式用户的模式声明对应的模式进入或退出。
模式用户的模式声明被映射到模式管理器的多个模式声明
当模式管理器的任何模式对应于由适用的 ModeDeclarationMapping 引用的 ModeDeclarations 时,对应于模式用户的映射的 ModeDeclaration 的模式被输入。
如果新模式未映射到模式用户的相关模式,则当与适用的 ModeDeclarationMapping 引用的 ModeDeclarations 对应的模式管理器的任何模式退出时,将退出与模式用户的映射的 ModeDeclaration 对应的模式。
请注意,如果模式用户的一个 ModeDeclaration 通过多个 ModeDeclarationMappings 映射到模式管理器的多个 ModeDeclaration,则预期语义的定义方式是模式管理器的对于模式用户各个模式转换表示“退出”和“进入”事件。 换言之,模式用户可识别单独的转换。
如果模式用户的一个 ModeDeclaration(通过利用 firstMode 角色的多重性)映射到单个 ModeDeclarationMapping 上下文中模式管理器的多个 ModeDeclaration,则语义定义为模式管理器的各个模式转换是模式用户无法识别。
模式用户的模式声明到模式管理器的模式声明的映射
将表示模式用户模式的多个 ModeDeclaration 映射到表示模式管理器模式的一个 ModeDeclaration 的配置将被拒绝。
模式用户的模式声明到模式管理器的所有模式声明的映射
如果存在引用表示模式管理器模式的ModeDeclaration 的 ModeDeclarationMapping,则应存在将模式管理器的所有模式映射到模式用户的模式的 ModeDeclarationMappings。
请注意,[constr_1210] 可防止在没有转换正在进行时模式用户未处于定义模式的配置的存在。
未映射到模式管理器的 ModeDeclaration 的模式用户的 ModeDeclaration
未映射到模式管理器的 ModeDeclaration 的模式用户的 ModeDeclaration 表示有效模型。 在这种情况下,在 ECU 运行期间不会进入或退出相关模式。