با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد).
دسته بندی:
مهندسی نرم افزار - software engineering
سال انتشار:
2016
عنوان انگلیسی مقاله:
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
نویسنده:
L.T. Herbert a, Z.N.L. Hansen b,n
چکیده انگلیسی:
This paper presents a framework for the automated restructuring of stochastic workflows to reduce the impact of faults. The framework allows for the modelling of workflows by means of a formalised subset of the BPMN workflow 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 workflow. 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 workflow. The space of possible restructurings of a workflow is explored by means of an evolutionary algorithm, where the goals for improvement are defined in terms of optimising quantities, typically employed to model resources, associated with a workflow.The approach is fully automated and only the modelling of the production workflows, 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 workflow.& 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
قیمت: رایگان
توضیحات اضافی:
تعداد نظرات : 0