發(fā)布時間：2021-05-18 20:28

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

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

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

【學位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
1 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 論文采用的工具與技術
        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)對部分關鍵部位進行模型分析
    1.4 論文研究的主要內容
    1.5 論文的組織結構
2 相關理論知識
    2.1 OPENCMS內容管理系統(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 本章小結
3 需求分析
    3.1 選擇確定的方法與工具
        3.1.1 形式化方法
        3.1.2 傳統(tǒng)的結構化方法
        3.1.3 面向對象的方法
    3.2 數(shù)據(jù)庫技術的原理與工具選型
        3.2.1 RDBMS的選型與設計原理
        3.2.2 設計工具PowerDesigner
        3.2.3 邏輯與物理設計
    3.3 總體功能需求
        3.3.1 網(wǎng)站目標分析
        3.3.2 形式與內容協(xié)調統(tǒng)一
        3.3.3 頁面設計分析
        3.3.4 開發(fā)語言選擇
        3.3.5 功能模塊分析
        3.3.6 網(wǎng)頁設計原則
        3.3.7 技術要求
        3.3.8 安全要求
        3.3.9 必要的測試
    3.4 本章小結
4 網(wǎng)站的設計
    4.1 網(wǎng)站總體設計
    4.2 頁面各部分設計
        4.2.1 頁面風格設計
        4.2.2 主導航設計
        4.2.3 模版引用設計
        4.2.4 頁面信息文件設計
    4.3 數(shù)據(jù)庫設計
        4.3.1 數(shù)據(jù)庫概念模型設計
        4.3.2 二維表的設計
    4.4 本章小結
5 網(wǎng)站的實現(xiàn)與應用
    5.1 網(wǎng)站頁面實現(xiàn)
        5.1.1 頁面各區(qū)塊文件建立
        5.1.2 頁面布局的實現(xiàn)
        5.1.3 主導航的實現(xiàn)
        5.1.4 模板引用實現(xiàn)
        5.1.5 信息文件實現(xiàn)
    5.2 數(shù)據(jù)庫應用實現(xiàn)
    5.3 遇到的難點分析
        5.3.1 OpenCms難點分析
        5.3.2 OpenCms連接MySQL數(shù)據(jù)庫
    5.4 本章小結
6 應用實例的模型轉換與驗證
    6.1 網(wǎng)站生成過程的模型轉換和驗證
    6.2 網(wǎng)站動態(tài)部分的模型轉換與驗證
    6.3 本章小結
7 總結與展望
    7.1 回顧和總結
    7.2 展望
致謝
參考文獻
附錄


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

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



本文編號：3194437