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

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

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