基于UML的模型執(zhí)行方法研究.pdf

1、MDA(模型驅(qū)動架構(gòu))是OMG組織在其提出UML(統(tǒng)一建模語言)后又力推的一種新的軟件開發(fā)框架，是在UML的基礎(chǔ)上構(gòu)建的一個更高抽象層次的開發(fā)架構(gòu)。MDA的提出，使得模型執(zhí)行逐漸趨于可行。本文提出模型執(zhí)行的一種體系結(jié)構(gòu)，該體系架構(gòu)分為容器層和模型元素層兩層，并論述了基于模型執(zhí)行的軟件開發(fā)流程。 模型執(zhí)行以模型為中心，本文中所提出的模型執(zhí)行架構(gòu)中運用UML的各種建模技術(shù)和動態(tài)描述圖，尤其是利用UML2.0中對動態(tài)行為的建模能力，對

2、系統(tǒng)進行建模，圍繞對模型的解釋和處理，模型執(zhí)行提供容納模型的環(huán)境，針對模型中不同的組成元素分別進行模型級執(zhí)行。 文中所提出的模型執(zhí)行架構(gòu)的基礎(chǔ)——模型元素層，復(fù)用Eclipse開源項目UML2中的模型結(jié)構(gòu)，以該項目對UML2.0元模型的基于EMF框架的Java實現(xiàn)為基礎(chǔ)，來得到模型執(zhí)行中模型元素層對UML中各元素的識別與理解。 文中所提出的模型執(zhí)行架構(gòu)上層結(jié)構(gòu)——容器層，主要對UML模型中的動態(tài)語義進行研究，以活動圖為突

3、破口，重點分析活動圖的四種控制結(jié)構(gòu)并提出模型的執(zhí)行應(yīng)該對各種動態(tài)圖中的主體來實施模型執(zhí)行，并在文中提出各動態(tài)圖模型執(zhí)行的主體是各動態(tài)圖中抽象出來的“組合控制結(jié)構(gòu)”即由各種圖中的控制節(jié)點和與該節(jié)點緊密聯(lián)系的非控制節(jié)點元素所組成的集合結(jié)構(gòu)。本文以活動圖為例，提取出活動圖中的多種組合控制結(jié)構(gòu)并對其行為進行封裝得到活動圖的模型執(zhí)行元素，用以實現(xiàn)對活動圖的模型執(zhí)行。 本文結(jié)合書店管理模型實例，在Eclipse環(huán)境中使用EMF框架，實現(xiàn)了文