面向主體軟體工程——模型、方法學與語言(第2版)

面向主體軟體工程——模型、方法學與語言(第2版)

《面向主體軟體工程——模型、方法學與語言(第2版)》是2015年8月清華大學出版社出版的圖書,作者是毛新軍。

基本介紹

  • 中文名:面向主體軟體工程——模型、方法學與語言(第2版)
  • 作者:毛新軍
  • 出版社:清華大學出版社
  • 出版時間:2015年8月
  • 定價:49 元
  • ISBN:9787302403418
內容簡介,圖書目錄,

內容簡介

面向主體軟體工程藉助於多主體系統的概念、思想、理論和技術來支持軟體系統的開發,其基本概念、核心機制、抽象和模型、開發方法學、構造和實現技術等有別於現有的主流軟體工程,代表了一種新穎的軟體工程范型,可為部署和運行在以網際網路和移動網際網路為代表的開放環境之上,具有分布、異構、發散、自治、環境敏感、自適應和持續演化等特點的複雜軟體系統開發提供有效的技術手段。目前面向主體軟體工程已套用於諸如航空、航天、國防、軍事、電力、交通、娛樂、遊戲、模擬仿真等領域,並為企業計算、面向服務計算、雲計算、自適應軟體技術、自組織軟體工程、信息系統等研究方向提供關鍵技術支持。本書以多主體系統的具體研究成果為基礎,分析了面向主體軟體工程的產生和發展背景,闡明了面向主體軟體工程的基本思想、哲理和原則,著重從模型、方法學和語言三個方面介紹了面向主體軟體工程的具體內容,包括軟體體系結構、建模語言、分析和設計方法學、設計模式、程式設計及語言、模型驅動開發、CASE工具與環境等,結合當前研究和實踐狀況,討論了面向主體軟體工程存在的問題、面臨的挑戰以及未來的研究方向。此外,本書還在每一章後面提供了進一步閱讀信息,附錄部分提供了與面向主體軟體工程相關的學術資源信息。
本書可以作為軟體工程、人工智慧等專業研究生的教材和參考用書,對從事多主體系統、面向主體軟體工程等方向研究和實踐的人員具有重要的參考價值。

圖書目錄

