發(fā)布時(shí)間：2018-01-10 11:05

  本文關(guān)鍵詞：業(yè)務(wù)流程的形式化設(shè)計(jì)與驗(yàn)證　出處：《北京理工大學(xué)學(xué)報(bào)》2016年11期 　論文類型：期刊論文

  更多相關(guān)文章： 業(yè)務(wù)流程 確定有限自動(dòng)機(jī) 模型檢測(cè) 線性時(shí)序邏輯

【摘要】：針對(duì)如何保證業(yè)務(wù)流程設(shè)計(jì)模型與業(yè)務(wù)需求的一致性問題,在研究有限自動(dòng)機(jī)模型的基礎(chǔ)上,提出了一種業(yè)務(wù)流程的自動(dòng)機(jī)模型構(gòu)建和驗(yàn)證方法.采用擴(kuò)展的帶約束條件的確定有限自動(dòng)機(jī)對(duì)業(yè)務(wù)流程設(shè)計(jì)模型進(jìn)行形式化描述,使用線性時(shí)序邏輯表示業(yè)務(wù)需求,分別給出業(yè)務(wù)流程設(shè)計(jì)模型到自動(dòng)機(jī)模型和自動(dòng)機(jī)模型到Promela描述的轉(zhuǎn)換算法,并通過模型檢測(cè)技術(shù),使用Spin工具驗(yàn)證設(shè)計(jì)模型是否滿足需求性質(zhì).若不滿足性質(zhì),則能夠獲得反例執(zhí)行的路徑.實(shí)例分析表明,該方法可用于業(yè)務(wù)流程設(shè)計(jì)的正確性驗(yàn)證.
[Abstract]:Aiming at how to ensure the consistency between the business process design model and the business requirements, the finite automata model is studied. In this paper, an automaton model construction and verification method for business process is proposed, and an extended deterministic finite automaton with constraints is used to formalize the business process design model. The business requirements are expressed by linear sequential logic, and the conversion algorithms from business process design model to automata model and automata model to Promela description are given respectively, and the model checking technology is adopted. The Spin tool is used to verify whether the design model satisfies the requirement property. If the property is not satisfied, the path of execution can be obtained. The example analysis shows that the method can be used to verify the correctness of business process design.
【作者單位】： 西北大學(xué)信息科學(xué)與技術(shù)學(xué)院;中航工業(yè)西安航空計(jì)算技術(shù)研究所;西安電子科技大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(61502365,61272117) 中央高�；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)資金項(xiàng)目(K5051303005)
【分類號(hào)】：TP311.52
【正文快照】： 業(yè)務(wù)流程由存在于企業(yè)價(jià)值鏈條上的一系列活動(dòng)及其之間的關(guān)系構(gòu)成,是企業(yè)提高效率和增加效益的重要手段.為了增強(qiáng)業(yè)務(wù)流程的可靠性,保證設(shè)計(jì)結(jié)果的正確性,避免未經(jīng)過有效驗(yàn)證的流程設(shè)計(jì)被開發(fā)、測(cè)試、甚至交付使用,造成返工修改,浪費(fèi)大量的人力和物力,可應(yīng)用形式化方法進(jìn)行模

【相似文獻(xiàn)】

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

1 陳明亮;賴紅霞;汪蕾;;業(yè)務(wù)流程網(wǎng)絡(luò)與業(yè)務(wù)流程評(píng)估[J];管理世界;2009年10期

2 鄧耿;;業(yè)務(wù)流程中存在的問題值得重視[J];現(xiàn)代金融;2010年02期

3 孟磊;;分布式業(yè)務(wù)流程實(shí)時(shí)一致性分析方法[J];計(jì)算技術(shù)與自動(dòng)化;2013年03期

4 龔海濤;;重建業(yè)務(wù)流程 深化企業(yè)管理[J];文教資料;2006年21期

5 高夢(mèng)昭;挑戰(zhàn)傳統(tǒng)業(yè)務(wù)流程[J];市場(chǎng)與電腦;2001年05期

6 王問梅;依托計(jì)算機(jī)管理重組業(yè)務(wù)流程[J];市場(chǎng)與電腦;2002年10期

7 蔣川群,戴芳勝,張峰昌,王操;網(wǎng)上城市業(yè)務(wù)流程的研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2003年21期

8 陳啟申;從優(yōu)化業(yè)務(wù)流程談信息化[J];現(xiàn)代制造;2003年02期

9 唐平,陸渝梅,陳敏;業(yè)務(wù)流程重構(gòu)在企業(yè)信息化中的應(yīng)用[J];蘭州大學(xué)學(xué)報(bào);2005年03期

10 金達(dá)仁;流程從屬模式[J];信息系統(tǒng)工程;2005年08期

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

1 苗天雅;顏志軍;張?jiān)杰?;知識(shí)密集型業(yè)務(wù)流程建模及優(yōu)化方法研究[A];全國(guó)第九屆企業(yè)信息化與工業(yè)工程學(xué)術(shù)會(huì)議論文集[C];2005年

2 崔雙平;;以業(yè)務(wù)流程為導(dǎo)向的物料集中管理體系的構(gòu)建與實(shí)施[A];魯冀晉瓊粵川遼七省金屬（冶金）學(xué)會(huì)第十九屆礦山學(xué)術(shù)交流會(huì)論文集（管理及綜合卷）[C];2012年

