針對電子商務(wù)的發(fā)展和應(yīng)用，作者以建立實際網(wǎng)站開展課題研究。論文介紹了開源軟件OpenCms的基本概念、組成工具、技術(shù)路線和特點，論文研究工作有很好的現(xiàn)實意義。論文給出了需求分析，網(wǎng)站總體設(shè)計，頁面設(shè)計，展示了網(wǎng)站的頁面風(fēng)格、主導(dǎo)航、模板引用的比較選擇和頁面信息等。結(jié)合實際工程的建設(shè)構(gòu)想，文章論述了數(shù)據(jù)庫的設(shè)計實現(xiàn)和應(yīng)用過程。給出了管理員表、職工表、設(shè)備表和訂單表等的作用。論文作者利用Petri網(wǎng)建模驗證工具（WoPeD）分析、驗證了網(wǎng)站部分模塊的可達性。論文最后給出了工作成果的總結(jié)和研究展望。 

【文章來源】：西安建筑科技大學(xué)陜西省

【文章頁數(shù)】：77 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
1 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 論文采用的工具與技術(shù)
        1.3.1 使用UML語言建模
        1.3.2 使用OpenCms系統(tǒng)原理
        1.3.3 使用JSP
        1.3.4 使用HTML和CSS
        1.3.5 使用MySQL數(shù)據(jù)庫
        1.3.6 使用Petri網(wǎng)對部分關(guān)鍵部位進行模型分析
    1.4 論文研究的主要內(nèi)容
    1.5 論文的組織結(jié)構(gòu)
2 相關(guān)理論知識
    2.1 OPENCMS內(nèi)容管理系統(tǒng)
        2.1.1 OpenCms概述
        2.1.2 OpenCms系統(tǒng)的特點
        2.1.3 Template-two模板
    2.2 數(shù)據(jù)庫系統(tǒng)的介紹
        2.2.1 數(shù)據(jù)庫系統(tǒng)簡介
        2.2.2 數(shù)據(jù)庫系統(tǒng)的實驗
    2.3 PETRI網(wǎng)
        2.3.1 Petri網(wǎng)概述
        2.3.2 Petri網(wǎng)工具
    2.4 搭建實驗環(huán)境
        2.4.1 OpenCms的安裝
        2.4.2 OpenCms的漢化
        2.4.3 安裝過程中遇到的問題
    2.5 本章小結(jié)
3 需求分析
    3.1 選擇確定的方法與工具
        3.1.1 形式化方法
        3.1.2 傳統(tǒng)的結(jié)構(gòu)化方法
        3.1.3 面向?qū)ο蟮姆椒?br>    3.2 數(shù)據(jù)庫技術(shù)的原理與工具選型
        3.2.1 RDBMS的選型與設(shè)計原理
        3.2.2 設(shè)計工具PowerDesigner
        3.2.3 邏輯與物理設(shè)計
    3.3 總體功能需求
        3.3.1 網(wǎng)站目標分析
        3.3.2 形式與內(nèi)容協(xié)調(diào)統(tǒng)一
        3.3.3 頁面設(shè)計分析
        3.3.4 開發(fā)語言選擇
        3.3.5 功能模塊分析
        3.3.6 網(wǎng)頁設(shè)計原則
        3.3.7 技術(shù)要求
        3.3.8 安全要求
        3.3.9 必要的測試
    3.4 本章小結(jié)
4 網(wǎng)站的設(shè)計
    4.1 網(wǎng)站總體設(shè)計
    4.2 頁面各部分設(shè)計
        4.2.1 頁面風(fēng)格設(shè)計
        4.2.2 主導(dǎo)航設(shè)計
        4.2.3 模版引用設(shè)計
        4.2.4 頁面信息文件設(shè)計
    4.3 數(shù)據(jù)庫設(shè)計
        4.3.1 數(shù)據(jù)庫概念模型設(shè)計
        4.3.2 二維表的設(shè)計
    4.4 本章小結(jié)
5 網(wǎng)站的實現(xiàn)與應(yīng)用
    5.1 網(wǎng)站頁面實現(xiàn)
        5.1.1 頁面各區(qū)塊文件建立
        5.1.2 頁面布局的實現(xiàn)
        5.1.3 主導(dǎo)航的實現(xiàn)
        5.1.4 模板引用實現(xiàn)
        5.1.5 信息文件實現(xiàn)
    5.2 數(shù)據(jù)庫應(yīng)用實現(xiàn)
    5.3 遇到的難點分析
        5.3.1 OpenCms難點分析
        5.3.2 OpenCms連接MySQL數(shù)據(jù)庫
    5.4 本章小結(jié)
6 應(yīng)用實例的模型轉(zhuǎn)換與驗證
    6.1 網(wǎng)站生成過程的模型轉(zhuǎn)換和驗證
    6.2 網(wǎng)站動態(tài)部分的模型轉(zhuǎn)換與驗證
    6.3 本章小結(jié)
7 總結(jié)與展望
    7.1 回顧和總結(jié)
    7.2 展望
致謝
參考文獻
附錄


【參考文獻】：
期刊論文
[1]基本圖靈機的Petri網(wǎng)建模研究[J]. 趙東旭,樂曉波.  電腦知識與技術(shù). 2009(21)
[2]開源內(nèi)容管理系統(tǒng)OpenCms探究[J]. 肖治國.  科技風(fēng). 2008(24)
[3]優(yōu)先級Petri網(wǎng)的CPN Tools仿真模型研究[J]. 王勝德,胡望斌,徐宗昌.  系統(tǒng)仿真學(xué)報. 2008(03)
[4]基于OpenCms的內(nèi)容管理系統(tǒng)[J]. 林剛.  重慶科技學(xué)院學(xué)報(自然科學(xué)版). 2007(04)
[5]基于Petri網(wǎng)的狀態(tài)機變遷的形式化方法研究[J]. 何建偉,姚淑珍.  系統(tǒng)仿真學(xué)報. 2007(S1)
[6]基于Petri網(wǎng)建模的語法分析的研究[J]. 汪琳,樂曉波,匡迎春.  長沙交通學(xué)院學(xué)報. 2005(01)

碩士論文
[1]基于UML和Petri網(wǎng)模型驗證框架的設(shè)計與實現(xiàn)[D]. 趙珊.西安建筑科技大學(xué) 2010
[2]基于UML和Petri網(wǎng)建模的研究與應(yīng)用[D]. 宋瑜輝.西安建筑科技大學(xué) 2009
[3]基于擴展Petri網(wǎng)的工作流模型技術(shù)的研究[D]. 蔣鵬花.燕山大學(xué) 2007
[4]基于Petri網(wǎng)的工作流建模及其在J2EE框架下的實現(xiàn)[D]. 章萍.南京理工大學(xué) 2006
[5]Petri網(wǎng)建模工具軟件的研究與實現(xiàn)[D]. 蔡志林.長沙理工大學(xué) 2005
[6]基于Petri網(wǎng)的工作流建模工具的研究與實現(xiàn)[D]. 衛(wèi)剛.南京航空航天大學(xué) 2005



本文編號：3194437