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

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

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

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