Runtime Verification of Business Cloud Workflow Temporal Conformance
Runtime Verification of Business Cloud Workflow Temporal Conformance
复制标题
业务云工作流时间一致性的运行时验证
DOI：
10.1109/tsc.2019.2962666
复制
发表时间：
2022-03
影响因子：
8.1
通讯作者：
John C. Grundy
中科院分区：
文献类型：
--
作者：
罗浩宇;刘晓;刘进;杨耘;John C. Grundy
业务云工作流程通常设计有多个时间限制，以便及时响应业务请求。为了确保工作流实例的按时完成，需要在运行时不断监控和验证工作流时间一致性状态。考虑到许多业务场景中存在大量并行运行的工作流实例，传统的基于时态逻辑或定时Petri网的时间相关属性验证方法由于运行时效率低下的限制而并不可行。为了解决这个问题，我们提出了一种新方法来自动运行时验证云环境中并行工作流实例的时间一致性。在本文中，没有像传统策略那样使用响应时间来验证每个工作流的时间一致性，而是采用工作流吞吐量作为性能度量来有效地监控大量并行工作流实例。在此基础上，我们提出了一种新颖的一致性验证策略。该策略考虑了云工作流系统中时间延迟传播的影响，以准确验证工作流运行时时间一致性。我们的验证策略在原型云工作流系统中实现，评估结果表明它优于最先进的工作流时间验证策略。
Business cloud workflows are often designed with multiple time constraints for timely response to business requests. To ensure on-time completion of workflow instances, workflow temporal conformance state needs to be constantly monitored and verified at runtime. Considering the fact that there are a large number of workflow instances running in a parallel fashion in many business scenarios, conventional verification approaches for time-related properties based on temporal logic or timed Petri nets are not feasible due to the limitation of low efficiency at runtime. To address this issue, we propose a new approach to automated runtime verification of temporal conformance for parallel workflow instances in a cloud environment. In this article, instead of using response time to verify temporal conformance of every single workflow as in conventional strategies, workflow throughput is employed as the performance measurement to efficiently monitor a large number of parallel workflow instances. On this basis we present a novel conformance verification strategy. This strategy considers the effect of time delay propagation in the cloud workflow systems to accurately verify workflow runtime temporal conformance. Our verification strategy is implemented in a prototype cloud workflow system and the evaluation results show that it outperforms the state-of-the-art workflow temporal verification strategy.
登录
查看更多内容
DOI：
10.2307/1269971
发表时间：
1982
期刊：
--
影响因子：
--
作者：
Fourth Edition;Averill M. Law
通讯作者：
Fourth Edition;Averill M. Law
DOI：
--
发表时间：
2011
期刊：
--
影响因子：
--
作者：
D. D'Aprile;Laura Giordano;Valentina Gliozzi;A. Martelli;G. Pozzato;D. T. Dupré
通讯作者：
D. D'Aprile;Laura Giordano;Valentina Gliozzi;A. Martelli;G. Pozzato;D. T. Dupré
影响因子：
6.5
作者：
Jyoti Sahni;D. P. Vidyarthi
通讯作者：
Jyoti Sahni;D. P. Vidyarthi
DOI：
10.2307/2288169
发表时间：
1982
期刊：
--
影响因子：
--
作者：
Fourth Edition;Averill M. Law
通讯作者：
Fourth Edition;Averill M. Law
影响因子：
4.4
作者：
Liu, Xiao;Yang, Yun;Chen, Jinjun
通讯作者：
Chen, Jinjun