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