本文關(guān)鍵詞：時序約束下Guard-Stage-Milestone業(yè)務(wù)模型的一致性驗證與異常處理

  更多相關(guān)文章： Guard-Stage-Milestone(GSM) 時序約束 Petri網(wǎng) 時序一致性 異常處理

【摘要】：Guard-Stage-Milestone(GSM)作為一種以Artifact為中心的企業(yè)業(yè)務(wù)建模方法,獲得了國內(nèi)外學(xué)術(shù)界和工業(yè)界的廣泛認(rèn)可,已成為當(dāng)前研究的熱點.然而,目前GSM方法普遍局限在數(shù)據(jù)和流程結(jié)構(gòu)層面,沒有考慮外在的企業(yè)各種業(yè)務(wù)或規(guī)章制度中的時序約束需求.針對這一迫切需求,提出了一種時序約束下GSM業(yè)務(wù)模型的一致性驗證與異常處理方法.分為兩個階段:1)將GSM業(yè)務(wù)模型轉(zhuǎn)化為Petri網(wǎng)模型,再把外部的時序約束映射到Petri網(wǎng)模型中.2)提取Petri網(wǎng)模型中的路徑并進(jìn)行時序一致性驗證;如果出現(xiàn)異常,將問題轉(zhuǎn)化為線性規(guī)劃模型并進(jìn)行自動求解.不但能夠解決GSM業(yè)務(wù)模型的時序約束驗證問題,而且能指導(dǎo)用戶進(jìn)行模型持續(xù)優(yōu)化和改進(jìn).最后,通過一個企業(yè)的實例驗證了其有效性.
【作者單位】： 北京科技大學(xué)機(jī)械工程學(xué)院;
【基金】：國家自然科學(xué)基金(61473035) 中央高�；究蒲袠I(yè)務(wù)費專項資金(FRF-TP-14-017A2)~~
【分類號】：TP301.1
【正文快照】： 1引言以Artifact為中心的企業(yè)業(yè)務(wù)建模方法將數(shù)據(jù)與流程結(jié)合,強(qiáng)調(diào)業(yè)務(wù)數(shù)據(jù)在建模過程中的重要性.根據(jù)數(shù)據(jù)變化對業(yè)務(wù)流程進(jìn)行建模和分析.不但符合現(xiàn)實中的行為方式,且更易f被業(yè)務(wù)人員所理解.在當(dāng)前多種以Artifact為中心流程建模方法中.Guard-Stage-Milestone(GSM)方法正受到學(xué)

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 王鑫;;基于業(yè)務(wù)模型的高校畢業(yè)生離校系統(tǒng)設(shè)計[J];電腦與信息技術(shù);2013年01期

2 尹琦;單速率三色標(biāo)記在區(qū)分業(yè)務(wù)模型中的應(yīng)用[J];西安建筑科技大學(xué)學(xué)報(自然科學(xué)版);2003年04期

3 羅曉沛;區(qū)分紅花綠葉,避免體外循環(huán) 建立合適的業(yè)務(wù)模型是關(guān)鍵[J];電子計算機(jī)與外部設(shè)備;2002年01期

4 朱軍,李曉輝,丁大為;寬帶網(wǎng)絡(luò)中業(yè)務(wù)模型的性能評價[J];微機(jī)發(fā)展;2004年03期

5 孫自安,周伯生;業(yè)務(wù)模型的描述語言[J];計算機(jī)工程;2004年17期

6 李坤;自助銀行[J];信息系統(tǒng)工程;1998年09期

7 孟凡超;戰(zhàn)德臣;徐曉飛;;基于領(lǐng)域業(yè)務(wù)模型的可重用構(gòu)件設(shè)計方法[J];計算機(jī)集成制造系統(tǒng);2006年09期

8 涂俊翔;王琳;;基于業(yè)務(wù)模型語義的制造企業(yè)管理信息系統(tǒng)重構(gòu)[J];計算機(jī)系統(tǒng)應(yīng)用;2014年01期

9 趙慧玲,吳江;對IP QoS問題的研究及一種MPLS Diff-serv解決方案(上)[J];中國數(shù)據(jù)通訊網(wǎng)絡(luò);2000年10期

10 王忠杰;徐曉飛;戰(zhàn)德臣;;基于熵的信息系統(tǒng)業(yè)務(wù)模型復(fù)雜性度量[J];計算機(jī)科學(xué);2006年01期

中國重要會議論文全文數(shù)據(jù)庫 前8條

1 劉凡;宋小明;張宇;;車聯(lián)網(wǎng)業(yè)務(wù)通信特征和業(yè)務(wù)模型研究[A];第十四屆中國科協(xié)年會第20分會場：轉(zhuǎn)型創(chuàng)新促通信業(yè)新發(fā)展論壇論文集[C];2012年

