At the initial stage of system development and design , make the problems into core components and aspectual ones , and modularize crosscutting concerns into separate aspects , which makes system structure more clearer and makes automatic code generation possible , and also , brings convenience to the system maintenance 而在系統(tǒng)開發(fā)與設計的初始階段就將問題分解為核心組件和方面組件,并將橫切關注點模塊化為獨立的aspect ,可使系統(tǒng)結(jié)構(gòu)更加清晰,為下一個階段的代碼生成、系統(tǒng)維護等工作帶來便利和保障。
Based on the background stated above , a developping method is presented in this thesis in effort to guide and assist the oo development of real - time systems . the proposed method is based on two techniques : schedulability analysis and automatic code generation , which are combined to validate and guarantee a certain type of timing constraint 在上述研究背景之下,本文研究了一種以保證時間約束為最終目標的實時系統(tǒng)面向?qū)ο箝_發(fā)方法,該方法應用了可調(diào)度性驗證和自動代碼生成兩項核心技術,解決了一類時間約束的驗證和保障問題。
On this base , we design and implement a code generator , which finishes the transformation from pim to psm and from psm to code , to support rapid changes of system behaviors and automatic code generation after requirement changes . run - time states of business objects and association information between objects are separated as logs from business object information , and with the aid of such logs , flexible traceability between business data can also be conveniently realized 在此基礎上設計并實現(xiàn)了代碼生成器,完成平臺無關模型到平臺相關模型和平臺相關模型到代碼的自動轉(zhuǎn)換,以支持在模型變化之后系統(tǒng)行為的快速變化和代碼的自動生成,并在對象狀態(tài)與關聯(lián)日志的支持下實現(xiàn)企業(yè)業(yè)務數(shù)據(jù)的靈活追溯。