網(wǎng)絡(luò)式軟件

內(nèi)容概要

本書針對網(wǎng)絡(luò)式軟件涉眾需求的差異性、需求和環(huán)境的動態(tài)多變，系統(tǒng)地論述了網(wǎng)絡(luò)式軟件需求工程的理論與方法。    全書分四個部分，共計十三章。第一部分(第一章至第三章)主要介紹了網(wǎng)絡(luò)式軟件產(chǎn)生的背景；第二部分(第四章和第五章)重點闡述了網(wǎng)絡(luò)式軟件的需求元建模框架；第三部分(第六章至第十一章)系統(tǒng)介紹了在RGPS需求元建?？蚣艿闹笇?dǎo)下的需求獲取、分析、演化建模、驗證與管理方法，以及面向網(wǎng)絡(luò)服務(wù)的軟件規(guī)?；贫?；第四部分(第十二章和第十三章)主要介紹了網(wǎng)絡(luò)式軟件復(fù)雜系統(tǒng)群體涌現(xiàn)的調(diào)控機理，明確了今后的研究方向。    本書可供從事軟件研究的科技人員閱讀，亦可作為高等院校計算機軟件與理論專業(yè)研究生的教材和參考書。

書籍目錄

序言前言第一章  緒論  1.1  軟件的網(wǎng)絡(luò)化  1.2  軟件工程的重點向需求工程轉(zhuǎn)移  1.3  本書擬解決的關(guān)鍵問題    1.3.1  統(tǒng)一需求元描述問題    1.3.2  網(wǎng)絡(luò)式軟件需求獲取及建模過程中的適應(yīng)性問題    1.3.3  共性與個性化需求的協(xié)同整合問題  1.4  本書的組織結(jié)構(gòu)    參考文獻(xiàn)第二章  軟件新范型  2.1  軟件范型的發(fā)展歷史    2.1.1  面向過程范型    2.1.2  面向?qū)ο蠓缎?   2.1.3  基于構(gòu)件的范型    2.1.4  互聯(lián)網(wǎng)和面向服務(wù)的范型  2.2  面向語義服務(wù)的新范型    2.2.1  互聯(lián)網(wǎng)上的軟件工程    2.2.2  一種面向語義SOA的新范型    2.3  小結(jié)    參考文獻(xiàn)第三章  網(wǎng)絡(luò)式軟件研究進(jìn)展  3.1  網(wǎng)絡(luò)式軟件    3.1.1  網(wǎng)絡(luò)式軟件的新特點    3.1.2  網(wǎng)絡(luò)式軟件的開發(fā)模式  3.2  網(wǎng)絡(luò)式軟件需求工程    3.2.1  什么是網(wǎng)絡(luò)式軟件需求工程    3.2.2  網(wǎng)絡(luò)式軟件需求工程的難點  3.3  理論和實踐基礎(chǔ)    3.3.1  本體      3.3.2  本體元建模    3.3.3  語義SOA  3.4  小結(jié)    參考文獻(xiàn)第四章  網(wǎng)絡(luò)式軟件的需求元建?？蚣? 4.1  需求建模研究進(jìn)展    4.1.1  面向目標(biāo)的建模    4.1.2  基于本體的建模    4.1.3  面向特征的建模    4.1.4  現(xiàn)有建模技術(shù)分析  4.2  需求元建?？蚣躌GPS概述    4.2.1  需求元建?？蚣躌G3PS的提出    4.2.2  需求元建?？蚣躌GPS的定義及其設(shè)計思路    4.2.3  需求元建模框架RGPS的作用  4.3  在RGPS中融人情境需求    4.3.1  情境建模相關(guān)研究    4.3.2  情境元模型    4.3.3  情境元模型的融入    4.3.4  情境信息的描述  4.4  在RGPS中融入可信性需求    4.4.1  可信性建模相關(guān)研究    4.4.2  可信性元模型及其與RGPS的融合    4.4.3  可信性信息的描述  4.5  RGPS需求元建?？蚣苤械脑Ｐ?   4.5.1  角色層元模型    4.5.2  目標(biāo)層元模型    4.5.3  過程層元模型    4.5.4  服務(wù)層元模型    4.5.5  層次間關(guān)系的元模型  4.6  小結(jié)    參考文獻(xiàn)第五章  基于RGPS的領(lǐng)域建模  5.1  領(lǐng)域建模基礎(chǔ)    5.1.1  什么是領(lǐng)域    5.1.2  領(lǐng)域建模    5.1.3  本體與領(lǐng)域建模  5.2  一種基于RGPS的領(lǐng)域建模方法  5.3  城市交通領(lǐng)域建模分析    5.3.1  領(lǐng)域本體的構(gòu)造    5.3.2  需求用例分析  5.4  建模工具介紹  5.5  領(lǐng)域模型演化的系統(tǒng)動力學(xué)分析    5.5.1  領(lǐng)域吸收率    5.5.2  基于RGPS元模型的領(lǐng)域吸收率及其計算    5.5.3  QoE與網(wǎng)絡(luò)式軟件生命周期    5.5.4  一種領(lǐng)域模型演化的系統(tǒng)動力學(xué)模型    5.6小結(jié)    參考文獻(xiàn)第六章  網(wǎng)絡(luò)式軟件需求獲取  6.1  需求獲取研究進(jìn)展    6.1.1  需求獲取的對象    6.1.2  需求獲取技術(shù)    6.1.3  需求描述語言  6.2  網(wǎng)絡(luò)式軟件需求獲取框架  6.3  一種面向服務(wù)的需求描述語言    6.3.1  需求描述模型    6.3.2  自然語言模式    6.3.3  需求描述自然語言模式    6.3.4  SORL的基本構(gòu)成  6.4  需求預(yù)處理    6.4.1  構(gòu)建SORL樹    6.4.2  結(jié)構(gòu)化  6.5  需求獲取工具和實例    6.5.1  需求獲取平臺    6.5.2  需求獲取實例  6.6  小結(jié)    參考文獻(xiàn)第七章  網(wǎng)絡(luò)式軟件需求分析  7.1  需求分析研究進(jìn)展    7.1.1  需求分析的任務(wù)    7.1.2  需求分析方法    7.1.3  非功能需求分類和建模  7.2  非功能需求沖突管理    7.2.1  非功能需求的形式化表示    7.2.2  非功能需求沖突檢測    7.2.3  非功能需求沖突消解  7.3  非功能需求沖突管理實例    7.3.1  非功能需求建模實例    7.3.2  沖突檢測和消解實例  7.4  小結(jié)    參考文獻(xiàn)第八章  網(wǎng)絡(luò)式軟件需求演化建模  8.1  軟件演化技術(shù)的研究進(jìn)展    8.1.1  基于方面的軟件演化方法    8.1.2  基于反射體系結(jié)構(gòu)的軟件演化方法  8.2  網(wǎng)絡(luò)式軟件的演化建模    8.2.1  基本過程    8.2.2  面向方面的目標(biāo)需求規(guī)格的形成    8.2.3  網(wǎng)絡(luò)式軟件運行時反射的演化框架  8.3  案例分析  8.4  小結(jié)    參考文獻(xiàn)第九章  網(wǎng)絡(luò)式軟件需求模型的驗證  9.1  需求驗證研究進(jìn)展    9.1.1  形式化方法的概述    9.1.2  相關(guān)工作  9.2  網(wǎng)絡(luò)式軟件的過程模型    9.2.1  OWL—S概述    9.2.2  服務(wù)的靜態(tài)信息    9.2.3  服務(wù)的過程模型    9.2.4  過程模型的抽象定義  9.3  過程模型的動態(tài)語義    9.3.1  進(jìn)程代數(shù)    9.3.2  變量申明及數(shù)據(jù)流結(jié)構(gòu)    9.3.3  過程結(jié)果    9.3.4  控制結(jié)構(gòu)    9.3.5  過程模型  9.4  過程模型驗證及實例    9.4.1  驗證性質(zhì)    9.4.2  案例分析    9.5  小結(jié)    參考文獻(xiàn)第十章  網(wǎng)絡(luò)式軟件的需求管理  10.1  網(wǎng)絡(luò)式軟件的需求管理框架  10.2  需求數(shù)據(jù)管理    10.2.1  基于XML的需求數(shù)據(jù)格式    10.2.2  需求數(shù)據(jù)和需求文檔的存儲  10.3  需求變更控制    10.3.1  需求變更的原因    10.3.2  需求變更的實現(xiàn)基礎(chǔ)    10.3.3  需求變更的處理流程  10.4  需求跟蹤    10.4.1  網(wǎng)絡(luò)式軟件需求跟蹤的作用    10.4.2  網(wǎng)絡(luò)式軟件需求項之間的關(guān)系    10.4.3  網(wǎng)絡(luò)式軟件需求跟蹤的實現(xiàn)  10.5  需求狀態(tài)跟蹤    10.5.1  網(wǎng)絡(luò)式軟件需求狀態(tài)    10.5.2  網(wǎng)絡(luò)式軟件需求狀態(tài)跟蹤的作用    10.5.3  網(wǎng)絡(luò)式軟件需求狀態(tài)跟蹤圖  10.6  需求管理工具  10.7  小結(jié)  參考文獻(xiàn)第十一章  面向網(wǎng)絡(luò)服務(wù)的軟件規(guī)?；ㄖ? 11.1  軟件新觀念    11.1.1  軟件的網(wǎng)絡(luò)觀——軟件是網(wǎng)絡(luò)    11.1.2  軟件的服務(wù)觀——軟件即服務(wù)    11.1.3  軟件的價值觀——軟件服務(wù)無邊界  11.2  面向網(wǎng)絡(luò)服務(wù)的軟件規(guī)模化定制關(guān)鍵技術(shù)    11.2.1  概念模型    11.2.2  面向服務(wù)族的設(shè)計技術(shù)    11.2.3  網(wǎng)絡(luò)服務(wù)實現(xiàn)技術(shù)    11.2.4  用戶信息記錄和行為分析技術(shù)    11.2.5  用戶界面設(shè)計技術(shù)  11.3  面向網(wǎng)絡(luò)服務(wù)的軟件規(guī)?；ㄖ频幕A(chǔ)設(shè)施    11.3.1  基于MFI的Web服務(wù)注冊聯(lián)邦      11.3.2  Web服務(wù)注冊聯(lián)邦的運行機制  11.4  軟件規(guī)模化定制中的按需模型選擇    11.4.1  模型驅(qū)動的軟件開發(fā)    11.4.2  按需模型選擇  11.5  小結(jié)    參考文獻(xiàn)第十二章  網(wǎng)絡(luò)式軟件復(fù)雜系統(tǒng)群體行為涌現(xiàn)的調(diào)控機理  12.1  網(wǎng)絡(luò)式軟件復(fù)雜系統(tǒng)  12.2  網(wǎng)絡(luò)式軟件系統(tǒng)與非線性系統(tǒng)和復(fù)雜系統(tǒng)的關(guān)系  12.3  從系統(tǒng)整體論到生成整體論  12.4  網(wǎng)絡(luò)式軟件復(fù)雜系統(tǒng)的涌現(xiàn)行為  12.5  松散耦合和語義互操作性能力  12.6  網(wǎng)絡(luò)式軟件“整體”構(gòu)架的元屬性及其機理  12.7  網(wǎng)絡(luò)式軟件復(fù)雜系統(tǒng)的互操作性聚類機理  12.8  網(wǎng)絡(luò)式軟件復(fù)雜系統(tǒng)互操作性調(diào)控的基本規(guī)則  12.9  語義互操作性能力計算和群體行為涌現(xiàn)的調(diào)控技術(shù)    12.9.1  語義互操作性能力的計算方法    12.9.2  多LME互操作系統(tǒng)的結(jié)構(gòu)及其動態(tài)演變    12.9.3  面向期望行為目標(biāo)的群體行為涌現(xiàn)調(diào)控技術(shù)  12.10  小結(jié)    參考文獻(xiàn)第十三章  總結(jié)和展望附錄A  縮寫詞對照表附錄B  英漢名詞對照表