第1章緒論1
1.1需求變化與技術發展1
1.2軟體系統特徵的變化3
1.2.1軟體環境的變化3
1.2.2軟體實體的變化4
1.2.3軟體形態的變化7
1.3軟體工程抽象和技術的發展12
1.3.1軟體工程的基本思想13
1.3.2軟體工程抽象和范型的發展13
1.3.3新穎的軟體工程技術17
1.4軟體工程面臨的挑戰18
1.4.1存在的問題18
1.4.2解決的方法19
1.5本章小結19
1.6本章導讀20
第2章主體和多主體系統21
2.1多主體系統的產生和發展背景21
2.2主體概念23
2.2.1何為主體24
2.2.2主體示例28
2.2.3主體環境30
2.3多主體系統的概念32
2.3.1何為多主體系統33
2.3.2多主體系統的特點33
2.3.3多主體系統示例35
2.4多主體系統與其他系統的對比分析38
2.4.1多主體系統與面向對象系統38
2.4.2多主體系統與面向服務系統41
2.5本章小結41面向主體軟體工程——模型、方法學與語言(第2版)2.6本章導讀42
第3章面向主體軟體工程43
3.1面向主體軟體工程的產生與發展背景43
3.2面向主體軟體工程的基本概念和思想44
3.2.1基本概念44
3.2.2思想與原則46
3.2.3軟體開發過程50
3.3面向主體軟體工程的研究與實踐53
3.4套用情況57
3.4.1適用系統57
3.4.2套用領域60
3.5本章小結62
3.6本章導讀63
第4章軟體主體的體系結構及其設計65
4.1軟體主體的設計與實現問題65
4.2軟體主體的抽象體系結構67
4.2.1頂級抽象體系結構68
4.2.2純反應式的抽象體系結構70
4.2.3具有感知部件的抽象體系結構71
4.2.4具有狀態部件的抽象體系結構73
4.3軟體主體的實現體系結構75
4.3.1知識型體系結構76
4.3.2反應型體系結構83
4.3.3認知型體系結構89
4.3.4混合型體系結構100
4.4本章小結104
4.5本章導讀105
第5章多主體系統的互動模型及設計106
5.1多主體系統的設計與實現問題106
5.2主體間的結構相關性和行為相關性108
5.3主體間的互動與協同112
5.3.1多主體系統的協同模型113
5.3.2主體互動的言語行為理論116
5.3.3主體通信語言117
5.3.4KIF和本體論119
5.3.5主體互動的實現方式120
5.4主體通信語言KQML122
5.4.1KQML的語法123
5.4.2KQML的訊息示例126
5.4.3KQML的語義128
5.4.4支持KQML互動的軟體參考模型130
5.5主體通信語言FIPA ACL132
5.5.1FIPA ACL的語法133
5.5.2FIPA ACL的訊息示例135
5.5.3FIPA ACL的語義136
5.6多主體系統的互動協定和協同模型137
5.6.1主體間的互動協定137
5.6.2契約網協同模型139
5.6.3請求服務協同模型141
5.7本章小結150
5.8本章導讀151
第6章面向主體的分析和設計方法學152
6.1面向主體的分析和設計問題152
6.1.1分析、設計與建模153
6.1.2分析和設計方法學的組成154
6.1.3面向主體分析和設計的基本思想155
6.2面向主體分析與設計方法學的類別157
6.3面向主體分析和設計的元模型160
6.3.1Aalaadin的ARG模型160
6.3.2Gaia方法學的元模型161
6.3.3MESSAGE方法學的元模型165
6.3.4James Odell的元模型166
6.3.5INGENIAS方法學的元模型169
6.4MaSE方法學170
6.4.1概述170
6.4.2建模概念和元模型172
6.4.3建模活動和語言173
6.4.4分析和設計過程176
6.4.5支撐軟體工具agentTool186
6.5ODAM方法187
6.5.1概述187
6.5.2建模概念和元模型188
6.5.3建模活動和語言190
6.5.4分析和設計過程192
6.5.5支撐軟體工具ODAMTools196
6.6Tropos方法198
6.6.1概述198
6.6.2建模概念和元模型199
6.6.3建模活動和建模語言202
6.6.4分析和設計過程204
6.6.5支撐軟體工具216
6.7面向主體的模型驅動開發218
6.7.1基本思想218
6.7.2SADE開發平台及其程式語言219
6.7.3模型轉換技術224
6.7.4支撐軟體工具225
6.8本章小結227
6.9本章導讀229
第7章面向主體的建模語言232
7.1面向主體的建模及其語言設計問題232
7.2AUML234
7.2.1概況234
7.2.2AUML的主體互動協定模型234
7.3MASML240
7.3.1概況240
7.3.2建模概念和元模型240
7.3.3模型與圖243
7.4AML247
7.4.1概況247
7.4.2建模概念和元模型248
7.4.3模型與圖253
7.5i*框架256
7.5.1概況256
7.5.2建模概念和元模型257
7.5.3模型與圖258
7.6本章小結261
7.7本章導讀261
第8章多主體系統的體系結構和設計模式263
8.1多主體系統體系結構的設計及模式重用問題263
8.2多主體系統的組織方式267
8.3多主體系統的體系結構風格269
8.3.1基於組織理論的體系結構風格270
8.3.2基於戰略聯盟的體系結構風格272
8.4多主體系統的設計模式274
8.5多主體系統設計模式的描述279
8.6本章小結 284
8.7本章導讀285
第9章面向主體的程式設計及其語言286
9.1面向主體的軟體構造與實現問題286
9.2面向主體程式設計概述287
9.2.1面向主體程式設計的發展歷程287
9.2.2面向主體程式設計的思想289
9.2.3面向主體程式設計的對象290
9.3面向主體程式設計的構成292
9.3.1面向主體程式設計的概念與模型292
9.3.2面向主體程式設計的機制與理論296
9.3.3面向主體程式設計的語言與設施298
9.3.4面向主體程式設計的工具與環境301
9.4具有代表性的面向主體程式設計語言303
9.4.1AGENT0303
9.4.2Concurrent Metatem315
9.4.3JAL323
9.5面臨的問題與挑戰340
9.6本章小結342
9.7本章導讀343
第10章多主體系統的軟體開發框架與平台344
10.1JADE344
10.1.1JADE概述344
10.1.2程式模型347
10.1.3開發支持348
10.1.4運行支持355
10.2JADEX358
10.2.1JADEX概述358
10.2.2程式模型358
10.2.3開發支持359
10.2.4運行支持361
10.3JACK363
10.3.1JACK概述363
10.3.2程式模型364
10.3.3開發支持366
10.3.4運行支持371
10.4本章小結372
10.5本章導讀373
第11章面臨挑戰與未來發展374
11.1存在的問題375
11.2未來的研究377
11.3本章小結379
11.4本章導讀380
參考文獻381
附錄A相關學術會議397
附錄B相關學術期刊398
附錄C相關學術組織和研究機構399
附錄D表索引400
附錄E圖索引402

相關詞條

熱門詞條

聯絡我們