Validation of user intentions in process orchestration and choreography

مدل های هدف و مدل های فرآیند کسب و کار، مصنوعات مکمل برای تطبیق الزامات و جریان اجرای آنها در مهندسی نرم افزار هستند. در این مورد، مدل های هدف به عنوان ورودی برای طراحی مدل های فرآیند کسب و کار خدمت می کنند. این به ارتباط بین دو نوع مدل نیاز دارد تا توضیح دهد که اهداف کاربر با چه فعالیت هایی در فرایند کسب و کار اجرا می شوند. با توجه به تعداد زیادی از روابط ممکن بین اهداف در مدل هدف و جریان های کنترل ممکن از فعالیت ها، توسعه دهندگان با چالش حفظ سازگاری سازگار از هر دو مدل و نقشه های آنها مبارزه می کنند. مدیریت این نقشه ها به صورت دستی خطری است. در کار ما، ما یک راه حل خودکار را پیشنهاد می دهیم که بر منطق توصیف و استدلال های خودکار برای اعتبار سنجی هایی است که اهداف را با فعالیت در مدل های فرایند کسب و کار توصیف می کنند. نتایج بدست آمده از شناسایی دو الگو عدم تضاد - تناقض ارکستراسیون و اختلاف نظری - و توسعه الگوریتم های مربوطه برای تشخیص این ناسازگاری است.