DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets

摘要

In this paper, we provide a non-Markovian Stochastic Petri Net (SPN) model forDevOps workflow specification, and we determine how business processes are carriedout. After describing our model semantics, we show how general properties relatedto liveness and safety can be checked. After that, we provide several extensions onSPNs (SPN) the notation and expressivity to check some specific properties related toactors' (Developers and Operators) availability, interactions between the actors, andexecution failures detection linked to the DevOps steps. Next, we validate the proposedmodel relevance with MATLAB simulation through a specific DevOps casestudy. Finally, we propose a truncated density function to anticipate the delaysrelated to the DevOps business process overall steps.