面向主體的軟件開發(fā)

內(nèi)容概要

在人工智能和分布式人工智能、分布計(jì)算、人機(jī)交互、計(jì)算機(jī)輔助協(xié)同工作等領(lǐng)域，有關(guān)主體理論和技術(shù)的研究和應(yīng)用引起了人們的高度關(guān)注和重視，并取得了不少進(jìn)展。近年來，許多研究人員將主體的概念、理論和技術(shù)引入到軟件工程領(lǐng)域，并與軟件工程的基本思想、原理和原則相結(jié)合，從而為多主體系統(tǒng)的開發(fā)提供工程化的技術(shù)手段，包括系統(tǒng)建模、開發(fā)方法、程序設(shè)計(jì)語言、軟件重用等，并產(chǎn)生了面向主體軟件工程這一新穎的研究方向。本書以主體理論和技術(shù)的具體研究成果為基礎(chǔ)，從軟件工程化開發(fā)的角度，系統(tǒng)介紹了面向主體軟件開發(fā)的基本思想和方法。內(nèi)容包括面向主體軟件開發(fā)的基本概念、軟件開發(fā)思想、多主體系統(tǒng)的底層實(shí)現(xiàn)技術(shù)、分析和設(shè)計(jì)方法、程序設(shè)計(jì)及其語言、CASE工具和環(huán)境以及基礎(chǔ)理論等。它不僅介紹了面向主體軟件工程的最新進(jìn)展，而且還分析了它所面臨的各種問題和挑戰(zhàn)。    本書可以作為計(jì)算機(jī)軟件專業(yè)碩士和博士研究生的教材和參考用書，對從事主體理論和技術(shù)研究的人員，尤其是從事面向主體軟件工程研究的人員，以及基于主體技術(shù)的工程實(shí)踐人員均具有較為重要的參考價(jià)值。

作者簡介

毛新軍，男，1970年生，1992年畢業(yè)于解放軍信息工程學(xué)院計(jì)算機(jī)系獲學(xué)士學(xué)位，1995年畢業(yè)于國防科技大學(xué)計(jì)算機(jī)系獲碩士學(xué)位，1998年畢業(yè)于國防科技大學(xué)計(jì)算機(jī)系獲博士學(xué)位，2003年至2004年在加拿大多倫多大學(xué)計(jì)算機(jī)系訪問，現(xiàn)在國防科技大學(xué)計(jì)算機(jī)系602教研室任教，副教授。

書籍目錄

第1章 緒論 1.1 產(chǎn)生背景 1.2 對軟件工程化開發(fā)提出的要求 1.3 面向主體的軟件工程 1.4 小結(jié)第2章 基本概念和思想 2.1 什么是主體 2.2 什么是多主體系統(tǒng) 2.3 面向主體的軟件開發(fā) 2.4 應(yīng)用 2.5 進(jìn)一步閱讀 2.6 小結(jié)第3章 主體的體系結(jié)構(gòu) 3.1 主體的設(shè)計(jì)和實(shí)現(xiàn)問題 3.2 主體的抽象體系結(jié)構(gòu) 3.3 主體的實(shí)現(xiàn)體系結(jié)構(gòu) 3.4 知識型體系結(jié)構(gòu) 3.5 反應(yīng)式體系結(jié)構(gòu) 3.6 認(rèn)知型體系結(jié)構(gòu) 3.7 混合型體系結(jié)構(gòu) 3.8 進(jìn)一步閱讀 3.9 小結(jié)第4章 主體間的交互和協(xié)作 4.1 主體間的相關(guān)性 4.2 主體間的協(xié)作 4.3 主體通信語言 4.4 KQML 4.5 FIPA的ACL 4.6 KIF和本體論 4.7 主體間的通信方式 4.8 多主體系統(tǒng)的協(xié)作模型 4.9 進(jìn)一步閱讀 4.10 小結(jié)第5章 面向主體的分析和設(shè)計(jì) 5.1 分析.設(shè)計(jì)和建模 5.2 面向主體的分析和設(shè)計(jì)方法 5.3 MaSE方法 5.4 Gaia方法 5.5 Tropos方法 5.6 進(jìn)一步閱讀 5.7 小結(jié)第6章 面向主體的程序設(shè)計(jì) 6.1 面向主體的程序設(shè)計(jì)思想 6.2 面向主體的程序設(shè)計(jì)語言 6.3 并發(fā)METATEM 6.4 AGENT-0 6.5 JAL 6.6 進(jìn)一步閱讀 6.7 小結(jié)第7章 面向主體的CASE工具和環(huán)境 7.1 面向主體的CASE工具和環(huán)境 7.2 面向主體CASE工具和環(huán)境的分類 7.3 面向主體CASE工具和環(huán)境的評價(jià) 7.4 典型的面向主體CASE工具和環(huán)境 7.5 進(jìn)一步閱讀 7.6 小結(jié)第8章 主體邏輯 8.1 意向觀點(diǎn)作為抽象工具 8.2 邏輯作為數(shù)學(xué)工具 8.3 主體邏輯 8.4 進(jìn)一步閱讀 8.5 小結(jié)第9章 多主體系統(tǒng)計(jì)算的理論框架 9.1 多主體系統(tǒng)邏輯 9.2 主體的自主計(jì)算理論 9.3 聯(lián)合意圖理論 9.4 通信行為的形式化語義 9.5 進(jìn)一步閱讀 9.6 小結(jié)附錄 研究資源信息

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    面向主體的軟件開發(fā) PDF格式下載

---