Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways

ما پیشنهاد و مطالعه نسخه های پویا از انعطاف پذیری کلاسیک "جست و خیز" و "بلوک" برای جریان های کاری و انگیزه و تعریف معانی رسمی برای آنها. ما نشان می دهیم که معانی ما تعمیم حذف مرده است و حل مسئله باز را برای تعریف مسیر حذف مرده برای گردش کارهای چرخه ای حل می کند. این به نوبه خود منجر به یک معانی ساده و کاملا محلی برای دروازه های فراگیر می شود. در نهایت، ما نشان می دهیم که چگونه ساختارهای جدید ما می توانند بر روی موتورهای فرایند موجود بوسیله یک ترانزیستور گردش کار اعمال شوند که اطلاعات کنترل جریان را در متغیرهای فرایند ذخیره می کند.