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

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

【摘要】：針對如何保證業(yè)務(wù)流程設(shè)計模型與業(yè)務(wù)需求的一致性問題,在研究有限自動機模型的基礎(chǔ)上,提出了一種業(yè)務(wù)流程的自動機模型構(gòu)建和驗證方法.采用擴展的帶約束條件的確定有限自動機對業(yè)務(wù)流程設(shè)計模型進行形式化描述,使用線性時序邏輯表示業(yè)務(wù)需求,分別給出業(yè)務(wù)流程設(shè)計模型到自動機模型和自動機模型到Promela描述的轉(zhuǎn)換算法,并通過模型檢測技術(shù),使用Spin工具驗證設(shè)計模型是否滿足需求性質(zhì).若不滿足性質(zhì),則能夠獲得反例執(zhí)行的路徑.實例分析表明,該方法可用于業(yè)務(wù)流程設(shè)計的正確性驗證.
[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è)西安航空計算技術(shù)研究所;西安電子科技大學(xué)計算機學(xué)院;
【基金】：國家自然科學(xué)基金資助項目(61502365,61272117) 中央高校基本科研業(yè)務(wù)費專項資金項目(K5051303005)
【分類號】：TP311.52
【正文快照】： 業(yè)務(wù)流程由存在于企業(yè)價值鏈條上的一系列活動及其之間的關(guān)系構(gòu)成,是企業(yè)提高效率和增加效益的重要手段.為了增強業(yè)務(wù)流程的可靠性,保證設(shè)計結(jié)果的正確性,避免未經(jīng)過有效驗證的流程設(shè)計被開發(fā)、測試、甚至交付使用,造成返工修改,浪費大量的人力和物力,可應(yīng)用形式化方法進行模

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 葉宜強;企業(yè)管理的業(yè)務(wù)流程問題[N];中國計算機報;2002年

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

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

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

6 IDS Scheer中國公司咨詢顧問 熊韌;建立企業(yè)流程管理長效機制[N];中國冶金報;2007年

7 鄭申;通信驅(qū)動業(yè)務(wù)流程變革[N];金融時報;2007年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 李e，

本文編號：1405006