دانلود مقاله ISI انگلیسی شماره 43209
عنوان فارسی مقاله

درباره تایید جریان کار پیچیده با محدودیت های اضافی: از تئوری تا عمل

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
43209 2014 15 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
On verification of nested workflows with extra constraints: From theory to practice
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Expert Systems with Applications, Volume 41, Issue 3, 15 February 2014, Pages 904–918

کلمات کلیدی
جریان کار - تایید - پیچیدگی - محدودیت رضایت - قوام زمانی
پیش نمایش مقاله
پیش نمایش مقاله درباره تایید جریان کار پیچیده با محدودیت های اضافی: از تئوری تا عمل

چکیده انگلیسی

Workflows are used to formally describe processes of various types such as business and manufacturing processes. One of the critical tasks of workflow management is automated discovery of possible flaws in the workflow – workflow verification. In this paper, we formalize the problem of workflow verification as the problem of verifying that there exists a feasible process for each task in the workflow. This problem is tractable for nested workflows that are the workflows with a hierarchical structure similar to hierarchical task networks in planning. However, we show that if extra synchronization, precedence, or causal constraints are added to the nested structure, the workflow verification problem becomes NP-complete. We present a workflow verification algorithm for nested workflows with extra constraints that is based on constraint satisfaction techniques and exploits an incremental temporal reasoning algorithm. We then experimentally demonstrate efficiency of the proposed techniques on randomly generated workflows with various structures and sizes. The paper is concluded by notes on exploiting the presented techniques in the application FlowOpt for modeling, optimizing, visualizing, and analyzing production workflows.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.