Chapter Six體係結構的一般描述講義(ppt 69頁)

Chapter Six體係結構的一般描述講義目錄：
一、主子程序
二、數據抽象和麵向對象
三、層次結構
四、理論的形式化方法
1、Z Notation
2、CSP
3、類屬理論
4、化學抽象機模型
五、軟件體係結構集成環境
1、UniCon
2、Darwin
3、Wright
4、ACME
六、軟件工程設計方法與體係結構描述

Chapter Six體係結構的一般描述講義內容提要：
數據抽象和麵向對象：
概述
數據抽象和麵向對象設計是在主程序和子過程設計基礎上建立和發展起來的重要的軟件描述方法。
數據抽象是麵向對象設計的理論基礎
類和對象是該描述方法的基礎粒度，而非模塊或者包。
本質上沒有逃出主子程序的思想
麵向對象已經成為大多數軟件係統設計的基礎和出發點。
一些重要的軟件設計思想都是在此基礎上提出來的
基本要點和特征
類是數據抽象的載體，類由數據成員和操作方法構成。（封裝－》ADT）
對象是類的實例，是軟件係統的可運行實體。
類的繼承性是一種複用機製。
如果基類的行為已經是可證明的，那麼證明導出類的正確性就變得簡單多了。
多態性是（1）同一個行為名，作用在不同的對象上，操作細節不同的性質；（2）同名方法對不同參數的處理過程不一樣。
對象天然的並發性，作為獨立可運行的實體，對象與對象之間是相互獨立、同時存在的，各具生存狀態的。
動態連接：關聯性在運行時刻解決的機製。
軟件係統概念的統一性、單一性，軟件係統中的一切都是對象。
…………

..............................