亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        基于網上預訂系統(tǒng)業(yè)務流程的配置優(yōu)化

        2017-09-03 10:02:59劉祥偉王麗麗
        長春師范大學學報 2017年8期
        關鍵詞:業(yè)務流程變遷流程

        姚 惠,劉祥偉,王麗麗

        (安徽理工大學數(shù)學與大數(shù)據(jù)學院,安徽淮南 232001)

        基于網上預訂系統(tǒng)業(yè)務流程的配置優(yōu)化

        姚 惠,劉祥偉,王麗麗

        (安徽理工大學數(shù)學與大數(shù)據(jù)學院,安徽淮南 232001)

        業(yè)務流程優(yōu)化是業(yè)務流程管理的重要環(huán)節(jié),對于包含約束的業(yè)務流程的優(yōu)化是難以處理的。本文基于Petri網的一致性分析方法對網上預訂系統(tǒng)業(yè)務流程進行優(yōu)化,首先,給出業(yè)務流程Petri網源模型,然后對事件序列進行配置分析,查詢各活動集的弱序關系,最后,通過添加有關配置變遷進行優(yōu)化,實現(xiàn)對網上預訂系統(tǒng)業(yè)務流程的優(yōu)化分析。

        業(yè)務流程;行為一致性;配置優(yōu)化;行為過程;約束

        目前,有許多關于配置優(yōu)化方面的研究。Weidich M[1]提出一個基于行為輪廓的基本概念,通過提取一個特定活動的流程片段來構造一個可配置的流程片段,使用結構分解技術有效地判斷是否符合業(yè)務流程模型。Scott Bourne[2]提出用云服務傳遞模型,基于云計算的流程模型,通過可配置流程模型滿足特定業(yè)務需求,幫助企業(yè)降低過程開發(fā)和維護的成本。Bpass可配置模型基于本體的高度抽象的配置指導和從現(xiàn)有流程存儲中提取配置指導的一個自動化方法。Assy N[3]依據(jù)流程模型的重復使用,在語言基礎上說明發(fā)展配置流程模型在滿足新業(yè)務需求方面的重要性,且提出運用一組已提取的流程模式系統(tǒng),來指導配置流程模型的發(fā)展。用模式系統(tǒng)代替過程活動,給出進化模式的指導,確保模式可以把所有變化運用到流程模型配置中。Yongsiriwit K[4]提出將一組過程變量融合到一個可配置的流程模型中,合并模型包含了原始模型的行為,確保了模型中每個變遷可達,通過配置和個體化可得到任何輸入模型,適用于整個流程模型。Sbai H[5]提出了一種基于語義的驗證方法,可以驗證可配置流程模型。在可配置的業(yè)務流程模型中,不正確的配置可能會導致行為異常問題。通過處理數(shù)據(jù)語義驗證可配置的業(yè)務流程模型,簡化難以理解的業(yè)務流程,通過配置降低業(yè)務流程的復雜度。

        本文以Petri網行為一致性為基礎,提出基于業(yè)務流程的配置優(yōu)化分析。配置優(yōu)化時先依據(jù)業(yè)務流程行為建立Petri網源模型,在源模型基礎上,通過優(yōu)化利用隱藏的事件序列,根據(jù)用戶的要求,以添加隱藏變遷或者阻塞變遷來實現(xiàn)配置優(yōu)化,最后得到一個配置優(yōu)化的Petri網流程優(yōu)化模型。

        1 基本概念

        定義1[6](Petri網) 一個Petri網PN=(P,T,F)是一個四元組,滿足以下條件:(1)P是有限庫所集,T是有限變遷集;(2)P≠?,T≠?且P∩T=?;(3)F=(P×T)∪(T×P)表示PN的流關系。

        在Petri網PN中存在一種弱序關系,即包含T×T所有的變遷對(x,y)中存在一個發(fā)生序列δ=t1t2…tn,當i∈{1,2,…,n-1}時,i

        定義2[6](行為輪廓)PN=(P,T,F)是一個Petri網,對任意的變遷對(x,y)∈(T×T),滿足下列關系之一:(1)嚴格序關系→,當且僅當x?y,y?x;(2)排他性關系+,當且僅當x?y,y?x;(3)交叉序關系‖,當且僅當x?y,y?x,則稱BP={→,+,‖}為Petri網的行為輪廓。

        業(yè)務流程Petri網系統(tǒng)從最初運行到最終終止,每一個變遷的發(fā)生都不是任意執(zhí)行的,往往具有一定的隱藏事件序列。這種隱藏序列在不同的Petri網系統(tǒng)并非完全相同,即使是同一個系統(tǒng),在系統(tǒng)的各個部分的序列也可能不同。

        2 基于網上預訂業(yè)務流程行為的配置優(yōu)化分析

        2.1 業(yè)務流程行為模型

        在業(yè)務流程行為模型中,一個可配置的流程模型可以被定制成用戶、企業(yè)或者組織所需要的模型。通過挖掘隱藏或者阻塞業(yè)務流程模型的一部分來實現(xiàn)配置優(yōu)化,找出行為約束下的事件序列和具有行為關系的活動對,對其進行配置優(yōu)化。實際生活中的業(yè)務流程,往往轉化成一個Petri網。通過找出隱藏或者阻塞的部分變遷,對其優(yōu)化來滿足各個行業(yè)和客戶的需求。

        用戶登錄網上預訂系統(tǒng)后,依據(jù)個人需求選擇航班,然后經過身份認證,生成訂單,之后付款,支付中心收到付款后發(fā)送短信通知用戶支付成功。圖1是一個描述網上預訂機票的業(yè)務流程,用Business Process Management(BPM)語言描述的業(yè)務流程,為了使其簡便、直觀,可將上述預定業(yè)務流程用Petri網模型進行構建、分析。圖2是依據(jù)網上預訂系統(tǒng)業(yè)務流程構建的預訂系統(tǒng)源模型。

        圖1 網上預訂系統(tǒng)業(yè)務流程

        圖2 網上預訂系統(tǒng)源模型

        2.2 網上預訂系統(tǒng)優(yōu)化分析

        在網上預訂飛機票的過程中,用戶通過注冊,登錄系統(tǒng)開始預定飛機票,依據(jù)個人需求選到匹配的票之后,等待購買。在支付過程中,不同用戶的支付金額不同,這主要是由不同的約束條件引起的。為了滿足不同用戶需求,對網上預訂系統(tǒng)源模型添加有關配置的信息,達到優(yōu)化源模型的目的。具體算法如下:

        算法1 導出優(yōu)化模型

        輸入:網上預訂系統(tǒng)業(yè)務流程源模型PM以及約束條件

        輸出:網上預訂系統(tǒng)業(yè)務流程優(yōu)化模型PMO

        步驟1:將網上預訂系統(tǒng)業(yè)務流程源模型PM轉化為Petri網結構圖;

        步驟2:找出滿足約束條件,不執(zhí)行的隱藏變遷t∈T并隱藏此變遷t;

        步驟3:找出滿足約束的阻塞變遷t∈T,并阻塞此變遷t;

        步驟4:沒有約束的其他部分變遷t∈T不發(fā)生任何變化,仍保留在網上預訂系統(tǒng)優(yōu)化模型PMO中,輸出優(yōu)化模型PMO;

        步驟5:算法結束。

        業(yè)務流程模型是一個可配置的業(yè)務流程模型,可根據(jù)特定的需求配置業(yè)務流程模型,通過尋找業(yè)務流程模型中的阻塞變遷,進而對流程模型配置優(yōu)化。圖3描述在支付過程中,積分少的用戶,只能選擇全額支付,不能使用積分進行兌換。針對這樣的情況,可在業(yè)務流程中通過添加配置信息,實現(xiàn)其功能。

        圖3 普通用戶的支付流程

        網上預訂系統(tǒng)源模型與實際預定業(yè)務流程存在著一定的差異,即約束問題。在網上預訂系統(tǒng)源模型中,存在著以下問題:(1)在網上預訂系統(tǒng)中普通客戶必須升級為會員客戶,才可進行積分兌換支付;(2)若有黑客盜取支付中心的消費信息,修改付款金額,而支付中心并未察覺,將會導致實際金額過少。

        為了解決以上約束問題,可在源模型的基礎上添加配置信息以實現(xiàn)配置優(yōu)化。下面是模型配置優(yōu)化的具體內容。對于問題(1),可通過阻塞變遷t來解決,普通用戶由于積分過少,不能使用積分進行部分付款,只有會員可以積分付款,普通用戶升級為會員客戶即可解決這一問題;對于問題(2),可加強支付中心對客戶的審核力度,若發(fā)現(xiàn)黑客,可以通過阻塞變遷t來解決問題。

        滿足約束條件的配置優(yōu)化模型PMO如圖4所示。

        圖4 網上預訂系統(tǒng)配置優(yōu)化模型

        4 結語

        本文以行為一致性為基礎,基于事件業(yè)務流程,建立業(yè)務流程中變遷之間的關系模型圖,對網上預訂系統(tǒng)的實例進行配置優(yōu)化分析。由于眾多業(yè)務流程模型的結構復雜,運行系統(tǒng)不夠完善,導致系統(tǒng)運作效率不高,嚴重影響了企業(yè)或組織的整體運營效果。為了消除這些不利因素,配置優(yōu)化顯得至關重要。而關于如何去除配置優(yōu)化后的模型出現(xiàn)死鎖或者活鎖,如何配置業(yè)務流程模型使得系統(tǒng)更加高效地運行來滿足消費者的需求等問題有待更進一步的研究。

        [1]Weidich M,Polyvyanyy A,Mending J,et al.Efficient computation of casual behavioural profiles using structural decomposition[C].In Processing of Petri Nets,2010 LNCS.Springer,Heidelberg,2010.

        [2]Scott Bourne,Claudia Szabo,Quan Z.Managing configurable business process as a service to satisfy client transaction requiremengts[C].2015 IEEE International Conference on Services Computing,2015.

        [3]Assy N,Chan N N,Gaaloul W.An automated approach for assisting the design of configurable process models[J]. IEEE Transactions on Services Computing,2015,8(6):874-888.

        [4]Yongsiriwit K,Assy N,Gaaloul W.A semantic framework for configurable business process as a service in the cloud[J].Journal of Network and Computer Applications,2016(59):168-184.

        [5]Sbai H,Fredj M,Kjiri L.To trace and guide evolution in configurable process models[C].International Conference on Computer Systems and Applications (AICCSA),2013:1-4.

        [6]Dijkman R,Hofestetter J,Koehler J.Business Process Model and Notation[M].Springer,2010.

        [7]V Gruhn,R Laue.Reducing the cognitive complexity of business process models[C].The 8thIEEE International Conference on Cognitive Informatics(ICCI),2009:339-345.

        [8]Smirnov S,Weidlich M,Mendling J.Business process model abstraction based on behavioral profiles[C].In 8thInternational Conference, San Francisco,Heidelberg: Springer Berlin Heidelberg,2010,6470 :1-16.

        [9]Derguech W,Bhiri S.Merging business process variants[C].Springer Berlin Heidelberg,Business Information Systems,2011(87):86-97.

        The Online Reservation System About Configuration Optimization of Business Processes

        YAO Hui,LIU Xiang-wei,WANG Li-li

        (School of Mathematics and Big Data Anhui University of Science and Technology,Huainan Anhui 232001,China)

        Business processes is an important part of business process management to business process optimization, which are difficult to handle for the optimization of business processes contained constraints.Based on the consistency analysis method, this paper optimizes the online booking system.Firstly, the source model of business processes ofPetrinet is given, and then the sequence of events is analyzed, and the weak order relation of each activity set is queried. Finally, the optimization of the business processes of the online booking system is realized by adding the configuration transition.

        business processes;behavioral consistency;configuration optimization;behavioral process; constraint

        2017-04-10

        國家自然科學基金項目“基于Petri網行為輪廓的業(yè)務流程交互下變化域傳播機理及控制方法研究”(61572035);國家自然科學基金項目“基于行為Petri網的業(yè)務系統(tǒng)變化域分析方法及應用研究”(61402011);安徽省自然科學基金項目“面向可信管理的業(yè)務系統(tǒng)變化域分析方法研究”(1508085MF111);安徽省高校自然科學基金重點項目“Petri網中同步距離理論研究及其在分布式工作流中的應用”(KJ2016A208)。

        姚 惠(1993- ),女,碩士研究生,從事Petri網研究。

        劉祥偉(1977- ),女,副教授,從事Petri網和可信軟件研究。

        TP391.9

        A

        2095-7602(2017)08-0047-04

        猜你喜歡
        業(yè)務流程變遷流程
        吃水果有套“清洗流程”
        RPA機器人助業(yè)務流程智能化
        40年變遷(三)
        40年變遷(一)
        STK業(yè)務流程優(yōu)化的探究
        電子測試(2018年23期)2018-12-29 11:11:28
        40年變遷(二)
        企業(yè)財務管理、業(yè)務流程管理中整合ERP之探索
        違反流程 致命誤判
        勞動保護(2018年5期)2018-06-05 02:12:10
        清潩河的變遷
        人大建設(2017年6期)2017-09-26 11:50:43
        基于財務業(yè)務流程再造的ERP信息系統(tǒng)構建探析
        中國商論(2016年34期)2017-01-15 14:24:22
        性av一区二区三区免费| 偷拍网日本一区二区三区| 手机av男人天堂免费网址| 麻豆国产精品一区二区三区| 人妻少妇出轨中文字幕| 中文字幕人妻偷伦在线视频 | 无码国产一区二区色欲| 中文资源在线一区二区三区av| 久久人妻无码一区二区| 女同久久精品国产99国产精品| 动漫av纯肉无码av在线播放| 少妇被猛烈进入中文字幕 | 国产成人无码A区在线观| 午夜亚洲精品视频网站| 亚洲精品人成中文毛片| 久久亚洲国产成人精品性色 | 成人无码a级毛片免费| 久久精品国产亚洲av网站| 国产美女爽到喷出水来视频| 丰满少妇愉情中文字幕18禁片 | 亚欧AV无码乱码在线观看性色| 久久精品国产亚洲av热明星| av网站在线观看大全| 日韩吃奶摸下aa片免费观看| 亚洲男人的天堂精品一区二区| 精品久久免费国产乱色也| 在线中文字幕乱码英文字幕正常| 玩两个丰满老熟女| 久草视频在线这里只有精品| 蜜桃视频在线观看网址| 国内精品卡一卡二卡三| 一本一道波多野结衣av中文| 亚洲福利网站在线一区不卡| 97在线视频人妻无码| 国产三级在线观看免费| 久久精品国产av大片| av网站在线观看大全| 88久久精品无码一区二区毛片| 亚洲综合伦理| 蜜桃免费一区二区三区| 一本无码av中文出轨人妻|