[发明专利]一种基于SysML模块图的AADL模型构造方法

权利要求书

1.一种基于SysML模块图的AADL模型构造方法，其特征在于，包括以下步骤：

步骤一，基于SysML模块图进行模块分类；

步骤二，基于SysML模块图构建ADDL组件类型声明；

步骤三，基于SysML模块图构建AADL组件类型实现；

步骤四，基于SysML状态机图构建AADL组件的状态，具体为：基于SysML简单状态和复合状态，根据AADL核心规范，针对所有的AADL组件类型，提出如下的AADL组件状态构建规则：

a）忽略SysML简单状态和复合状态的内部状态，包括entry、do；

b）SysML模块拥有的简单状态转换为对应的AADL组件的状态；

c）SysML模块拥有的复合状态不进行转换，复合状态中的子状态转换为对应的AADL组件的状态；

d）SysML模块拥有的复合状态如果有子状态机，则从外部状态进入时只能进入与子状态机的初始节点相连的状态；如果子状态机有结束节点，则只能从与结束节点相连的状态退出子状态机；如果子状态机没有初始节点或结束节点，则可以从子状态机的任一状态进入或退出子状态机；

e）SysML模块的复合状态没有子状态机,外部状态依照转换条件可以进入任意一个子状态；

步骤五，基于SysML状态机图构建AADL组件的状态转换，具体为：基于SysML状态机图中状态之间的转换，针对所有的AADL组件类型，提出如下的AADL组件状态转换的构建规则：

a）AADL核心规范的状态转换使用端口触发机制，这对应于SysML状态机事件触发机制中的信号事件和调用事件触发器；

b）转换表示的是模型的一种状态可以转换为另一种状态，SysML转换线两端对应模块状态转换的起始状态和目标状态，以此构建AADL组件状态转换的起始状态和目标状态；

c）信号事件触发器对应于SysML模块中的分隔框receptions，SysML信号事件触发器对应于AADL组件状态转换条件中的事件端口触发器；

d）调用事件触发器对应于SysML模块中的分隔框operations，调用事件触发器对应于AADL组件中的数据端口触发器或数据事件端口触发器；

e）弱SysML模块的状态转换没有转换条件，则AADL组件的状态转换条件同样为空；

f）根据触发状态转换的端口，判断由于AADL组件自身状态的转换而导致的子组件的变换，实现AADL子组件的动态配置。

2.根据权利要求1所述的一种基于SysML模块图的AADL模型构造方法，其特征在于，所述的步骤一具体为：

a）用SysML模块图中的继承关系来实现模块之间的层次关系，使用SysML模块来区分AADL的各种软硬件组件类型；

b）基于SysML模块图详细描述系统的结构、实现系统自顶向下的完全分解，系统分解的过程同时关注模块的对外接口；通过构建模块图的树形结构，可以清晰地说明系统组件之间的层次关系和关联关系；树形结构分为三层。

3.根据权利要求2所述的一种基于SysML模块图的AADL模型构造方法，其特征在于，三层树形结构具体为：第一层，基于SysML模块图的树形结构的根节点是整个系统，建模者所有的建模都是对树结构的根节点进行描述，根节点一定为系统system；第二层，基于SysML模块图的树形结构的第二层是各种子系统、硬件或者软件模块，该层的所有节点都对应于系统某个模块的整体功能，即功能模块；第三层，基于SysML模块图的系统树结构的第三层是各种硬件或者软件模块，该层的所有节点都对应于系统模块的特定功能，即功能单元。

4.根据权利要求1所述的一种基于SysML模块图的AADL模型构造方法，其特征在于，所述的步骤二具体为：

a）基于SysML模块定义图构建AADL组件；

b）基于SysML模块图构建AADL组件端口；

c）基于SysML模块关系构建AADL组件关系。