工作流模型的形式化研究.pdf

1、工作流技術(shù)是一個(gè)被業(yè)界廣泛應(yīng)用并迅速發(fā)展的技術(shù),而工作流建模技術(shù)一直是工作流技術(shù)研究的重要課題之一，它的研究范圍包括：工作流模型定義、語(yǔ)義的形式化表示方法等。為了實(shí)現(xiàn)工作流管理功能,必須將業(yè)務(wù)過(guò)程從現(xiàn)實(shí)世界中抽象出來(lái),并用一種建模方法對(duì)其進(jìn)行描述,其結(jié)果稱為是工作流模型。對(duì)國(guó)內(nèi)外工作流建模技術(shù)的研究分析表明,工作流模型還缺乏一種支持過(guò)程定義以及過(guò)程分析的形式化數(shù)學(xué)模型。針對(duì)這些不足,本文主要是基于π演算對(duì)工作流建模方法及模型的分析方法進(jìn)

2、行研究與探索。
　　π演算是一種移動(dòng)進(jìn)程代數(shù),可用于對(duì)并發(fā)和動(dòng)態(tài)變化的系統(tǒng)進(jìn)行建模。經(jīng)過(guò)對(duì)多種建模工具的比較和分析后,首先提出了使用π演算對(duì)工作流進(jìn)行建模的方法，當(dāng)中詳細(xì)地闡述了各種活動(dòng)和依賴關(guān)系在π演算中的表示，介紹了各種工作流模式的π演算形式化語(yǔ)義，使用簡(jiǎn)單明了的表達(dá)式形式化各種模式，也清楚地定義了每一種模式的行為。提出的方法是完全形式化的，具有較強(qiáng)的語(yǔ)義表達(dá)能力，便于工作流的執(zhí)行、推理和仿真等。本文用實(shí)例證明了該方法能清晰、