[發明專利]一種基于MARTE建模語言和Theme方法的嵌入式系統建模方法

有效

• 申請號: 201210531501.3
• 申請日: 2012-12-11
• 公開（公告）號: CN103294520A
• 公開（公告）日: 2013-09-11
• 發明（設計）人: 張天;孫晴晴;李宣東
• 申請（專利權）人: 南京大學
• 主分類號: G06F9/455
• 分類號: G06F9/455
• 代理公司: 南京瑞弘專利商標事務所(普通合伙) 32249
• 代理人: 陳建和

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中的實體之間交互行為進行建模。