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

تشخیص صحت مدل جریان کاری معنا شناختی

عنوان انگلیسی
Diagnosing correctness of semantic workflow models
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
22015 2013 18 صفحه PDF
منبع

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

Journal : Data & Knowledge Engineering, Volume 87, September 2013, Pages 167–184

ترجمه کلمات کلیدی
جریان کاری - مدیریت فرایند کسب و کار - تشخیص - برنامه نویسی محدودیت - برنامه نویسی عدد صحیح
کلمات کلیدی انگلیسی
Workflow, Business process management, Diagnosis, Constraint programming, Integer programming
پیش نمایش مقاله
پیش نمایش مقاله  تشخیص صحت مدل جریان کاری معنا شناختی

To model operational business processes in an accurate way, workflow models need to reference both the control flow and dataflow perspectives. Checking the correctness of such workflow models and giving precise feedback in case of errors is challenging due to the interplay between these different perspectives. In this paper, we propose a fully automated approach for diagnosing correctness of semantic workflow models in which the semantics of activities are specified with pre and postconditions. The control flow and dataflow perspectives of a semantic workflow are modeled in an integrated way using Artificial Intelligence techniques (Integer Programming and Constraint Programming). The approach has been implemented in the DiagFlow tool, which reads and diagnoses annotated XPDL models, using a state-of-the-art constraint solver as back end. Using this novel approach, complex semantic workflow models can be verified and diagnosed in an efficient way.