電子商務(wù)系統(tǒng)的Petri網(wǎng)建模理論與分析技術(shù)研究

總序
論叢前言
前言
第1章 緒論
1．1 電子商務(wù)
1．1．1 電子商務(wù)定義
1．1．2 電子商務(wù)系統(tǒng)體系
1．2 電子商務(wù)系統(tǒng)的特點
1．3 工作流管理系統(tǒng)
1．3．1 基本概念
1．3．2 體系結(jié)構(gòu)
1．3．3 電子商務(wù)中的工作流
1．4 電子商務(wù)系統(tǒng)形式化技術(shù)綜述
1．4．1 一般形式化方法
1．4．2 基于邏輯的方法
1．4．3 基于Petri網(wǎng)的方法
1．4．4 基于工作流網(wǎng)的方法
1．4．5 四類形式化方法比較及本書工作的重要性
1．5 約定和假設(shè)
1．6 本書的研究動機和貢獻(xiàn)
1．6．1 研究動機
1．6．2 主要研究內(nèi)容
1．6．3 主要貢獻(xiàn)
第2章 基本知識
2．1 Petri網(wǎng)（PN）
2．1．1 Petri網(wǎng)概念
2．1．2 Petri網(wǎng)性質(zhì)
2．1．3 謂詞／變遷（Pr/T）網(wǎng)
2．1．4 有色Petri網(wǎng)（（2PN）
2．1．5 時間Petri網(wǎng)（TPN）
2．2 時序邏輯
2．2．1 基本概念
2．2．2 時序邏輯系統(tǒng)
2．3 工作流網(wǎng)
2．3．1 形式定義
2．3．2 工作流網(wǎng)性質(zhì)
第3章 電子商務(wù)系統(tǒng)時序性質(zhì)分析與驗證
3．1 時序性質(zhì)
3．1．1 公平性
3．1．2 最終性
3．2 時序Petri網(wǎng)
3．2．1 形式定義
3．2．2 性質(zhì)分析
3．3 時序高級Petri網(wǎng)
3．3．1 時序有色Petri網(wǎng)
3．3．2 時序謂詞／變遷網(wǎng)
3．4 案例分析
3．4．1 一個網(wǎng)上證券交易系統(tǒng)
3．4．2 證券交易系統(tǒng)的時序Petri網(wǎng)模擬與分析
3．4．3 證券交易系統(tǒng)的時序有色Petri網(wǎng)模擬與分析
3．4．4 證券交易系統(tǒng)的時序謂詞／變遷網(wǎng)模擬與分析
第4章 批處理功能及傳值不確定性分析
4．1 批處理功能
4．2 傳值不確定性
4．3 邏輯Petri網(wǎng)（LPN）
4．3．1 形式定義
4．3．2 邏輯Petri網(wǎng)與PN和HLPN之間的關(guān)系
4．4 邏輯工作流網(wǎng)
4．4．1 形式定義
4．4．2 構(gòu)造算法
4．4．3 邏輯工作流網(wǎng)的性質(zhì)
4．5 組織間邏輯工作流網(wǎng)及其性質(zhì)
第5章 實時性質(zhì)模擬與驗證技術(shù)
5．1 電子商務(wù)系統(tǒng)的實時性質(zhì)
5．2 邏輯時間Petri網(wǎng)
5．2．1 時間Petri網(wǎng)的時序公式語義
5．2．2 形式定義
5．2．3 LTPN與TPN和有色TPN的比較
5．3 邏輯時間工作流網(wǎng)
5．3．1 形式定義
5．3．2 性質(zhì)分析
5．4 組織間邏輯時間工作流網(wǎng)
5．4．1 形式定義
5．4．2 ILTWfN的健壯性分析
第6章 主體責(zé)任及證據(jù)模擬分析
6．1 主體責(zé)任
6．2 不可否認(rèn)與證據(jù)
6．3 標(biāo)注Petri網(wǎng)
6．3．1 一個簡單的電子采購系統(tǒng)
6．3．2 形式定義
6．4 標(biāo)注工作流網(wǎng)
6．4．1 形式定義
6．4．2 健壯性和無阻塞性
6．5 組織間標(biāo)注工作流網(wǎng)
6．5．1 形式定義
6．5．2 性質(zhì)分析
6．6 責(zé)任與證據(jù)的形式分析
6．6．1 責(zé)任分析
6．6．2 證據(jù)
6．7 應(yīng)用實例
6．7．1 IOTP購買交易
6．7．2 購買交易的標(biāo)注工作流網(wǎng)模型
6．7．3 購買交易性質(zhì)分析
第7章 總結(jié)和展望
7．1 本書總結(jié)
7．2 進(jìn)一步的研究工作
參考文獻(xiàn)
后記