基于同步網(wǎng)的工作流模型驗(yàn)證技術(shù)研究.pdf

1、工作流管理技術(shù)是近年來在計(jì)算機(jī)領(lǐng)域發(fā)展中最為迅速的若干項(xiàng)技術(shù)之一。目前，工作流技術(shù)進(jìn)入了一個嶄新的發(fā)展階段，成為計(jì)算機(jī)應(yīng)用領(lǐng)域的一個研究熱點(diǎn)，研究方向主要包括工作流模型及定義語言、工作流分析方法、工作流管理系統(tǒng)體系結(jié)構(gòu)等。 隨著工作流管理系統(tǒng)應(yīng)用規(guī)模的不斷擴(kuò)大、應(yīng)用領(lǐng)域的不斷拓展，如何定義正確的工作流模型，以及對已有業(yè)務(wù)過程模型進(jìn)行分析優(yōu)化，已經(jīng)成為工作流及相關(guān)技術(shù)領(lǐng)域研究和探索的重點(diǎn)之一。論文在介紹青鳥過程元模型一JBDelt

2、a和同步網(wǎng)原理的基礎(chǔ)上，對工作流建模及過程模型的正確性驗(yàn)證進(jìn)行了相關(guān)的研究和實(shí)踐。 論文首先介紹工作流技術(shù)的發(fā)展背景和研究意義，概述了論文的研究目標(biāo)及碩士期間論文作者的主要科研工作。 其次，介紹工作流的基本概念，包括工作流、工作流管理系統(tǒng)、工作流模型、工作流模式、工作流定義語言的定義、分類及特點(diǎn)，并簡述了工作流研究方向和目前國內(nèi)外工作流模型驗(yàn)證方法現(xiàn)狀。 然后，詳細(xì)描述了改進(jìn)的工作流過程元模型和定義語言，分析了青

3、鳥組織機(jī)構(gòu)規(guī)約、青鳥數(shù)據(jù)規(guī)約、青鳥功能規(guī)約，并在此基礎(chǔ)上提出了青鳥工作流模型一JBDelta。JBDelta具有簡單直觀、易于理解等優(yōu)點(diǎn)，并且它提供了豐富的過程建模元素，能夠描述多種復(fù)雜的業(yè)務(wù)流程。 接著，介紹同步網(wǎng)的原理及相關(guān)知識。同步網(wǎng)是在Petri網(wǎng)的基礎(chǔ)上發(fā)展而來的，其核心是同步器(Synchronizer)。在對已有模型分析方法進(jìn)行研究分析的基礎(chǔ)上，提出了一種基于同步網(wǎng)的圖形化方法，以驗(yàn)證工作流模型的正確性。