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

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

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