研究背景隨著共享醫(yī)院在醫(yī)療行業(yè)的不斷開展與應(yīng)用,共享醫(yī)療新業(yè)態(tài)也受到了廣泛的關(guān)注。然而結(jié)構(gòu)化業(yè)務(wù)過程中業(yè)務(wù)活動的核心過程被專業(yè)人員研究和編撰,程序性業(yè)務(wù)步驟已無法應(yīng)對共享醫(yī)院運(yùn)營環(huán)境中不可預(yù)見的業(yè)務(wù)活動。為了能夠滿足共享醫(yī)院靈活的業(yè)務(wù)過程需求,保持醫(yī)療機(jī)構(gòu)之間的業(yè)務(wù)協(xié)同,對建模方法的改進(jìn)研究顯得越發(fā)關(guān)鍵。研究目的以共享醫(yī)院業(yè)務(wù)過程為研究背景,基于Petri網(wǎng)和UML活動圖各自的特點(diǎn)對共享醫(yī)院業(yè)務(wù)過程建模研究,進(jìn)而用進(jìn)程代數(shù)理論對UML活動圖構(gòu)建的共享醫(yī)院業(yè)務(wù)過程模型進(jìn)行形式化研究,最后將結(jié)構(gòu)沖突理論用于對共享醫(yī)院業(yè)務(wù)過程模型的仿真研究,以實(shí)現(xiàn)對共享醫(yī)院業(yè)務(wù)過程靈活的更改或調(diào)整,確保業(yè)務(wù)過程的正確性和合理性。研究方法首先,對共享醫(yī)院業(yè)務(wù)過程進(jìn)行分析,以業(yè)務(wù)“事務(wù)”為基本活動單元,通過DEMO事務(wù)概念和Petri網(wǎng)圖形符號相結(jié)合的方法,構(gòu)建共享醫(yī)院業(yè)務(wù)過程模型。其次,提出一種用例2.0技術(shù)驅(qū)動的業(yè)務(wù)過程建模方法,用例2.0建模替代非結(jié)構(gòu)化業(yè)務(wù)過程的需求,并應(yīng)用于共享醫(yī)院業(yè)務(wù)過程建模,再次,根據(jù)進(jìn)程代數(shù)理論,引入一組UML活動圖到CSP的映射規(guī)則,采用一種利用CSP轉(zhuǎn)換UML活動圖模型的方法... 

【文章來源】：寧夏醫(yī)科大學(xué)寧夏回族自治區(qū)

【文章頁數(shù)】：76 頁

【學(xué)位級別】：碩士

【部分圖文】：

業(yè)務(wù)過程建模方法

圖 2 區(qū)分流程邏輯和業(yè)務(wù)邏輯人應(yīng)平衡處理流程邏輯和業(yè)務(wù)邏輯。業(yè)務(wù)過程建模主要關(guān)注過程流，通過業(yè)務(wù)流程中抽取出來，控制業(yè)務(wù)邏輯中的業(yè)務(wù)變化，知識工人能夠快速應(yīng)。這允許業(yè)務(wù)過程建模支持業(yè)務(wù)過程決策，即具有決策意識的業(yè)務(wù)過程是流程邏輯（如流程任務(wù)）和業(yè)務(wù)邏輯（如決策任務(wù)），并得出結(jié)論的任化程度 所示的矩陣中，基于結(jié)構(gòu)化程度的兩個維度，即相互依賴程度和工作復(fù)雜劃分為四種關(guān)鍵類型，分別是集成模型、事務(wù)模型、協(xié)作模型和專家模型事務(wù)模型是結(jié)構(gòu)化業(yè)務(wù)過程，協(xié)作模型和專家模型是非結(jié)構(gòu)化業(yè)務(wù)過程。了協(xié)作的方式，業(yè)務(wù)邏輯對應(yīng)于單個工作者的知識工作。型（Integration Model，IM）：多方協(xié)作的業(yè)務(wù)工作通常導(dǎo)致復(fù)雜的業(yè)務(wù)

圖 3 四種知識工作類型協(xié)作模型（Collaboration Model，CM）：采取干預(yù)方法，不發(fā)布業(yè)務(wù)流程圖。人通常采用迭代的、協(xié)作的方法進(jìn)行工作，對于這種方法，模式較難識別。外部信息使用的可能性較小，結(jié)構(gòu)化業(yè)務(wù)過程是非常罕見的。專家模型（Expert Model，EM）：專業(yè)人員在工作中具有高度的自決權(quán)和判斷也有一些組織協(xié)作的例子，如幾個領(lǐng)先的醫(yī)療保健提供者將技術(shù)應(yīng)用于訂購藥物、轉(zhuǎn)診等流程的關(guān)鍵方面。但是，從結(jié)構(gòu)化業(yè)務(wù)過程的方面看，專家模型是一種挑業(yè)人員對詳細(xì)流程給予過多關(guān)注，通常指定部分工作流程的詳細(xì)方面，未能給出高級指南。.2 Petri 網(wǎng)Petri 網(wǎng)是由 Carl Adam Petri 于 1962 年提出。Petri 網(wǎng)有著非常精確的數(shù)學(xué)定義

【參考文獻(xiàn)】：
期刊論文
[1]用例2.0技術(shù)驅(qū)動業(yè)務(wù)過程建模方法[J]. 沈曉奕,楊德仁,董富江,李相榮.  軟件導(dǎo)刊. 2018(10)
[2]基于DEMO方法的共享醫(yī)院業(yè)務(wù)流程建模[J]. 沈曉奕,楊德仁,楊柳,馬海燕.  軟件導(dǎo)刊. 2018(11)
[3]UML活動圖的正確性檢測[J]. 陳慧峰,余曉菲,蔣建民.  軟件工程. 2018(03)
[4]Medical Mall:共享醫(yī)療異軍突起[J]. 郭瀟雅.  中國醫(yī)院院長. 2018(02)
[5]中國式Medical Mall——共享時代下公立醫(yī)院的共享發(fā)展新路徑[J]. 李哲峰,湯昊宬.  中國醫(yī)院院長. 2017(19)
[6]基于SysML活動圖的測試序列集約簡方法[J]. 孟令沖,舒堅,黃勤濤,曹偉芳.  計算機(jī)工程與應(yīng)用. 2018(13)
[7]采用函數(shù)式語言的BPEL模型形式化驗證方法[J]. 祝義,黃志球,周航.  計算機(jī)科學(xué)與探索. 2018(02)
[8]基于Petri網(wǎng)的醫(yī)療業(yè)務(wù)流程模型的合并及變化域分析方法[J]. 李雪萍,方賢文,趙建東.  長江大學(xué)學(xué)報(自科版). 2016(25)
[9]基于通信順序進(jìn)程方法的RSSP-Ⅱ通信協(xié)議安全性分析[J]. 陸德彪,和晟姣,王劍.  信息網(wǎng)絡(luò)安全. 2016(07)
[10]基于面向方面Petri網(wǎng)的業(yè)務(wù)流程改進(jìn)方法研究[J]. 張瑞云,張璇,王旭,倪珊珊.  計算機(jī)應(yīng)用與軟件. 2016(05)

碩士論文
[1]基于Petri網(wǎng)的業(yè)務(wù)流程模型配置優(yōu)化方法[D]. 劉紅.安徽理工大學(xué) 2017



本文編號：3597968