当前位置:
X-MOL 学术
›
J. Softw. Evol. Process
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets
Journal of Software: Evolution and Process ( IF 2 ) Pub Date : 2020-12-03 , DOI: 10.1002/smr.2329 Walid Ben Mesmia 1 , Mohamed Escheikh 1 , Kamel Barkaoui 2
Journal of Software: Evolution and Process ( IF 2 ) Pub Date : 2020-12-03 , DOI: 10.1002/smr.2329 Walid Ben Mesmia 1 , Mohamed Escheikh 1 , Kamel Barkaoui 2
Affiliation
In this paper, we provide a non‐Markovian Stochastic Petri Net (SPN) model for DevOps workflow specification, and we determine how business processes are carried out. After describing our model semantics, we show how general properties related to liveness and safety can be checked. After that, we provide several extensions on SPNs (SPN) the notation and expressivity to check some specific properties related to actors' (Developers and Operators) availability, interactions between the actors, and execution failures detection linked to the DevOps steps. Next, we validate the proposed model relevance with MATLAB simulation through a specific DevOps case study. Finally, we propose a truncated density function to anticipate the delays related to the DevOps business process overall steps.
中文翻译:
使用非马尔可夫随机Petri网的DevOps工作流程验证和持续时间预测
在本文中,我们为D e v O p s w o r k f l o w规范提供了一个非马尔可夫随机Petri网(SPN)模型,并确定了业务流程的执行方式。在描述了模型语义之后,我们展示了如何检查与活动性和安全性相关的一般属性。此后,我们在S P N s(SPN)的表示法和表达性上提供了几个扩展,以检查与参与者(开发人员和操作员)的可用性,参与者之间的交互以及与D e v相关的执行失败检测相关的某些特定属性。Ø p小号步骤。接下来,我们通过特定的D e v O p s案例研究,通过M A T L A B仿真来验证所提出的模型相关性。最后,我们提出了一个截断的密度函数,以预测与D e v O p的业务流程总体步骤有关的延迟。
更新日期:2020-12-03
中文翻译:
使用非马尔可夫随机Petri网的DevOps工作流程验证和持续时间预测
在本文中,我们为D e v O p s w o r k f l o w规范提供了一个非马尔可夫随机Petri网(SPN)模型,并确定了业务流程的执行方式。在描述了模型语义之后,我们展示了如何检查与活动性和安全性相关的一般属性。此后,我们在S P N s(SPN)的表示法和表达性上提供了几个扩展,以检查与参与者(开发人员和操作员)的可用性,参与者之间的交互以及与D e v相关的执行失败检测相关的某些特定属性。Ø p小号步骤。接下来,我们通过特定的D e v O p s案例研究,通过M A T L A B仿真来验证所提出的模型相关性。最后,我们提出了一个截断的密度函数,以预测与D e v O p的业务流程总体步骤有关的延迟。