過(guò)程藍(lán)圖設(shè)計(jì)方法學(xué)

序
前言
第1章概論
1.1引言
1.2研究動(dòng)機(jī)
1.2.1復(fù)雜行為過(guò)程建模的必要性和重要性
1.2.2工程藍(lán)圖的啟發(fā)
1.2.3統(tǒng)一建模語(yǔ)言在行為過(guò)程建模方面的缺陷和不足
1.2.4傳統(tǒng)過(guò)程開(kāi)發(fā)技術(shù)存在的主要問(wèn)題
1.2.5影響圖形化技術(shù)發(fā)展的一些趨勢(shì)和因素
1.3研究工作的目標(biāo)
1.3.1總體目標(biāo)
1.3.2具體目標(biāo)
1.4方法學(xué)概述
1.4.1方法學(xué)的主要內(nèi)容
1.4.2過(guò)程藍(lán)圖語(yǔ)言
1.4.3開(kāi)發(fā)過(guò)程
1.5過(guò)程藍(lán)圖CASE工具
1.6過(guò)程藍(lán)圖的研究工作
第2章過(guò)程藍(lán)圖語(yǔ)言
2.1方法和組織
2.1,1語(yǔ)言定義方法
2.1.2元模型的規(guī)格說(shuō)明結(jié)構(gòu)
2.1.3語(yǔ)言形式化
2.2過(guò)程藍(lán)圖的基本概念和基礎(chǔ)設(shè)施
2.2.1基本概念
2.2.2語(yǔ)言的基本構(gòu)造
2.2.3語(yǔ)言的構(gòu)成
2.2.4三層描述二級(jí)映射的體系結(jié)構(gòu)
2.3抽象概念結(jié)構(gòu)圖
2.3.1基本集合
2.3.2抽象語(yǔ)法
2.3.3良構(gòu)規(guī)則
2.3.4動(dòng)作語(yǔ)義
2.3.5圖形表示法
2.3.6應(yīng)用
2.3.7小結(jié)
2.4抽象邏輯結(jié)構(gòu)圖
2.4.1基本集合
2.4.2抽象語(yǔ)法
2.4.3良構(gòu)規(guī)則
2.4.4圖形表示法
2.4.5小結(jié)
2.5抽象實(shí)現(xiàn)結(jié)構(gòu)圖
2.5.1基本集合
2.5.2抽象語(yǔ)法
2.5.3良構(gòu)規(guī)則
2.5.4圖形表示法
2.5.5小結(jié)
2.6過(guò)程藍(lán)圖
2.6.1基本函數(shù)
2.6.2直觀元模型
2.6.3統(tǒng)一元模型
2.7過(guò)程藍(lán)圖語(yǔ)言的完整性
2.7.1過(guò)程藍(lán)圖的有效性和一致性
2.7.2過(guò)程藍(lán)圖的完備性
2.7.3過(guò)程藍(lán)圖的正確性
2.7.4過(guò)程藍(lán)圖的完整性
2.8用法指南
2.9總結(jié)
第3章過(guò)程藍(lán)圖的設(shè)計(jì)原理和性質(zhì)
3.1設(shè)計(jì)要求
3.2設(shè)計(jì)目標(biāo)
3.3設(shè)計(jì)原則
3.4設(shè)計(jì)原理
3.4.1分層描述性
3.4.2程序獨(dú)立性
3.5設(shè)計(jì)內(nèi)容
3.6表示法設(shè)計(jì)
3.6.1控制流和數(shù)據(jù)流的表示
3.6.2動(dòng)作及其結(jié)構(gòu)關(guān)系的表示
3.6.3過(guò)程的表示
3.6.4表示法的屬性
3.7過(guò)程藍(lán)圖的性質(zhì)與目標(biāo)
3.7.1過(guò)程藍(lán)圖的目的
3.7.2過(guò)程藍(lán)圖的范圍
3.7.3過(guò)程藍(lán)圖的語(yǔ)境
3.7.4過(guò)程藍(lán)圖的含義
3.7.5過(guò)程藍(lán)圖的作用
3.7.6過(guò)程藍(lán)圖的功能
3.7.7過(guò)程藍(lán)圖的用途
3.7.8過(guò)程藍(lán)圖的優(yōu)點(diǎn)
3.8相關(guān)工作比較
3.8.1過(guò)程表示法的分類
3.8.2比較對(duì)象的選擇
3.8.3比較項(xiàng)目和原則
3.8.4比較與分析
3.8.5討論
第4章過(guò)程藍(lán)圖開(kāi)發(fā)
4.1過(guò)程藍(lán)圖開(kāi)發(fā)技術(shù)的層次
4.2過(guò)程藍(lán)圖開(kāi)發(fā)過(guò)程
4.2.1階段.制品和活動(dòng)
4.2.2開(kāi)發(fā)工作流程
4.2.3過(guò)程藍(lán)圖開(kāi)發(fā)過(guò)程的特點(diǎn)
4.3過(guò)程藍(lán)圖設(shè)計(jì)技術(shù)
4.3.1過(guò)程藍(lán)圖設(shè)計(jì)模型
4.3.2過(guò)程藍(lán)圖設(shè)計(jì)方法
4.3.3設(shè)計(jì)實(shí)例
4.4與軟件分析和設(shè)計(jì)技術(shù)的結(jié)合
4.4.1與結(jié)構(gòu)化分析和設(shè)計(jì)技術(shù)的結(jié)合
4.4.2與面向?qū)ο蠓治龊驮O(shè)計(jì)技術(shù)的結(jié)合
4.5Jackson程序規(guī)格說(shuō)明到過(guò)程藍(lán)圖的轉(zhuǎn)換和映射
4.5.1Jackson程序結(jié)構(gòu)圖到抽象概念結(jié)構(gòu)圖的轉(zhuǎn)換
4.5.2Jackson程序規(guī)格說(shuō)明到編程語(yǔ)言過(guò)程藍(lán)圖的映射
4.6技術(shù)效用分析
4.6.1程序質(zhì)量效用
4.6.2開(kāi)發(fā)效率效用
4.6.3軟件管理效用
第5章過(guò)程藍(lán)圖CASE工具
5.1過(guò)程藍(lán)圖CASE工具的基本概念
5.1.1CASE工具與方法的關(guān)系
5.1.2手工構(gòu)造存在的問(wèn)題
5.1.3CASE工具的作用
5.1.4CASE工具的開(kāi)發(fā)目標(biāo)
5.1.5CASE工具的構(gòu)成
5.2JAVA可視化面向?qū)ο蟪绦蛟O(shè)計(jì)支撐系統(tǒng)的設(shè)計(jì)
5.2.1設(shè)計(jì)背景
5.2.2體系結(jié)構(gòu)設(shè)計(jì)
5.2.3子系統(tǒng)設(shè)計(jì)
5.2.4環(huán)境數(shù)據(jù)庫(kù)設(shè)計(jì)
5.2.5界面設(shè)計(jì)
5.2.6系統(tǒng)的特點(diǎn)
5.3C++函數(shù)開(kāi)發(fā)工具CFDST的設(shè)計(jì)與實(shí)現(xiàn)
5.3.1設(shè)計(jì)背景
5.3.2CFDST的體系結(jié)構(gòu)
5.3.3CFDST的功能
5.3.4CFDST的實(shí)現(xiàn)
5.3.5小結(jié)
5.4FoxPro程序設(shè)計(jì)支持工具FPDST的設(shè)計(jì)與實(shí)現(xiàn)
5.4.1概述
5.4.2FPDST的體系結(jié)構(gòu)
5.4.3FPDST的功能和特點(diǎn)
5.4.4FPDST的實(shí)現(xiàn)
5.4.5FPDST的交互式編程界面技術(shù)
5.5方法和工具的初步應(yīng)用
第6章過(guò)程藍(lán)圖的現(xiàn)狀與未來(lái)
6.1過(guò)程藍(lán)圖的統(tǒng)一性
6.2過(guò)程藍(lán)圖的現(xiàn)狀
6.3過(guò)程藍(lán)圖在可視化程序自動(dòng)重構(gòu)方面的潛力
6.4過(guò)程藍(lán)圖的未來(lái)
參考文獻(xiàn)