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

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

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