用UML設(shè)計并發(fā)分布式實時應(yīng)用

內(nèi)容概要

本書提供了面向?qū)ο笤O(shè)計概念，并發(fā)和分布式系統(tǒng)技術(shù)，用例，統(tǒng)一建模語言表示法等的詳細概覽。它致力于軟件開發(fā)中的一個越來越重要的領(lǐng)域，即基于并發(fā)技術(shù)來設(shè)計實時和分布式應(yīng)用。利用UML表示法，本書清晰地展示了面向?qū)ο蠓治龊驮O(shè)計方法是如何解決這類系統(tǒng)所面對的獨一無二的挑戰(zhàn)的。在本書中，您可以看到一種特別適用于實時和分布式系統(tǒng)的分析和設(shè)計方法的全面描述，其被稱之為COMET。這種面向?qū)ο蟮姆椒▽W(xué)采用了一種高度迭代的基于用例技術(shù)和UML的軟件聲明周期，從需求建模一直貫徹到分析和設(shè)計，并始終著重于分布和實時系統(tǒng)的設(shè)計要求。文中同時附以大量深入的案例研究和例子向您示例COMET方式是如何被應(yīng)用到各種應(yīng)用系統(tǒng)的，其中包括實時，客戶/服務(wù)器和分布式軟件設(shè)計。     關(guān)鍵的主題包括：    面向?qū)ο蟮墓こ躺芷凇?   用例建模，其特別著重于嵌入式系統(tǒng)的要求。    靜態(tài)和動態(tài)分析建模。    對象和類的結(jié)構(gòu)化。    確定狀態(tài)機和狀態(tài)圖。    并發(fā)系統(tǒng)的軟件體系結(jié)構(gòu)設(shè)計。    采用了實時調(diào)度的實時系統(tǒng)設(shè)計的性能分析。    本書對于所有在這個領(lǐng)域里的開發(fā)者來說都是一個無價的資源。這些信息、技術(shù)、系統(tǒng)化的方法以及全面的指南和展示的案例將極大的促進高質(zhì)量的實時分布式應(yīng)用的創(chuàng)造。

作者簡介

Hassan Gomaa，維吉尼亞州Fairfax郡喬治梅森大學(xué)的軟件工程教授，是分布式和實時系統(tǒng)設(shè)計的國際知名的權(quán)威，同時也是Software Design Methods for Concurrent and Real-Time Systems的作者。Hassan在軟件工程方面的經(jīng)歷跨越了業(yè)界和學(xué)術(shù)界，為業(yè)界開發(fā)并發(fā)、分布式和實時系統(tǒng)，同時設(shè)計軟件開發(fā)方法并將它們用于實踐；同時他也為世界各地的專業(yè)軟件工程師們講授短期的課程。他在英國倫敦大學(xué)學(xué)院獲得電子工程的理學(xué)學(xué)士學(xué)位，并在倫敦帝國學(xué)院獲得計算機科學(xué)的博士學(xué)位。

書籍目錄

第一篇 UML表示方法、設(shè)計概念、技術(shù)、生命周期和方法  第1章 導(dǎo)言  第2章 UML表示法概述  第3章 軟件設(shè)計和體系結(jié)構(gòu)的概念  第4章 并發(fā)和分布式系統(tǒng)技術(shù)  第5章 軟件生命周期和方法第二篇 COMET:用UML的并發(fā)對象建模和體系結(jié)構(gòu)設(shè)計  第6章 COMET概述  第7章 用例建模  第8章 靜態(tài)建模  第9章 構(gòu)造對象和類  第10章 有限狀態(tài)機和狀態(tài)圖  第11章 動態(tài)建模  第12章 軟件體系結(jié)構(gòu)設(shè)計  第13章 分布式應(yīng)用的體系結(jié)構(gòu)設(shè)計  第14章 任務(wù)構(gòu)建  第15章 類的設(shè)計  第16章 詳細軟件設(shè)計  第17章 并發(fā)實時軟件設(shè)計的性能分析第三篇 并發(fā)、分布和實時應(yīng)用設(shè)計的實例研究  第18章電梯控制系統(tǒng)實例研究  第19章 銀行系統(tǒng)實例研究  第20章 巡航控制和監(jiān)視系統(tǒng)實例研究  第21章 分布式工廠自動化系統(tǒng)實例研究  第22章 電子商務(wù)系統(tǒng)實例研究附錄 約定的和替換的表示法  1 本書采用的約定   2 衍類型的替換表示法  3 主動對象的替換表示法

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    用UML設(shè)計并發(fā)分布式實時應(yīng)用 PDF格式下載

---