[发明专利]一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法

权利要求书

1.一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，其特征是包括步骤如下：

1）根据用户需求生成嵌入式系统需求说明书；

2）分析需求说明中的功能需求，识别可能的实体和Theme；

3）确定最终的实体和类；

4）鉴别一般Theme和横切Theme；

5）分析需求说明中的时间相关行为，确定所需的时间建模元素；使用MARTE建模语言，设计基础时钟；

6）对一般的传统Theme进行建模；

7）分析横切Theme与相关实体的横切关系，确定横切点和关联方法；

8）分析时间相关行为关联的Theme和实体，对时间相关行为进行建模；将时间相关行为作为横切关注点进行建模；将时间约束作为相关实体和时钟之间的交互行为进行建模；

9）对横切Theme进行建模；

10）根据Theme之间关系和合并、覆盖的原则，整合Theme；

具体步骤如下：

步骤10：根据嵌入式系统的需求说明书分析可能的实体和可能采用的Theme；

步骤11：确定最终的类和实体；

步骤12：确定最终的Theme，并分别哪些是基础的面向方面的Base Theme，哪些是面向方面的横切的Aspect Theme；分析横切Theme与相关实体的横切关系，确定横切点和关联方法；分析时间相关行为关联的Theme和实体，对时间相关行为进行建模；

步骤13：确定时间相关行为，使用MARTE建模语言对需要的时钟进行建模；

步骤14：对基础的面向方面的Base Theme进行建模；

步骤15：使用设计好的时钟，将时间相关行为作为Aspect Theme进行建模；

步骤16：根据合并、覆盖等Theme整个规则，分析Theme之间关系，对Theme进行整合编织，形成完整的嵌入式系统的模型。

2.根据权利要求1所述的基于MARTE建模语言和Theme方法的嵌入式系统建模方法，其特征是其中步骤13所构造的必须的时钟，根据嵌入式系统的需求说明中的时间约束要求，使用MARTE建模语言中的时间包中的建模元素构造；对时钟进行建模的过程包括：

步骤20：使用MagicDraw建模工具中，构造对象图；

步骤21：添加一个IdealClock的对象idealClk，确定理想时钟；

步骤22：添加ChronometricClock类的两个不同粒度的对象岔clk1和clk2；

步骤23：为相关时钟添加ClockConstraint元素，确定时钟的单位、频率等元素；

MagicDraw是MARTE建模语言常用的商业建模工具，IdealClock为MARTE建模语言中的时间建模元素，其对象idealClk用来模拟现实世界中的连续时间；建模元素ChronometricClock（实例化为clk1和clk2）为物理时钟，通过在idealClk进行不同周期的取样获得；建模元素ClockConstraint定义连续始终和物理始终的功能和非功能约束，包括单位，取样周期和粒度；

步骤13中确定时间相关行为的步骤：将时间相关行为，作为横切关注点进行建模，先要确定横切点及其要关联的类和实体，具体步骤包括：

步骤30：分析系统中所有具有时间约束的实体；

步骤31：区分这些实体中时间相关的行为，和时间无关的行为；

步骤31：总结时间相关行为的共同点；

步骤14中对Base Theme进行建模：

步骤40：使用包图、类图等静态结构建模系统中设计到的实体、类及其之间的结构关系；

步骤41：使用顺序图对Base theme中的实体之间交互行为进行建模。