基于面向對象模型的形式化規(guī)約和FDOOM開發(fā)方法.pdf

1、首先研究RAISE的模型表示和模型精化能力,通過尋找RAISE模型和UML的對象模型之間的聯(lián)系,建立RAISE模型和UML模型之間的"橋梁",完成使用RAISE的RSL語言表示UML的對象模型.同時根據(jù)RAISE的特點,將RAISE開發(fā)方法結合到UML的開發(fā)過程中,最后提出可視化和形式化初步結合的FDOOM開發(fā)方法.為面向對象建模概念建立語義基礎是十分重要的,通過形式化的抽象定義,可建立精確的面向對象的結構模型和行為模型,因此作者將使用

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