【摘要】：可配置的業(yè)務(wù)流程模型通過隱藏、阻斷或允許可配置業(yè)務(wù)過程模型中的某些片段來實現(xiàn)流程配置,在實際配置過程中可能會導(dǎo)致不正確的配置。針對這一問題,采用著色Petri網(wǎng)作為形式化模型表達業(yè)務(wù)過程模型,同時在流程的控制流加入數(shù)據(jù)流,將活動產(chǎn)生的數(shù)據(jù)流整合到基于數(shù)據(jù)流的業(yè)務(wù)流程模型,從而使待處理的業(yè)務(wù)過程模型具有數(shù)據(jù)流的語義。通過在業(yè)務(wù)流程模型中添加配置操作,將基于數(shù)據(jù)流的業(yè)務(wù)流程模型轉(zhuǎn)換成基于數(shù)據(jù)的可配置業(yè)務(wù)流程模型。最后,使用ASK-CTL邏輯表達基于數(shù)據(jù)流的可配置業(yè)務(wù)過程模的型數(shù)據(jù)語義約束,然后應(yīng)用著色Petri網(wǎng)的相應(yīng)工具分析和驗證了該模型的數(shù)據(jù)語義約束的屬性正確性,表明了所提方法的有效性。
[Abstract]:The configurable business process model implements process configuration by hiding blocking or allowing some fragments of the configurable business process model which may lead to incorrect configuration in the actual configuration process. In order to solve this problem, the colored Petri net is used as the formal model to express the business process model. At the same time, the data flow is added to the control flow of the process, and the data stream generated by the activity is integrated into the business process model based on the data stream. Thus, the business process model to be processed has the semantics of data flow. By adding configuration operations to the business process model, the data flow-based business process model is transformed into a data-based configurable business process model. Finally, ASK-CTL logic is used to express the data semantic constraints of configurable business process model based on data flow. Then the correctness of data semantic constraints of the model is analyzed and verified by the corresponding tools of colored Petri net. The effectiveness of the proposed method is demonstrated.
【作者單位】： 銅仁學(xué)院大數(shù)據(jù)學(xué)院/銅仁市文化科技產(chǎn)業(yè)創(chuàng)新研究中心;貴州大學(xué)貴州省公共大數(shù)據(jù)重點實驗室;武漢大學(xué)軟件工程國家重點實驗室;贛南師范學(xué)院數(shù)學(xué)與計算機學(xué)院;
【基金】：國家973計劃資助項目(2014CB340404) 國家自然科學(xué)基金資助項目(61562073,61373037,61202031) 銅仁學(xué)院博士啟動基金資助項目(trxyDH1602) 貴州省科學(xué)技術(shù)廳聯(lián)合基金資助項目(黔科合[2015]7248號) 貴州省教育廳基金資助項目(黔教合人才團隊字[2015]67號,黔教合KY字[2016]051號)~~
【分類號】：TP311.5

【相似文獻】

相關(guān)期刊論文 前10條

1 賀彩云;李淑娟;閻獻國;;工作流程管理系統(tǒng)中關(guān)鍵技術(shù)的研究[J];現(xiàn)代制造工程;2006年07期

2 畢敬;朱志良;;動態(tài)服務(wù)流程模型混合分割方法及應(yīng)用[J];東北大學(xué)學(xué)報(自然科學(xué)版);2010年05期

3 王仁生;陳龍;黃臻;;一種可調(diào)度的流程模型[J];四川通信技術(shù);1998年02期

4 孫大松;張小麗;孫立鐫;王海龍;;業(yè)務(wù)流程模型中生成特征模型方法的研究[J];計算機工程與應(yīng)用;2010年33期

5 趙衛(wèi)東;孫一鳴;;一種基于角色相容度的流程復(fù)雜度度量方法[J];計算機集成制造系統(tǒng);2012年10期

6 汪抒浩;聞立杰;魏代森;王建民;閆志強;;基于任務(wù)最短跟隨距離矩陣的流程模型行為相似性算法[J];計算機集成制造系統(tǒng);2013年08期

7 石美紅;陳亮;宇恒星;曹開端;;基于時變滑窗的自適應(yīng)流程挖掘方法[J];計算機集成制造系統(tǒng);2012年03期

8 傅向華;明仲;彭小剛;;基于SOA的流程與數(shù)據(jù)關(guān)聯(lián)模型研究[J];計算機應(yīng)用研究;2008年01期

9 石美紅;曹開端;陳亮;王泉峰;;基于相鄰事件概率統(tǒng)計的流程挖掘方法[J];計算機應(yīng)用;2011年05期

10 黃紅梅;;動態(tài)挖掘流程模型的有向環(huán)剪枝和補償算法[J];廣東水利電力職業(yè)技術(shù)學(xué)院學(xué)報;2014年01期

相關(guān)會議論文 前3條

1 周潔靚;嚴雋薇;劉敏;;狀態(tài)驅(qū)動的可執(zhí)行業(yè)務(wù)流程模型的設(shè)計與實現(xiàn)[A];全國先進制造技術(shù)高層論壇暨第七屆制造業(yè)自動化與信息化技術(shù)研討會論文集[C];2008年

2 王勇;翟建設(shè);;基于人員-時間Petri網(wǎng)的氣象業(yè)務(wù)保障流程模型研究[A];信息技術(shù)在氣象領(lǐng)域的開發(fā)應(yīng)用論文集（二）[C];2006年

3 李瀟;周媛莎;徐瑋;成偉華;張亮;;ACOM2BPEL:一種業(yè)務(wù)流程模型到執(zhí)行語言的轉(zhuǎn)換方法[A];第二十五屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（一）[C];2008年

相關(guān)重要報紙文章 前3條

1 ;IT治理與ITSM：如影隨形[N];網(wǎng)絡(luò)世界;2006年

2 ;AgilePoint 商業(yè)流程管理平臺[N];中國計算機報;2008年

3 ;結(jié)合需求制定策略[N];中國計算機報;2005年

相關(guān)博士學(xué)位論文 前1條

1 劉海濱;以Artifact為中心的業(yè)務(wù)流程模型挖掘關(guān)鍵問題研究[D];燕山大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 范霖;流程挖掘的一致性分析方法研究[D];南京大學(xué);2016年

2 方澤杭;基于Artifact的跨組織流程模型研究[D];上海交通大學(xué);2015年

3 王俊杰;基于事件日志的業(yè)務(wù)流程模型的變化分析[D];安徽理工大學(xué);2015年

4 李世昌;電信流程模型的研究與實現(xiàn)[D];電子科技大學(xué);2007年

5 馬健;基于連續(xù)語義的業(yè)務(wù)流程模型的轉(zhuǎn)化[D];南京航空航天大學(xué);2012年

6 胡源;基于流程挖掘的異常案例甄別[D];山東大學(xué);2012年

7 何義劍;個性化業(yè)務(wù)流程模型的研究[D];山東大學(xué);2008年

8 孟曉麗;物流配送領(lǐng)域語義業(yè)務(wù)流程模型應(yīng)用研究[D];北方民族大學(xué);2012年

9 羅士美;基于知識管理的柔性業(yè)務(wù)流程模型研究[D];西北師范大學(xué);2009年

10 余濟民;基于Artifact狀態(tài)驅(qū)動流程模型與分析[D];華南理工大學(xué);2014年

，

本文編號：2439594