基于SysML模型驅(qū)動的軟件開發(fā)應(yīng)用與研究.pdf

1、多年來，企業(yè)為了贏得市場競爭，都在不斷進行內(nèi)部改造，而企業(yè)運作方式的變化引發(fā)了企業(yè)需求的變更。對于高度復(fù)雜、需求持續(xù)變化的應(yīng)用軟件，系統(tǒng)功能和其系統(tǒng)實現(xiàn)技術(shù)需要不斷更新。 另一方面，上個世紀90年代，面向?qū)ο蠹夹g(shù)迅速發(fā)展，其中比較流行的UML建模技術(shù)是其中一個方向，隨著不斷完善發(fā)展，逐漸被很多企業(yè)接受、認可，但同時也存在一定的局限性：其一，運用目前UML技術(shù)建立的系統(tǒng)模型是不可執(zhí)行的，難以對模型正確性進行驗證，這樣不易于前期分析

2、、設(shè)計中錯誤的發(fā)現(xiàn)，增加了后期開發(fā)的風險。其次，對同樣系統(tǒng)功能需求在不同實現(xiàn)平臺環(huán)境上(如：實現(xiàn)語言，軟件環(huán)境)建立模型細節(jié)差別很大，從而系統(tǒng)建造的重用性就很低。這樣迫切需要一種新的建模技術(shù)來增強模型的驗證能力，提高模型的可重用性及其模型與實現(xiàn)技術(shù)的無關(guān)性，以達到在技術(shù)與需求不斷變化的今天，提高系統(tǒng)邏輯建模的效率。 在以上的背景下，本文研究了一種基于SysML的面向?qū)ο蟮南到y(tǒng)建模技術(shù)和方法，同時也結(jié)合目前OMG組織提出的模型驅(qū)動