章節(jié)摘錄

第一章 緒 論20世紀(jì)是科學(xué)技術(shù)空前輝煌的世紀(jì)，人類創(chuàng)造了歷史上最為巨大的科學(xué)成就和物質(zhì)財富。這些成就深刻地改變了人類生產(chǎn)和生活的方式及質(zhì)量，同時也深刻地改變了人類的思維觀念和對世界的認(rèn)識，極大地推動了社會的發(fā)展。計算機與互聯(lián)網(wǎng)正是這些偉大的科技發(fā)明之中的代表作。計算機科學(xué)與技術(shù)自20世紀(jì)40年代開始，經(jīng)過幾十年的發(fā)展，已經(jīng)成為一門復(fù)雜的工程技術(shù)學(xué)科，其應(yīng)用從國防、科學(xué)計算到家庭辦公、教育娛樂，無所不在。而互聯(lián)網(wǎng)的興起使計算機不但能處理信息，而且可以獲得信息和傳遞信息，其快速發(fā)展對全球政治、經(jīng)濟(jì)、文化等領(lǐng)域具有深遠(yuǎn)的影響。承載與實施這些轉(zhuǎn)變的正是計算機軟件的創(chuàng)新。20世紀(jì)60年代，為解決“軟件開發(fā)與維護(hù)費用居高不下、生產(chǎn)率低下，開發(fā)周期與版本升級時間過長，軟件質(zhì)量不能滿足用戶需要”等問題，誕生了軟件工程學(xué)科。經(jīng)過了40年的發(fā)展，軟件工程研究者們提出了包括面向過程、面向?qū)ο?、面向?gòu)件到面向方面等各種軟件開發(fā)方法學(xué)，在指導(dǎo)軟件開發(fā)、管理開發(fā)過程、防范開發(fā)風(fēng)險等方面取得了一定的成就。但隨著應(yīng)用領(lǐng)域在深度、廣度上的拓展，隨著人們對軟件期望的提升，隨著互聯(lián)網(wǎng)的飛速普及，軟件系統(tǒng)的規(guī)模與復(fù)雜度正以超越人類處理能力的速度激增。2006年6月，卡內(nèi)基·梅隆大學(xué)軟件工程研究所發(fā)布的調(diào)研報告“超大規(guī)模系統(tǒng)：未來軟件必須面對的挑戰(zhàn)”(Northrop，2006)中指出：“在過去將近40年的時間里，軟件工程領(lǐng)域取得了巨大的進(jìn)步，使得我們能夠開發(fā)越來越復(fù)雜的系統(tǒng)。但與軟件工程師的能力同時增長的，還有人們的希望，而人們的希望總是超過他們的能力。也就是說，就目前的大型軟件密集型系統(tǒng)(Software-Intensive Systems)而言，我們將軟件開發(fā)變成工程性學(xué)科的希望仍然只是希望。在我們?yōu)殚_發(fā)目前的系統(tǒng)而掙扎的同時，我們也野心勃勃地希望為未來開發(fā)更加強大的軟件系統(tǒng)?！币?guī)模改變一切!我們需要轉(zhuǎn)變視角，需要新的思想來應(yīng)對我們遇到的挑戰(zhàn)性問題。計算機軟件隨著其規(guī)模的增加、交互的復(fù)雜與應(yīng)用環(huán)境的變化，已經(jīng)使其成為典型的一類人工復(fù)雜系統(tǒng)。因此，利用復(fù)雜系統(tǒng)等和軟件工程的學(xué)科交叉與會聚研究，產(chǎn)生新的理論、方法與技術(shù)，提升軟件工程師軟件開發(fā)的能力，比以往任何時期都顯得更加急迫、更加重要！

編輯推薦

《網(wǎng)絡(luò)式軟件》可供從事軟件研究的科技人員閱讀，亦可作為高等院校計算機軟件與理論專業(yè)研究生的教材和參考書。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    網(wǎng)絡(luò)式軟件 PDF格式下載

---