弗朗西斯科·杜兰;卡米洛·罗查;格温·萨拉恩 BPMN流程的资源供应策略：使用Maude进行规范和分析。 （英语） Zbl 1528.68217号 J.日志。阿尔盖布。方法计划。 123，文章ID 100711，27 p.（2021）. 概述：业务流程优化是组织中的一项战略活动，因为它具有增加利润率和降低运营成本的潜力。这项活动的主要挑战之一涉及优化资源分配和共享的问题。公司正在根据不同的战略不断调整资源以满足其需求。然而，动态供应策略很难比较。本文提出了一种自动分析技术，用于评估和比较业务流程相对于工作负载和供应策略的执行时间和资源占用。提出了四种不同的策略，分别以最近的资源使用、最近的资源请求、预测的行为和可用策略的组合为指导。这种分析是在符合BPMN扩展的模型上进行的，其中包含定量信息，包括资源可用性和约束。在此框架内，该方法使用Maude重写逻辑框架中的正式和可执行规范进行了全面机械化，该框架依赖于现有技术和工具来模拟概率和实时规范。该论文包括为验证目的进行的广泛实验的结果。 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 2012年第68季度 语法和重写系统 91B32型 资源和成本分配（包括公平分配、分摊等） 关键词：业务流程;BPMN公司;资源调配;重写逻辑;莫德;基于仿真的分析 软件：PMaude公司;莫德;PVeStA公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。123，文章ID 100711，第27页（2021；Zbl 1528.68217） 全文： 内政部 哈尔 参考文献： [1] Agha，G.A。；梅塞盖尔，J。；Sen，K.，PMaude:概率对象系统的基于重写的规范语言，（第三届编程语言定量方面研讨会，第三届程序设计语言定量方面会议，QAPL（2006），Elsevier），213-239 [2] AlTurki，M。；Meseguer，J.，PVeStA:一种并行统计模型检查和定量分析工具，（第四届计算机科学代数和余代数国际会议，第四届国际计算机科学代数与余代数会议，CALCO（2011），Springer），386-392 [3] 布胡拉，A。；Jouannaud，J.P。；Meseguer，J.，《隶属关系方程逻辑的规范和证明》，Theor。计算。科学。，236, 35-132 (2000) ·Zbl 0938.68057号 [4] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.，All About Maude-a High-Performance Logical Framework，How to Specify，Program and Verify Systems in Rewriting Logic，LNCS，vol.4350（2007），Springer出版社·Zbl 1115.68046号 [5] Combi，C。；萨拉，P。；Zerbato，F.，《具有资源的时间关键型流程的逻辑形式化》，（Business Process Management Forum，Business Process Management Forum，BPM Forum（2018），Springer），20-36 [6] 杜兰，F。；罗查，C。；Salaün，G.，重写逻辑中BPMN随时间的随机分析，科学。计算。程序。，168, 1-17 (2018) [7] 杜兰，F。；罗查，C。；Salaün，G.，《业务流程模型中资源分配分析的重写逻辑方法》，科学版。计算。程序。，183 (2019) [8] 杜兰，F。；罗查，C。；Salaün，G.，《使用Maude分析BPMN流程的运行时资源提供》，（第13届重写逻辑及其应用国际研讨会，第13届改写逻辑及其应用问题国际研讨会，WRLA（2020），Springer），38-56 [9] 杜兰，F。；Salaün，G.，使用Maude验证定时BPMN过程，（第19届IFIP WG 6.1国际协调模型和语言会议，第19届国际协调模型与语言会议，Coordination（2017），Springer），219-236 [10] 弗朗西斯科马利诺，C.D。；吉迪尼，C。；Maggi，F.M。；彼得鲁奇，G。；Yeshchenko，A.，《展望未来：在预测性业务流程监控中利用先验知识》（the ye to the future:leverage A priorial knowledge in predictive business process monitoring），（商业流程管理国际会议，国际商业流程管理会议，BPM（2017），Springer），252-268 [11] 弗拉帕奥洛，C。；Keldsen，D.，《业务流程管理（BPM）——利用能力和简化流程以实现卓越运营》（2008年），AIIM，《技术报告》。上升时间 [12] Havur，G。；卡瓦尼拉斯，C。；孟德林，J。；Polleres，A.，《业务流程管理系统中依赖性的资源分配》（business process management Forum，business process management Forum，BPM Forum（2016），Springer），3-19 [13] 伊德，S。；丝瓜。；林，M。；高尔，A。；Weske，M.，《业务流程模型中的优化资源分配》（business process Management Forum，business process Management Forum，BPM Forum（2019），Springer），第55-71页 [14] ISO/IEC，国际标准19510，信息技术-业务流程模型和符号（2013） [15] 克里希纳，A。；Poizat，P。；Salaün，G.，VBPMN:BPMN过程的自动验证，（第13届综合形式方法国际会议（2017），施普林格），323-331 [16] 克里希纳。；Poizat，P。；Salaün，G.，《检查业务流程演变》，科学。计算。程序。，170, 1-26 (2019) [17] Leemans，S。；Fahland，D。；van der Aalst，W.，可扩展流程发现和一致性检查，Softw。系统。型号。，17, 599-631 (2018) [18] 李，J。；范，Y。；Zhou，M.，工作流的性能建模和分析，IEEE Trans。系统。人类网络。，34, 229-242 (2004) [19] Meseguer，J.，《作为并发统一模型的条件重写逻辑》，Theor。计算。科学。，96, 73-155 (1992) ·Zbl 0758.68043号 [20] Netjes，N。；范德阿尔斯特，W。；Reijers，H.，用有色Petri网分析资源约束过程（CPN Proc.of CPN（2005）），251-266 [21] 奥利维拉，C。；利马，R。；Reijers，H。；Ribeiro，J.，《资源约束业务流程的定量分析》，IEEE Trans。系统。人类网络。，42, 669-684 (2012) [22] 奥列夫茨基，P.C。；Meseguer，J.，实时Maude的语义和语用学，High-订购符号。计算。，20, 161-196 (2007) ·Zbl 1115.68095号 [23] 彼得斯，S.P.F。；Dijkman，R.M。；Grefen，P.W.P.J.，《业务流程模型中资源构建的高级模拟》，（business process Management Forum，business process Management Forum，BPM Forum（2018），Springer），159-175 [24] 波拉托，M。；Sperduti，A。；Burattin，A。；de Leoni，M.，《业务流程实例的时间和活动序列预测》，《计算》，1001005-1031（2018） [25] 罗素，N。；ter Hofstede，A。；Edmond，D。；van der Aalst，W.，工作流资源模式（2004），BETA工作论文系列，WP 127 [26] Schömig，A.K。；Rau，H.，《业务流程性能分析的Petri网方法》（1995年），德国瓦尔茨堡大学，技术报告116 [27] Signavio（2019），上市时间： [28] 斯佩尔，S。；Havur，G。；Steyskal，S。；卡瓦尼拉斯，C。；Poleres，A。；Haselböck，A.，决策密集型业务流程中的资源利用预测，（第七届数据驱动过程发现与分析国际研讨会 [29] 范德阿尔斯特，W。；德马塞利斯，R。；Di Francescomarino，C。；Ghidini，C.，《从事件中学习混合流程模型-在不伪造信心的情况下发现流程》，（商业流程管理国际会议，商业流程管理问题国际会议，BPM（2017），Springer），59-76 [30] Walck，C.，《实验家统计分布手册》（2007年），斯德哥尔摩大学：斯德哥尔默大学，技术报告SUF-PFY/96-01 [31] 徐，J。；刘，C。；Zhao，X.，《资源分配与业务流程改进：它们如何相互影响》，（第六届国际业务流程管理会议，第六届业务流程管理国际会议，BPM（2008），Springer），228-243 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。