c

本文共計(jì)69頁，38848字；

部分摘要
電子商務(wù)系統(tǒng)具有離散、多因素、動態(tài)和并發(fā)性等特點(diǎn)，尤其是并發(fā)性問題始終影響著系統(tǒng)的穩(wěn)定性和安全性，盡而也深刻影響著電子商務(wù)的廣泛應(yīng)用。本文提出了一種基于面向?qū)ο髸r(shí)間Petri網(wǎng)(Object-Oriented Time Petri Net: OTPN)的建模方法，該法將面向?qū)ο蠹夹g(shù)與時(shí)間Petri網(wǎng)理論相結(jié)合，既可以利用Petri網(wǎng)圖形表達(dá)直觀和嚴(yán)謹(jǐn)數(shù)學(xué)分析證明的優(yōu)勢，又在Petri網(wǎng)中引入時(shí)間參數(shù)以有效評價(jià)系統(tǒng)的動態(tài)性能，這不僅有效解決了用Petri網(wǎng)建立復(fù)雜系統(tǒng)模型所遇到的狀態(tài)爆炸問題，也使得建模系統(tǒng)具有可重用性和易維護(hù)性。本文在建立電子商務(wù)系統(tǒng)的完整OTPN模型基礎(chǔ)上，還通過仿真實(shí)驗(yàn)，證明所提出的OTPN方法的實(shí)現(xiàn)機(jī)制和處理方法是可行和有效的，從而為電子商務(wù)系統(tǒng)的并發(fā)性問題研究提供一個(gè)更為有效的工具，同時(shí)也為電子商務(wù)系統(tǒng)的建設(shè)和技術(shù)提供準(zhǔn)確的決策依據(jù)。


關(guān)鍵詞：電子商務(wù),面向?qū)ο蠹夹g(shù),時(shí)間Petri網(wǎng),并發(fā)性,進(jìn)程,仿真
ABSTRACT
E-Commerce system has characteristics of discrete, multifactor, dynamic and concurrency etc, especial concurrency question influencing system’s stability and security all the time, thus influencing the wide application of E-Commerce deeply. The paper has proposed one kind of modeling method which is based on Object-Oriented Time Petri Net, the method combines Object-Oriented technology with Time Petri Net theory, thus utilizing advantage of Petri Net’ figure expressing clearly and mathematics analysizing and proving rigorously, also leading time parameter into Petri Net to validly appraise dynamic performance of system, these not only resolve state exploding in setting up complicated system modeling, but also make the modeling system reusable and maintainable. On the

目錄

摘 要 i
ABSTRACT ii
目錄 iii
第一章 緒論 1
第二章 面向?qū)ο蠹夹g(shù) 2
2.1面向?qū)ο蠹夹g(shù)的發(fā)展歷史及原因 2
2.2面向?qū)ο蠹夹g(shù)的基本概念 3
2.3面向?qū)ο蠹夹g(shù)的建模 5
2.3.1面向?qū)ο蟮慕７椒?5
2.3.2面向?qū)ο蠼Ｖ械哪Ｐ?9
2.4面向?qū)ο蠼５闹饕獌?yōu)點(diǎn) 10
2.5面向?qū)ο笈c面向過程之比較 10
第三章 Petri網(wǎng) 11
3.1 Petri網(wǎng)的發(fā)展歷史 11
3.2 Petri網(wǎng)的基本概念 12
3.2.1基本術(shù)語 12
3.2.2網(wǎng)和網(wǎng)的圖形表示 12
3.2.3網(wǎng)系統(tǒng) 14
3.2.4基本流程表示 15
3.2.5網(wǎng)系統(tǒng)的分類 16
3.2.6 Petri網(wǎng)的特性 16
3.2.7 Petri網(wǎng)的建模優(yōu)勢 17
3.3 Petri網(wǎng)的執(zhí)行與分析 17
3.4 時(shí)間Petri網(wǎng) 20
第四章 面向?qū)ο髸r(shí)間Petri網(wǎng) 21
4.1面向?qū)ο髸r(shí)間Petri網(wǎng)的思想 21
4.2 面向?qū)ο髸r(shí)間Petri網(wǎng)對基本網(wǎng)的擴(kuò)展 22
4.3面向?qū)ο髸r(shí)間Petri網(wǎng)的表示 22
4.3.1系統(tǒng)的表示 22
4.3.2對象的表示 23
4.4面向?qū)ο髸r(shí)間Petri網(wǎng)建立系統(tǒng)模型的步驟 24
4.5面向?qū)ο髸r(shí)間Petri網(wǎng)的優(yōu)勢 25
第五章 電子商務(wù)系統(tǒng)的OTPN建模 26
5.1電子商務(wù)系統(tǒng)運(yùn)行中的基本概念 26
5.1.1進(jìn)程 26
5.1.2線程 27
5.1.3死鎖 28
5.1.4并發(fā) 28
5.2電子商務(wù)系統(tǒng)的OTPN模型 29
5.2.1系統(tǒng)模型 29
5.2.2對象內(nèi)部結(jié)構(gòu) 30
5.3電子商務(wù)系統(tǒng)OTPN模型的分析 34
第六章 仿真實(shí)驗(yàn) 41
6.1仿真的基本概念 41
6.1.1系統(tǒng) 41
6.1.2模型 41
6.1.3建模 42
6.1.4仿真 42
6.1.5仿真步驟 44
6.1.6仿真分類 46
6.2仿真的支持環(huán)境 47
6.3仿真實(shí)驗(yàn) 47
6.3.1仿真鐘的推進(jìn) 47
6.3.2仿真程序 48
6.3.3仿真運(yùn)行界面 48
6.3.4結(jié)果分析 49
第七章 研究結(jié)論和深入方向 51
致謝 53
在校期間研究成果 54
參考文獻(xiàn) 55
附錄部分 57

參考文獻(xiàn)
[1] 方美琪，電子商務(wù)概論[M]，北京：清華大學(xué)出版社，2002：23
[2] 張維明、劉忠、肖衛(wèi)東，信息系統(tǒng)建模[M]，北京：電子工業(yè)出版社，2002：132136
[3] 陳圣國，信息系統(tǒng)分析與設(shè)計(jì)[M]，西安：西安電子科技大學(xué)出版社，2002：142145
[4] Davis W, Systems Analysis and Design[M], Addison-Wesley Publishing Company, 1983:198200
[5] Coad P, Edward Yourdon, Object Oriented Analysis[M], Second Edition, Prentice-Hill, 1991: 286290
[6] Booch G, Object Oriented Development[J], IEEE Tran. On Software Engineering, 1986,SE12(2)
[7] Jibitesh Mishra，Ashok Mohanty，現(xiàn)代信息系統(tǒng)設(shè)計(jì)方法[M]，北京：電子工業(yè)