خوارزمية ألفا هي الأولى في تقنية تحليل العمليات التي سمحت بإيجاد ما يسمى بشبكات سير العمل من سجلات العمليات. تم تطوير الخوارزمية في عام 2013 من قبل مؤسس منهجية عملية التعدين ، البروفيسور ويل إم بي فان دير آلست.
ما هي شبكات سير العمل (المشار إليها فيما يلي بـ WF) هي شبكة مبنية على أساس شبكات بتري. الأهم من ذلك ، يتيح لك WF المستند إلى شبكات Petri تقديم المزيد من مهام سير العمل وتحليلها.
السمات المميزة لـ WF هي:
- . ( , )
- ( , )
- .1. .2.
لنلقِ نظرة على مثالين:
هذه المخططات ليست WF. لماذا ا؟ في الحالة الأولى ، ليس لدينا بداية ونهاية السلسلة (يشار إليها بدائرة). في الحالة الثانية ، الإجراء د ليس له نهاية.
قدمت أدناه مثالاً على شبكة WF صحيحة - هناك بداية ونهاية ، وجميع الإجراءات موجودة بينهما وتكتمل.
بعد توضيح ماهية WF قليلاً ،
دعنا ننتقل إلى خوارزمية ألفا: من أجل الحصول على WF باستخدام خوارزمية ألفا ، نحتاج إلى ترتيب الأشياء في سجلنا. للقيام بذلك ، سوف نحدد العلاقات التالية بين الانتقالات في سجل الأحداث (لاحقًا ستكون هناك حاجة لبناء نموذج):
1. التسلسل المباشر.
الحدث أ> الحدث ب.
في سجل الأحداث الحقيقي ، سيبدو كالتالي:
2. علاقة سببية.
الحدث أ ← الحدث ب. هذا
يعني أن هناك مثل هذه الانتقالات في سجل الأحداث
ولكن لا توجد مثل هذه الانتقالات :
لذلك ، على الرسم التخطيطي نضع الرمز
- أحداث موازية.
يحتوي السجل على كلا التحولات: الحدث أ ← الحدث ب والحدث ب ← الحدث أ. - عدم الاتساق.
الحدث أ # الحدث ب والعكس بالعكس. هذه الأحداث لا تظهر في السجل.
تسمى مجموعة البيانات المشتركة لجميع الانتقالات المجموعة L.
لنلق نظرة على مثال صغير. يوجد أدناه سجل لثلاث حالات.
دعنا نكتب الاتصالات المستخدمة في خوارزمية ألفا من سجلنا:
- > ,
> ,
> ,
> ,
> ,
> ,
> - → ,
→ ,
→ ,
→ ,
→ ,
→ - ||
بناءً على العلاقات الناتجة ، نرسم WF.
يغطي النموذج الناتج جميع إجراءات سجلنا ويسهل تحليله.
حدود خوارزمية ألفا.
إذا كان السجل الخاص بك يحتوي على حلقات مفردة أو مزدوجة (تكرار الإجراءات) ، فإن الخوارزمية تفسر خطأ وقد تنشئ نموذجًا مختلفًا عما هو متوقع. دعنا نعود إلى السجل الخاص بنا سابقًا ونضيف التكرارات إليه:
النموذج المتوقع سيبدو كما يلي:
لكن خوارزمية ألفا ستعطينا صورة مختلفة تمامًا:
ماهو السبب؟ ليس للإجراء "معالجة طلب" بداية أو نهاية. في عملية إنشاء النموذج ، يتم إنشاء المجموعة أ (حيث تكون كل البدايات) والمجموعة ب (حيث تنتهي العمليات). نظرًا لأنه مع التكرارات المتعددة ، يتم فقد مجموعات البيانات ، ولا يمكن للخوارزمية العثور عليها. وفقًا لذلك ، يقع هذا الإجراء خارج النموذج العام.
يحدث نفس الموقف مع إجراءين متكررين على التوالي. ستترك خوارزمية ألفا واحدة منهم فقط ، والثانية ستنسحب ولن نتمكن من تفسير النموذج.
كيف يمكن حل هذه المشكلة؟ من الضروري مراعاة ميزات النظام الذي تقوم بتحليله قدر الإمكان. إذا كان نظامك يكتب في السجل ليس فقط النقاط الرئيسية ، ولكن أيضًا الإجراءات التي يتم إنشاؤها تلقائيًا (على سبيل المثال ، في حالات الكتابة اليدوية ، يمكن للنظام إجراء الحفظ التلقائي كل 5 ثوانٍ وكتابتها في السجل) ، فمن المنطقي دمج هذه الإجراءات في عنصر واحد.