【摘要】：針對(duì)企業(yè)業(yè)務(wù)的協(xié)作、共享、互操作能力的迫切需求,以及流程管理應(yīng)用系統(tǒng)中流程模型的可驗(yàn)證性不足的問題,結(jié)合語義本體技術(shù)和Petri-net技術(shù),提出一種業(yè)務(wù)流程建模和驗(yàn)證方法,建立了基于語義的業(yè)務(wù)流程模型。模型兼顧了準(zhǔn)確表達(dá)流程控制結(jié)構(gòu)和共享業(yè)務(wù)知識(shí)的需求,采用語義本體來描述流程的關(guān)鍵要素,形成了可交互操作的流程語義知識(shí),提升了流程的跨機(jī)構(gòu)交互性能,為建設(shè)新一代以知識(shí)為基礎(chǔ)、以人為中心的智能流程系統(tǒng)提供基礎(chǔ)支撐。模型對(duì)傳統(tǒng)流程結(jié)構(gòu)描述進(jìn)行了拓展,將流程結(jié)構(gòu)表達(dá)作為結(jié)構(gòu)語義元素融入流程本體中,得到了更豐富的流程模型描述。為了增強(qiáng)流程模型的可應(yīng)用性,充分考慮了模型的可驗(yàn)證性問題,給出了相應(yīng)的驗(yàn)證方法并考察了驗(yàn)證效率,實(shí)現(xiàn)了模型語義和結(jié)構(gòu)的雙重驗(yàn)證。
[Abstract]:In view of the urgent need of enterprise business cooperation, sharing, interoperability, and the insufficient verifiability of process model in process management application system, the semantic ontology technology and Petri-net technology are combined to solve the problem of lack of verifiability of process model in process management application system. A business process modeling and verification method is proposed, and a semantic-based business process model is established. The model takes into account the requirements of accurately expressing the process control structure and sharing business knowledge. The semantic ontology is used to describe the key elements of the process, and the interoperable process semantic knowledge is formed, which improves the cross-institutional interaction performance of the process. To build a new generation of knowledge-based, people-centered intelligent process system to provide the basic support. The model extends the traditional process structure description and integrates the process structure representation as a structural semantic element into the process ontology and gets a richer description of the process model. In order to enhance the application of the process model, the verifiability of the model is fully considered, and the corresponding verification methods are given. The verification efficiency is investigated, and the double validation of the semantic and the structure of the model is realized.
【作者單位】： 西北工業(yè)大學(xué)現(xiàn)代設(shè)計(jì)與集成制造技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(51375395)~~
【分類號(hào)】：TP391.1

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

10 張赫男;;基于面向?qū)ο蠹夹g(shù)的工作流程模型表達(dá)[J];考試周刊;2010年49期

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

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

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

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

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

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

2 ;AgilePoint 商業(yè)流程管理平臺(tái)[N];中國(guó)計(jì)算機(jī)報(bào);2008年

3 ;結(jié)合需求制定策略[N];中國(guó)計(jì)算機(jī)報(bào);2005年

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

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

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

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

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

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

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

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

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

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

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

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

10 劉璐;基于Petri網(wǎng)的業(yè)務(wù)流程模型一致性分析[D];安徽理工大學(xué);2014年

，

本文編號(hào)：2454710