2 杜建鳳;;3G數(shù)據(jù)業(yè)務(wù)模型的建立方法探討[A];2007年中國通信學(xué)會“移動增值業(yè)務(wù)與應(yīng)用”學(xué)術(shù)年會論文集[C];2007年

3 于佳;宗鵬;;中國業(yè)務(wù)模型的建立和低軌衛(wèi)星資源分配的研究[A];第七屆衛(wèi)星通信新技術(shù)、新業(yè)務(wù)學(xué)術(shù)年會論文集[C];2011年

4 羅恒端;吳詩其;;數(shù)據(jù)分組網(wǎng)中自相似業(yè)務(wù)模型的研究進(jìn)展[A];開創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國青年通信學(xué)術(shù)會議論文集[C];2001年

5 陳寧;馮博琴;;基于系統(tǒng)論的業(yè)務(wù)模型實現(xiàn)的自動化技術(shù)的研究[A];2006中國控制與決策學(xué)術(shù)年會論文集[C];2006年

6 王申濤;劉小麗;楊浩;周熙;;不同業(yè)務(wù)模型下的MANET DSR協(xié)議性能分析(英文)[A];2006通信理論與技術(shù)新進(jìn)展——第十一屆全國青年通信學(xué)術(shù)會議論文集[C];2006年

7 黃錫林;;計算機(jī)賬務(wù)處理的數(shù)據(jù)與系統(tǒng)分析[A];信息科學(xué)與微電子技術(shù):中國科協(xié)第三屆青年學(xué)術(shù)年會論文集[C];1998年

8 黃小慶;關(guān)維德;夏安邦;;SOA在發(fā)電側(cè)競價系統(tǒng)中的應(yīng)用研究[A];中國高等學(xué)校電力系統(tǒng)及其自動化專業(yè)第二十四屆學(xué)術(shù)年會論文集（中冊）[C];2008年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 程汲;普元推出以客戶為中心業(yè)務(wù)模型[N];金融時報;2002年

2 ;面向BPO客戶的咨詢服務(wù)提供商[N];中國計算機(jī)報;2008年

3 ;頂點軟件：構(gòu)建金融業(yè)業(yè)務(wù)模型體系[N];中國計算機(jī)報;2013年

4 南京郵電大學(xué) 唐寶民;挑戰(zhàn)IP QoS完美極限[N];通信產(chǎn)業(yè)報;2004年

5 Staff Writer;警惕開源投資泡沫[N];計算機(jī)世界;2005年

6 本報記者 李奕;大數(shù)據(jù)：在無序中建立有序[N];中國計算機(jī)報;2013年

7 ;基于網(wǎng)絡(luò)的IP VPN的業(yè)務(wù)模型[N];人民郵電;2001年

8 ;下一代IP網(wǎng)絡(luò)對QoS的支持[N];人民郵電;2001年

9 ;設(shè)計業(yè)務(wù)模式[N];計算機(jī)世界;2009年

10 ;SI向ISV轉(zhuǎn)型兇多吉少[N];電腦商報;2005年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 穆薩(Mouhamadou Bello Moussa);WCDMA混合業(yè)務(wù)模型及網(wǎng)絡(luò)覆蓋和容量仿真分析與研究[D];吉林大學(xué);2006年

2 涂俊翔;制造企業(yè)管理信息系統(tǒng)的重構(gòu)技術(shù)研究[D];華中科技大學(xué);2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 王威;數(shù)據(jù)資源規(guī)劃中主題數(shù)據(jù)庫劃分研究[D];大連海事大學(xué);2015年

2 周建;基于開放式基金代銷系統(tǒng)研究[D];電子科技大學(xué);2014年

3 王坦;面向鑄造業(yè)的信息資源規(guī)劃應(yīng)用研究[D];大連海事大學(xué);2015年

4 駱凱;面向卷煙生產(chǎn)企業(yè)產(chǎn)品研發(fā)系統(tǒng)的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2015年

5 李童佳;居民用戶需求響應(yīng)業(yè)務(wù)模型研究[D];華北電力大學(xué)(北京);2016年

6 楊琴;基于領(lǐng)域業(yè)務(wù)模型的業(yè)務(wù)活動穩(wěn)定性研究[D];華中科技大學(xué);2007年

7 陳啟斗;面向多租戶的業(yè)務(wù)模型管理平臺研究[D];上海交通大學(xué);2013年

8 閆哲瓊;基于業(yè)務(wù)模型的場景角色框架的研究與應(yīng)用[D];大連海事大學(xué);2012年

9 張佳斌;物流系統(tǒng)中關(guān)鍵業(yè)務(wù)模型的設(shè)計和實現(xiàn)[D];東北大學(xué);2005年

10 鐘菁菁;業(yè)務(wù)模型與代碼的關(guān)聯(lián)分析技術(shù)研究與實現(xiàn)[D];浙江大學(xué);2013年

，

本文編號：1242782