عنوان انگلیسی مقاله:
Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach
ترجمه فارسی عنوان مقاله:
بازسازی جریان کاری به حداقل رساندن اشتباهات از طریق چک کردن مدل تصادفی: یک رویکرد تکاملی خودکار
Sciencedirect - Elsevier - Reliability Engineering and System Safety, 145 + (2015) 351-365. doi:10.1016/j.ress.2015.07.002
This paper presents a framework for the automated restructuring of stochastic workﬂows to reduce the impact of faults. The framework allows for the modelling of workﬂows by means of a formalised subset of the BPMN workﬂow language. We extend this modelling formalism to describe faults and incorporate an intention preserving stochastic semantics able to model both probabilistic- and non-deterministic behaviour.Stochastic model checking techniques are employed to generate the state-space of a given workﬂow. Possible improvements obtained by restructuring are measured by employing the framework's capacity for tracking real-valued quantities associated with states and transitions of the workﬂow. The space of possible restructurings of a workﬂow is explored by means of an evolutionary algorithm, where the goals for improvement are deﬁned in terms of optimising quantities, typically employed to model resources, associated with a workﬂow.The approach is fully automated and only the modelling of the production workﬂows, potential faults and the expression of the goals require manual input. We present the design of a software tool implementing this framework and explore the practical utility of this approach through an industrial case study in which the risk of production failures and their impact are reduced by restructuring the workﬂow.& 2015 Elsevier Ltd. All rights reserved.
Keywords: Reliability analysis and risk assessment | methods | Safety assessment software tools | Consequence modelling and management | Enterprise risk management | Safety management and decision making
قیمت: 1000 تومان