基于面向?qū)ο竽Ｐ偷男问交?guī)約和FDOOM開發(fā)方法.pdf

1、首先研究RAISE的模型表示和模型精化能力,通過尋找RAISE模型和UML的對象模型之間的聯(lián)系,建立RAISE模型和UML模型之間的"橋梁",完成使用RAISE的RSL語言表示UML的對象模型.同時(shí)根據(jù)RAISE的特點(diǎn),將RAISE開發(fā)方法結(jié)合到UML的開發(fā)過程中,最后提出可視化和形式化初步結(jié)合的FDOOM開發(fā)方法.為面向?qū)ο蠼８拍罱⒄Z義基礎(chǔ)是十分重要的,通過形式化的抽象定義,可建立精確的面向?qū)ο蟮慕Y(jié)構(gòu)模型和行為模型,因此作者將使用

2、RAISE的定義語言RSL來表達(dá)UML的類結(jié)構(gòu),找到UML對象模型和RAISE形式化模型的對應(yīng)關(guān)系.利用UML的可視化的優(yōu)點(diǎn),進(jìn)行基本的需求分析和建模,然后利用RAISE精確定義模型并進(jìn)行精化和驗(yàn)證,對已經(jīng)驗(yàn)證的模型再采用UML重新表示這種新的模型,最后完成軟件設(shè)計(jì),同時(shí)可以利用支持UML的CASE 工具RationalRose、MS Vlsio等直接產(chǎn)生代碼,產(chǎn)生演化型原型.為了驗(yàn)證這樣的開發(fā)過程,該文還將描述港口船舶?？抗芾淼睦?