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

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

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