摘要：
该程序只有三个基本结构：顺序、选择和循环。配置数据结构图说明：a上倍数和下倍数标识数据结构的最大和最小数量间隔。例如，0..*表示0或更多，0..1表示0或1，1..1表示一个且仅一个；A、 PS应该注意，这两个属性中的每一个都是数据结构，而不是菱形聚合线。UML中表示聚合的行的两端将表示1和n，表示两端类的聚合关系是一对多。这里的upperMultiplicity和lowerMultiplicy不属于聚合线，而是属于每个数据结构。d、 +目标箭头：表示指针引用指向对应的数据结构；
AUTOSAR软件规范文档中存在两种UML图：
- Sequence diagrams
- Configuration diagrams(类图)
顺序图
说明：
a. CanIf User: 对象名称，即模块名；
b. CanIf_Transimt函数调用，即CanIf User调用CanIf的CanIf_Transimt函数；
c. 返回箭头CanIf_Transimt为函数调用完成之后返回，CanIf上从调用开始到返回的宽竖线为函数生命周期；
d. alt（alternative）: 选择流程，函数调用中存在两种情况，虚线上下分别展现两种情况的流程；
d.PS loop: 如果方框左上角不是alt而是loop，则说明是对循环结构的图示。程序只有顺序、选择、循环这三种基本结构。
配置数据结构图
说明：
a. upperMultiplicity和lowerMultiplicity标识所在数据结构的最多和最低的个数区间，如0..*表示0个或多个，0..1表示0个或1个，1..1表示有且只有1个；
a.PS 需要注意的是，这两个属性，每一个数据结构都有，属于数据结构，而非菱形聚合线。UML中表示聚合的线两端会表示1和n，表示两端的类的聚合关系为一对多。这里的upperMultiplicity和lowerMultiplicity不属于聚合线，而是属于每个数据结构。
b. 实心菱形箭头表示聚合关系，如CanGeneral和CanConfigSet聚合成为Can数据结构。
c. container/subContainer表示所在端的方框表示一个数据结构，而非叶子成员。
d. +destination箭头：表示指针引用指向相应的数据结构；