可满足（≠，=）工作流的静态k弹性否决条件

来源：计算机工程与应用杂志2019年第23期北京时间：

作者：翟治年，王中鹏，叶绿，向坚，王富忠，庞海云

单位：1.浙江科技学院 信息与电子工程学院，杭州 310023；2.浙江科技学院 经济与管理学院，杭州 310023

摘要：静态[k]弹性反映安全工作流从资源失效异常中恢复运行的能力，但其验证须求解多达[C(|U|,k)]个工作流可满足决策问题（[U]为资源集），代价巨大。已有工作提出通过1次工作流可满足计数来量化其异常恢复能力，但该指标相当粗糙，仅能在可满足无解情形下给出精确的否定结论。对互斥和绑定约束下的工作流，建立了以[k]弹性可满足计数下界概念为核心的新颖模型，并首次证明了一个非平凡的下界，由此可将[k]弹性的否决条件从可满足无解推广到有解情形，具有理论上的代表性意义，也扩大了前述指标精确适用的范围。

关键词：工作流,授权,约束,资源分配,弹性,可满足性