3 劉瑾;張嘉麗;郝利劍;續(xù)強(qiáng)波;夏桂堅(jiān);陳茜;;基于數(shù)字化業(yè)務(wù)流程的黨務(wù)管理平臺(tái)的研究[A];全國(guó)先進(jìn)制造技術(shù)高層論壇暨第九屆制造業(yè)自動(dòng)化與信息化技術(shù)研討會(huì)論文集[C];2010年

4 王素美;黃宗英;來天平;;基于業(yè)務(wù)流程的學(xué)位管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];中國(guó)高等教育學(xué)會(huì)教育信息化分會(huì)第十二次學(xué)術(shù)年會(huì)論文集[C];2014年

5 阿孜古麗;劉建明;劉潔卉;;基于Petri網(wǎng)的業(yè)務(wù)流程評(píng)估[A];著力提高高等教育質(zhì)量，努力增強(qiáng)高校創(chuàng)新與服務(wù)能力——北京市高等教育學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集（下冊(cè)）[C];2008年

6 趙非;;以信息化為基礎(chǔ)的管理體系整合[A];第十屆中國(guó)科協(xié)年會(huì)信息化與社會(huì)發(fā)展學(xué)術(shù)討論會(huì)分會(huì)場(chǎng)論文集[C];2008年

7 朱青;于法哽;安文怡;;滿足政務(wù)業(yè)務(wù)流重組需求的組裝器研究[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（下）[C];2006年

8 張紅海;;基于業(yè)務(wù)流程的企業(yè)檔案知識(shí)管理的探討[A];檔案事業(yè)改革與創(chuàng)新——2013年全國(guó)青年檔案工作者研討會(huì)論文集[C];2013年

9 王婧;吳偉明;馮爽;;基于SOA的IT服務(wù)管理模型研究[A];中國(guó)通信學(xué)會(huì)第六屆學(xué)術(shù)年會(huì)論文集（上）[C];2009年

10 邱志琴;;多媒體全業(yè)務(wù)平臺(tái)業(yè)務(wù)流程的實(shí)踐探索[A];中國(guó)新聞技術(shù)工作者聯(lián)合會(huì)五屆二次理事會(huì)暨學(xué)術(shù)年會(huì)論文集（上篇）[C];2010年

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

1 張凌;保險(xiǎn)業(yè)務(wù)流程 信息化發(fā)展構(gòu)想[N];中國(guó)保險(xiǎn)報(bào);2004年

2 葉宜強(qiáng);企業(yè)管理的業(yè)務(wù)流程問題[N];中國(guó)計(jì)算機(jī)報(bào);2002年

3 薛斐;業(yè)務(wù)流程[N];計(jì)算機(jī)世界;2002年

4 張闖;重視業(yè)務(wù)流程開發(fā)方法[N];通信產(chǎn)業(yè)報(bào);2003年

5 劉石;品類管理業(yè)務(wù)流程特征[N];中國(guó)商報(bào);2000年

6 IDS Scheer中國(guó)公司咨詢顧問 熊韌;建立企業(yè)流程管理長(zhǎng)效機(jī)制[N];中國(guó)冶金報(bào);2007年

7 鄭申;通信驅(qū)動(dòng)業(yè)務(wù)流程變革[N];金融時(shí)報(bào);2007年

8 王艷雙邋李哲;管道公司業(yè)務(wù)流程匯編工作啟動(dòng)[N];石油管道報(bào);2008年

9 記者 王彪;公司總部全面推進(jìn)業(yè)務(wù)流程梳理優(yōu)化工作[N];國(guó)家電網(wǎng)報(bào);2012年

10 記者 饒紅浩;企業(yè)盼盡快明確境外期貨套保業(yè)務(wù)流程[N];期貨日?qǐng)?bào);2013年

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

1 賀琪;以artifact為中心的業(yè)務(wù)流程合規(guī)性研究[D];復(fù)旦大學(xué);2014年

2 李暉;跨組織業(yè)務(wù)流程協(xié)同關(guān)鍵問題研究[D];山東大學(xué);2010年

3 姚青;個(gè)性化業(yè)務(wù)流程定制的關(guān)鍵問題研究[D];山東大學(xué);2009年

4 劉飚;企業(yè)業(yè)務(wù)流程分析及其再造的評(píng)價(jià)方法研究[D];華中科技大學(xué);2004年

5 姜久雷;云計(jì)算環(huán)境下跨組織業(yè)務(wù)流程建模方法研究[D];東華大學(xué);2014年

6 洪國(guó)彬;基于隨機(jī)Petri網(wǎng)的企業(yè)業(yè)務(wù)流程重組的理論與優(yōu)化方法研究[D];天津大學(xué);2003年

7 林寶玉;基于業(yè)務(wù)流程的企業(yè)會(huì)計(jì)系統(tǒng)重構(gòu)研究[D];廈門大學(xué);2006年

8 張靜;支持業(yè)務(wù)流程變化的軟件系統(tǒng)構(gòu)建方法研究[D];山東大學(xué);2007年

9 蔡章利;基于BPMN的業(yè)務(wù)流程一體化建模方法研究與實(shí)現(xiàn)[D];重慶大學(xué);2011年

10 奉繼承;知識(shí)轉(zhuǎn)化業(yè)務(wù)流程的模型體系與運(yùn)營(yíng)方法研究[D];天津大學(xué);2007年

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

1 蘭玉明;WX公司基于ERP系統(tǒng)的BPR應(yīng)用研究[D];大連海事大學(xué);2015年

2 李e，

本文編號(hào)：1405006