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

摘要

一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，步骤10：根据嵌入式系统的需求说明书分析实体和采用的Theme；步骤11：确定最终的类和实体；步骤12：确定最终的Theme；步骤13：确定时间相关行为，使用MARTE建模语言对需要的时钟进行建模；步骤14：对基础的面向方面的Base Theme进行建模；步骤15：使用设计好的时钟，将时间相关行为作为Aspect Theme进行建模；步骤16：根据合并、覆盖等Theme整个规则，分析Theme之间关系，对Theme进行整合编织，形成完整的嵌入式系统模型。

主权项

一种基于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进行整合编织，形成完整的嵌入式系统的模型。