基于進程代數(shù)的信息化建模與仿真.pdf

1、隨著計算機技術、網(wǎng)絡技術和通信技術的發(fā)展和應用，企業(yè)信息化已成為持續(xù)化發(fā)展和提高市場競爭力的重要前提。指導推進信息化建設，才能深化電子政務應用。
　　 針對當前我國信息化系統(tǒng)實施過程中缺乏客觀、有效、全面的分析評測手段和工具的現(xiàn)狀，為推動我國信息化系統(tǒng)建設的合理有效性，有必要對信息化系統(tǒng)相關業(yè)務邏輯進行建模分析，以便準確依據(jù)業(yè)務特性，進行業(yè)務邏輯仿真，研究信息化系統(tǒng)的動力機制，從而建立一套具有理論依據(jù)、可操作性強的業(yè)務邏輯建模仿

2、真體系，其研究結果可為我國信息化建設開展和實施提供科學、量化、具備良好可操作性的分析和診斷工具。
　　 本課題研究基于進程代數(shù)的業(yè)務邏輯建模，它是通過基于過程代數(shù)的建模分析，構建業(yè)務運行模型，以幫助用戶觀察在不同的輸入下流程是如何執(zhí)行的，即業(yè)務的仿真運行。業(yè)務邏輯建模模型是對業(yè)務邏輯建模的抽象表示，也就是對經(jīng)營過程的抽象表示。國內(nèi)外對業(yè)務邏輯仿真的研究主要集中于工作流仿真性能研究、對工作流仿真機制及體系結構的研究。業(yè)務邏輯模型建