Discovering hidden dependencies in constraint-based declarative process models for improving understandability

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