计算机工程与应用2019，Vol.55Issue(23)：35-39,5.DOI:10.3778/j.issn.1002-8331.1808-0475
可满足(≠,=)工作流的静态k弹性否决条件
Negative Condition of Static k Resiliency for Satisfiable(≠,=)Workflow
摘要
Abstract
Static k resiliency is concerned with the ability for workflows to recover executing from exceptions of resource unavailability. To verify it, up to C(|U|,k) Workflow Satisfiability(WS)decision problems should be solved(where U is the set of all resources)and the corresponding costs are huge. In existing work, one WS counting problem is solved to quantify the ability of a workflow to recover from exceptions. However, this indicator is somewhat rough, and only in the case of no satisfiability solution an accurate negative conclusion can be given. In this paper, for an exclusion and binding constrained workflow, a novel model which surrounds the concept of satisfiability counting lower bound of static k resiliency is established, and such a no-trivial lower bound is proved for the first time. Therefore, the negative condition of k resiliency is generalized, from unsatisfiable cases to satisfiable ones. This result has representative meanings in theory, by which the precisely applied range of the aforesaid indicator is also extended.关键词
工作流/授权/约束/资源分配/弹性/可满足性Key words
workflow/authorization/constraint/resource allocation/resiliency/satisfiability分类
信息技术与安全科学引用本文复制引用
翟治年,王中鹏,叶绿,向坚,王富忠,庞海云..可满足(≠,=)工作流的静态k弹性否决条件[J].计算机工程与应用,2019,55(23):35-39,5.基金项目
国家自然科学基金(No.61572163) （No.61572163）
浙江省自然科学基金(No.Y17F050015,No.Y17G030052) （No.Y17F050015,No.Y17G030052）
浙江省教育厅科研项目(No.Y201737476) （No.Y201737476）
教育部人文社会科学研究项目(No.17YJC630109,No.17YJA880004). （No.17YJC630109,No.17YJA880004）
