朱利奥·克莱姆普纳 一种形式良好的工作流/Petri网经典稳健性验证的分析方法。 （英语） Zbl 1309.93099号 国际期刊申请。数学。计算。科学。 24，第4期，931-939（2014）. 摘要：在本文中，我们将工作流网视为由一类特定的Petri网描述的常微分方程控制的动态系统。工作流网络是业务流程的一个正式模型。形式良好的业务流程对应于健全的工作流网络。即使似乎有必要要求工作流网络的健全性，也存在具有条件行为的业务流程，这些业务流程不一定满足健全性属性。在这个意义上，我们提出了一种分析方法，用Petri网证明工作流网满足经典的稳健性属性。为了陈述我们的观点，我们使用李亚普诺夫稳定性理论来解决由Petri网描述的一类动态系统的经典稳健性验证问题。这类Petri网允许用差分方程表示动态模型表示。因此，应用Lyapunov理论，解决了工作流网络的经典稳健性问题，证明了Petri网表示是稳定的。我们证明了一个有限的非阻塞工作流网满足健全性当且仅当其相应的PN是稳定的，即给定相应PN的关联矩阵a，存在一个严格正的m向量，使得（a\Phi\leq 0）。本文的主要贡献在于分析方法本身，它满足了部分经典稳健性要求的定义。该方法是为实际应用而设计的，确保可以在不需要领域知识的情况下检测异常，并且可以很容易地在不支持工作流验证的现有商业系统中实现。应用实例证明了该方法的有效性。 引用于1文件 MSC公司： 93元65角 离散事件控制/观测系统 93D05型 李亚普诺夫和控制理论中的其他经典稳定性（拉格朗日、泊松、（L^p、L^p）等） 93立方厘米 由常微分方程控制的控制/观测系统 关键词：Petri网;可判定性;工作流网络;李亚普诺夫稳定性;可靠性;验证 软件：沃夫兰;形而上学;WSAT公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Clempner}，国际J.应用。数学。计算。科学。24，第4号，931--939（2014；Zbl 1309.93099） 全文： 内政部 参考文献： [1] Barkaoui，K.和Ben Ayed，R.（2011年）。统一验证工作流程的稳健性，《计量与控制研究所学报》33（1）：133-148。； [2] Barkaoui，K.和Petrucci，L.（1998年）。具有共享资源的工作流网络的结构分析，《工作流管理学报：基于网络的概念、模型、技术和工具》（WFM'98），葡萄牙里斯本，第82-95页。； [3] Basu，A.和Blanning，R.W.（2000年）。工作流分析的正式方法，信息系统研究11（1）：17-36。； [4] Basu，A.和Blanning，R.W.（2002年）。研究述评：电子商务中的工作流管理问题，信息系统研究13（1）：17-36。； [5] Bi，H.H.和Zhao，J.L.（2004）。将命题逻辑应用于工作流验证，信息系统研究5（3-4）：293-318。； [6] Brams，G.W.（1983）。《佩特里研究：理论与实践》，第1卷，巴黎马森·Zbl 0501.68027号 [7] Clempner，J.（2005）。《有色决策过程Petri网：建模、分析与稳定性》，国际应用数学与计算机科学杂志15（3）：405-420·Zbl 1169.93371号 [8] Clempner，J.（2014）。验证业务流程的可靠性：决策流程Petri网方法，应用专家系统41（11）：5030-5040。； [9] Clempner，J.和Retchkiman，Z.（2005年）。使用决策过程Petri网的业务过程建模，WSEAS商业与经济事务2（2）：36-44·兹比尔1089.68070 [10] Dehnert，J.和Rittgen，P.（2001）。放松业务流程的稳健性，K.R.Dittrich、A.Geppert和M.C·Zbl 0980.68816号 [11] Norrie（Eds.），《第13届高级信息系统工程国际会议论文集》（CAiSE’01），《计算机科学讲义》，第2068卷，柏林斯普林格-Verlag，第157-170页。； [12] Desel，J.和Erwin，T.（2000）。业务流程建模、模拟和分析，W.M.P.van der Aalst，J。； [13] Desel和A.Oberweis（编辑），《业务流程管理：模型、技术和实证研究》，计算机科学讲义，第1806卷，Springer-Verlag，伦敦，第129-141页。； [14] Ellis，C.A.和Nutt，G.I.（1993年）。工作流系统的建模和制定，M.Ajmone Marsan（Ed.），第14届国际Petri网应用和理论会议（ICATPN 1993），计算机科学讲稿，第691卷，柏林斯普林格大学，第1-16页。； [15] Fu，X.，Bultan，T.和Su，J.（2002）。电子服务和工作流的正式验证，C.Bussler，R.Hull，S·Zbl 1022.68656号 [16] McIlraith、M.Orlowska、B.Pernici和J.Yang（编辑），《网络服务、电子商务和语义网络》，CAiSE 2002国际研讨会（WES 2002），《计算机科学讲义》，第2512卷，柏林斯普林格出版社，第188-202页·Zbl 1014.68958号 [17] Fu，X.，Bultan，T.和Su，J.（2004）。《交互式BPEL网络服务分析》，第13届国际万维网会议，美国纽约州纽约市，第621-630页。； [18] Karamanolis，C.、Giannakopoulou，D.、Magee，J.和Wheater，S.M.（2000年）。工作流模式的模型检查，第四届国际企业分布式对象计算会议论文集（EDOC'00），加利福尼亚州洛斯阿拉米托斯，美国，第170-181页。； [19] Kindler，E.、Martens，A.和Reisig，W.（2000年）。工作流应用程序的互操作性：全球稳健性的本地标准，收录于W.M.P.van der Aalst、J.Desel和A.Oberweis（编辑），《业务流程管理：模型、技术和实证研究》，《计算机科学讲义》，第1806卷，柏林斯普林格-Verlag，第235-253页。； [20] Lakshmikantham，V.、Leela，S.和Martynyuk，A.A.（1990年）。非线性系统的实际稳定性，世界科学，新加坡·Zbl 0753.34037号 [21] Lakshmikantham，V.、Matrosov，V.M.和Sivasundaram，S.（1991年）。向量Lyapunov函数与非线性系统的稳定性分析，Kluwer学术出版社，Dordrecht·Zbl 0721.34054号 [22] Lin，H.，Zhao，Z.，Li，H..和Chen，Z.（2002）。识别结构冲突的新型图形简化算法，第34届夏威夷国际系统科学年会论文集（HICSS-35），毛伊岛，HI，美国，第1-10页。； [23] Lohmann，N.、Massuthe，P.、Stahl，C.和Weinberg，D.（2006年）。分析相互作用的BPEL过程，S.Dustdar，J.L。； [24] Fiadeiro和A.Sheth（编辑），《商业流程管理国际会议》（BPM2006），计算机科学讲稿，第4102卷，柏林斯普林格-弗拉格出版社，第17-32页。； [25] 曼恩，Z.A.（2010）。工作流图中动作顶点的编号，国际应用数学与计算机科学杂志20（3）：591-600，DOI:10.2478/v10006-010-0044-0·Zbl 1205.68266号 [26] Martens，A.（2005a）。分析基于web服务的业务流程，M.Cerioli（Ed.），《第八届软件工程基本方法国际会议论文集》（FASE 2005），《计算机科学讲义》，第3442卷，柏林斯普林格-Verlag，第19-33页·兹比尔1119.68305 [27] Martens，A.（2005年b）。可执行过程和抽象过程之间的一致性，电子技术、电子商务和电子服务国际IEEE会议记录（EEE’05），日本北九州，第60-67页。； [28] Mendling，J.、Neumann，G.和van der Aalst，W.M.P.（2007）。基于量度理解过程模型中错误的发生，M.Cerioli（Ed.），《OTM合作信息系统会议论文集》（CoopIS 2007），《计算机科学讲义》，第4803卷，柏林斯普林格-弗拉格出版社，第113-130页。； [29] Murata，T.（1989）。Petri网：属性，分析和应用，Automatica 77（4）：541-580。Passno，K.M.、Burguess，K.L.和Michel，A.N.（1995）。离散事件系统的拉格朗日稳定性和有界性，理论与应用5:383-403·Zbl 0849.93051号 [30] Sadiq，W.和Orlowska，M.E.（1997年）。关于工作流概念建模中的正确性问题，《第五届欧洲信息系统会议论文集》（ECIS’97），爱尔兰科克，第19-21页。； [31] Sadiq，W.和Orlowska，M.E.（2000年）。使用图约简技术分析过程模型，信息系统25（2）：117-134。； [32] Salimifard，K.和Wright，M.（2001年）。基于Petri网的工作流系统建模：概述，《欧洲运筹学杂志》134（3）：664-676。van der Aalst，W.M.P.（1997）。工作流网的验证，见P.Azéma和G.Balbo（编辑），Petri网的应用和理论，1997年，柏林斯普林格·弗拉格出版社，第407-426页。van der Aalst，W.M.P.（1998）。Petri网在工作流管理中的应用，《电路、系统和计算机杂志》8（1）：21-66。van der Aalst，W.M.P.（2007）。工作流验证：使用基于Petri-net的技术查找控制流错误，见W.M.P.van der Aalst、J.Desel和A.Oberweis（编辑），《业务流程管理：模型、技术和实证研究》，柏林斯普林格出版社，第161-183页。van der Aalst，W.M.P.（2011）。工作流网的健全性：分类、可判定性和分析，计算的形式方面23（3）：333-363。van Dongen，B.F.、van der Aalst，W.M.P.和Verbeek，H.M.W.（2005）。《EPCs的验证：使用约简规则和Petri网》，载于O.Pastor和J.Falco e Cunha（编辑），《第17届高级信息系统工程会议论文集》（CAiSE’05），《计算机科学讲义》，第3520卷，柏林斯普林格-Verlag，第372-386页。van Hee，K.M.、Serebrenik，A.、Sidorova N.和Voorhoeve，M.（2005）。资源约束工作流网的健全性，G.Ciardo和P.Darondeau（编辑），Petri网的应用和理论，2005年，计算机科学讲义，第3536卷，柏林斯普林格·弗拉格，第250-267页。van Hee，K.M.、Sidorova，N.和Voorhoeve，M.（2004）。； [33] 在J.Cortadella和W中，工作流网络的一般可靠性是可以判定的。Reisig（编辑），Petri网的应用和理论2004，计算机科学讲义，第3099卷，Springer-Verlag，柏林，第197-215页·Zbl 1094.68070号 [34] Vanhatalo，J.、Volzer，H.和Leymann，F.（2007年）。通过SESE分解对业务流程模型进行更快、更集中的控制流分析，见B.Kramer、K.Lin和P.Narasimhan（编辑），《面向服务的计算学报》（ICSOC 2007），《计算机科学讲义》，第4749卷，施普林格出版社，柏林，第43-55页。； [35] H.M.W.Verbeek、T.Basten和W.M.P.van der Aalst（2001）。使用Woflan诊断工作流过程，《计算机期刊》44（4）：246-279·Zbl 0993.68141号 [36] H.M.W.Verbeek、van der Aalst W.M.P.和ter Hofstede A.H.M.（2001）。使用取消区域和/或联接验证工作流：一种基于宽松稳健性和不变量的方法，《计算机期刊》50（3）：294-314。； [37] Weske，M.（2007年）。《业务流程管理：概念、语言、架构》，柏林施普林格出版社。； [38] Wombacher，A.（2006年）。跨组织工作流中的分散一致性检查，《电子技术、电子商务和电子服务国际会议论文集》（CEC/EEE 2006），美国华盛顿特区，第39-46页。； [39] Wynn，M.T.、Edmond，D.、van der Aalst W.M.P.和ter Hofstede，A.H.M.（2005）。使用重置网络实现工作流中的或加入的通用、正式和可判定方法，见G.Ciardo和P.Darondeau（编辑），Petri网的应用和理论，2005年，计算机科学讲义，第3536卷，Springer-Verlag，柏林，第423-443页·Zbl 1128.68389号 [40] Wynn，M.T.、van der Aalst，W.M.P.、ter Hofstede，A.H.M.和Edmond，D.（2006）。使用取消区域和或连接验证工作流：一种基于重置网络和可达性分析的方法，见S.Dustdar、J.L.Fiadeiro和A.Sheth（编辑），《业务流程管理国际会议》（BPM 2006），《计算机科学讲义》，第4102卷，柏林斯普林格-Verlag，第389-394页。zur Muehlen，M.（2004）。基于工作流的过程控制：工作流驱动的过程信息系统的基础、设计和应用，Logos，柏林。； 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。