軟件工程與case工程綜述(編輯修改稿)
2025-02-03 10:34 本頁面
【文章內(nèi)容簡介】 和“漸增模型”(結(jié)構(gòu)化方法一般采用“瀑布模型”)。 實體關(guān)系方法最初是 。實體關(guān)系方法使用實體關(guān)系(ER)模型對來自現(xiàn)實世界問題中的信息進(jìn)行分析。ER方法涉及如下一些基本的抽象概念: (Entity):是現(xiàn)實世界中可以相互區(qū)別的事物。它可以是實際存在的事物(如人、物等)。也可以是抽象的和概念性的事物(如一筆存、取款交易等)。還可以是實體與實體之間的聯(lián)系(即下面要介紹的“關(guān)系”)。實體可以用屬性，也可以用關(guān)系來定義。 (Attribute):指實體具有的某種或多種特性。 (Relationship):指實體與實體之間的某種聯(lián)系。 ER方法雖然最初是為進(jìn)行數(shù)據(jù)庫系統(tǒng)設(shè)計提出來的，但其主要思路是如何建立現(xiàn)實世界的信息模型，因此，它對于信息系統(tǒng)的抽象和開發(fā)具有廣泛的指導(dǎo)意義。 面向事件方法的核心概念是“刺激一反應(yīng)”這一概念。事件(Event)是對系統(tǒng)的“刺激”，而系統(tǒng)由受刺激而產(chǎn)生的動作及其輸出則是“反應(yīng)”。我們可以說“反應(yīng)”是系統(tǒng)狀態(tài)的遷移，引起系統(tǒng)狀態(tài)改變的條件或動作(即“刺激”)就是事件。一個狀態(tài)遷移還可以引起另一個狀態(tài)遷移，即刺激產(chǎn)生反應(yīng)，反應(yīng)又可以成為新的刺激。按照這種思想建立的系統(tǒng)也稱為事件驅(qū)動的系統(tǒng)((EventDriven System)。面向事件方法是實時系統(tǒng)常用的開發(fā)方法。 計算機被越來越多地用于解決那些故障可能會導(dǎo)致嚴(yán)重后果(包括危及生命)的一些任務(wù)當(dāng)中。計算機在控制宇宙飛船、航天器、火車、汽車、核反應(yīng)堆和醫(yī)療設(shè)備等等的應(yīng)用中起著重要的作用。在這些系統(tǒng)中，要求計算機系統(tǒng)是完全可靠的是非常重要的。提高計算機軟件可靠性的一種重要技術(shù)是使用形式化方法(Formal Methods)。近年來，國外對形式化方法在軟件開發(fā)中的研究與應(yīng)用進(jìn)行了大量的實踐工作，形式化方法已不再只是一種研究所里的學(xué)術(shù)研究工作，而是已經(jīng)開始被工業(yè)界接受并用于開發(fā)實際的系統(tǒng)(real systems)。國外已有包括形式化方法、形式化語言和形式化工具在內(nèi)的比較成熟的形式化系統(tǒng)，如VDM系統(tǒng)、Z系統(tǒng)、RAISE系統(tǒng)等。下面對RAISE系統(tǒng)進(jìn)行簡單介紹。 RAISE(Rigorous Approach to Industrial SoftwareEngineering)翻譯成中文就是“面向工業(yè)軟件工程的嚴(yán)格方法”。RSL(RAISE Specification Language)是一種適于工業(yè)界使用的功能強大、應(yīng)用面很廣的規(guī)范說明語言。RSL與其相關(guān)的開發(fā)方法(即RAISE)和支持工具(Tool)一起，最初是作為丹麥和英國的一些公司的一項合作項目(19851990年間的RAISE ESPRIT項目)開發(fā)出來的。這一方法和技術(shù)后來在6個歐洲國家的一些公司的LaCos ESPRIT項目(19901995年)中得到進(jìn)一步完善和發(fā)展。當(dāng)前這一方法和技術(shù)已被工業(yè)界采用，在歐洲和北美的其它一些公司和研究機構(gòu)也開始使用和講授RSL語言。下面介紹使用RAISE形式化方法開發(fā)軟件的幾個主要的階段。 (Formal Analysis)。形式化分析階段根據(jù)用戶需求(Requirements)得到最初的規(guī)范說明(initialspecification)。形式化分析一般采用自然語言如英語書寫，得到RSL描述。 (Formal Design)。形式化設(shè)計階段從最初的規(guī)范說明逐步演進(jìn)到最終的規(guī)范說明(final specification)。從最初的規(guī)范說明到最終的規(guī)范說明之間可能要經(jīng)過若干步驟。每前進(jìn)一個步驟，規(guī)范說明由抽象變得更為具體，但總是與最初的規(guī)范
公司管理相關(guān)推薦
鄂ICP備17016276號-1