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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：1242782