基於Petri網的電子商務系統形式化分析與驗證技術研究

《基於Petri網的電子商務系統形式化分析與驗證技術研究》是依託山東科技大學，由杜玉越擔任項目負責人的面上項目。

基本介紹

• 中文名：基於Petri網的電子商務系統形式化分析與驗證技術研究
• 項目類別：面上項目
• 項目負責人：杜玉越
• 依託單位：山東科技大學
• 批准號：60573018
• 申請代碼：F0204
• 負責人職稱：教授
• 研究期限：2006-01-01 至 2006-12-31
• 支持經費：5（萬元）

項目摘要

隨著用戶數量的增加和服務類型的多樣化，電子商務系統愈來愈龐大，愈來愈複雜，這使得電子商務軟體系統的設計和分析更加困難. 本項目將在對大量現有電子商務系統形式化方法分析的基礎上，根據電子商務系統的具體特點，綜合套用(高級)Petri網、時序邏輯、工作流等分析技術，提出並研究用於電子商務系統批處理功能及傳值不確定性分析的邏輯工作流網方法、實時性質分析的邏輯時間工作流網方法和主體責任與證據分析的標註工作