2025-11-19T21:28:20.762414

Conceptual Modeling and Classification of Events

Al-Fedaghi
This paper is a sequel to an evolving research project on a diagrammatic methodology called thinging machine (TM). Initially, it was proposed as a base for conceptual modelling (e.g., conceptual UML) in areas such as requirement engineering. Conceptual modelling involves a high-level representation of a real-world system that integrates various components to refine it into a more concrete (computer) executable form. The TM project has progressed into a more comprehensive approach by applying it in several research areas and expanding its theoretical and ontological foundation. Accordingly, the first part of the paper involves enhancing some TM aspects related to structuring events in existence, such as absent events. The second part of the paper focuses on how to classify events and the kinds of relationships that can be recognized among events. The notion of events has occupied a central role in modelling. It influences computer science and such diverse disciplines as linguistics, probability theory, artificial intelligence, physics, philosophy and history. In TM, an event is defined as the so-called thimac (thing/machine) with a time breath that infuses dynamism into the static description of the thimac called a region. A region is a diagrammatic specification based on five generic actions: create, process, release, transfer and receive. The results of this research provide (a) an enrichment of conceptual modelling, especially concerning varieties of existence, e.g., absent events of negative propositions, and (b) a proposal that instead of semantic categorizations of events, it is possible to develop a new type of classification based on graphs grounded on the TM model diagrams.
academic

النمذجة المفاهيمية وتصنيف الأحداث

المعلومات الأساسية

  • معرّف الورقة البحثية: 2501.00276
  • العنوان: النمذجة المفاهيمية وتصنيف الأحداث
  • المؤلف: صباح الفدغي (جامعة الكويت)
  • التصنيف: cs.SE (هندسة البرمجيات)
  • تاريخ النشر: 2025
  • رابط الورقة: https://arxiv.org/abs/2501.00276

الملخص

تمثل هذه الورقة استمراراً لمشروع بحثي مستمر حول المنهجية الرسومية "آلة التفكير" (Thinging Machine, TM). تم اقتراح TM في الأصل كأساس للنمذجة المفاهيمية (مثل UML المفاهيمي)، مع التطبيق في مجالات مثل هندسة المتطلبات. تتضمن النمذجة المفاهيمية تمثيلاً عالي المستوى لأنظمة العالم الحقيقي، مع دمج مكونات مختلفة وتحسينها إلى أشكال قابلة للتنفيذ (الحاسوبية) أكثر تحديداً. تطور مشروع TM ليصبح منهجاً أكثر شمولاً، من خلال التطبيق في مجالات بحثية متعددة وتوسيع أسسه النظرية والأنطولوجية. يتناول الجزء الأول من الورقة تحسين بعض خصائص TM في تنظيم أحداث الوجود، مثل الأحداث المفقودة. يركز الجزء الثاني على كيفية تصنيف الأحداث وأنواع العلاقات التي يمكن تحديدها بين الأحداث. يحتل مفهوم الحدث موقعاً مركزياً في النمذجة، مما يؤثر على علوم الحاسوب وكذلك على تخصصات متعددة مثل اللسانيات والاحتمالات والذكاء الاصطناعي والفيزياء والفلسفة والتاريخ. في نموذج TM، يُعرّف الحدث بأنه "ثيماك" (thing/machine) يتمتع بخصائص زمنية، مما يضفي الديناميكية على وصف ثيماك الثابت المسمى "المنطقة". تُحدد المناطق بشكل رسومي بناءً على خمس إجراءات عامة: الإنشاء والمعالجة والتحرير والنقل والاستقبال.

خلفية البحث والدافع

خلفية المشكلة

  1. تحديات النمذجة المفاهيمية: تواجه أساليب النمذجة المفاهيمية الحالية صعوبات في التعامل مع أنواع الكيانات والتسلسلات الهرمية للتعميم وأنواع العلاقات والخصائص والعلاقات الأساسية
  2. تعقيد تصنيف الأحداث: يحتل مفهوم الحدث موقعاً مهماً في تخصصات متعددة، لكن يفتقر إلى إطار تصنيف موحد
  3. الانقسام بين النمذجة الثابتة والديناميكية: تجد الأساليب التقليدية صعوبة في التعامل بفعالية مع العلاقة بين البنية الثابتة والسلوك الديناميكي

دافع البحث

  • تطوير منهجية نمذجة مفاهيمية أكثر اكتمالاً، خاصة في التعامل مع أشكال الوجود المختلفة
  • اقتراح طريقة تصنيف أحداث جديدة قائمة على البنية الرسومية بدلاً من التصنيف الدلالي
  • تعزيز قدرة نموذج TM على التعبير عن الأنظمة الحقيقية المعقدة

المساهمات الأساسية

  1. تعزيز الأسس النظرية لنموذج TM: إدخال بنية ثنائية الطبقة من الإمكانية/الفعلية، مع اعتماد أفكار النمط الواقعي من المدرسة الرواقية
  2. اقتراح مفهوم الأحداث المفقودة: توفير إطار نظري جديد لنمذجة القضايا السلبية
  3. إنشاء طريقة تصنيف أحداث قائمة على الرسومات: اقتراح استبدال التصنيف الدلالي التقليدي بتصنيف رسومي قائم على رسم نموذج TM
  4. إثراء منهجية النمذجة المفاهيمية: خاصة في التعامل مع تنوع الوجود، مثل الأحداث المفقودة المقابلة للقضايا السلبية

شرح المنهجية

تعريف المهمة

يهدف هذا البحث إلى:

  • إنشاء إطار نمذجة مفاهيمية موحد قادر على التعامل مع المناطق الثابتة والأحداث الديناميكية
  • توفير تمثيل رسمي لأنواع مختلفة من الأحداث (بما في ذلك الأحداث المفقودة)
  • تطوير نظام تصنيف أحداث قائم على البنية الرسومية

معمارية نموذج TM

المفاهيم الأساسية

Thimac (شيء/آلة): الوحدة الأساسية في نموذج TM، التي تتمتع بطبيعة ثنائية للشيء والآلة:

  • كشيء: يمكن إنشاؤه ومعالجته وتحريره ونقله واستقباله
  • كآلة: قادر على إنشاء ومعالجة وتحرير ونقل واستقبال أشياء أخرى

الإجراءات الخمس الأساسية

  1. الإنشاء (Create): الكشف عن شيء داخل الآلة، أي تسجيل ثيماك كوحدة أنطولوجية
  2. المعالجة (Process): يتم تغيير الشيء ومعالجته والتحقق منه، لكن لا ينتج عنه ثيماك جديد
  3. التحرير (Release): تحضير الشيء للنقل خارج الآلة
  4. النقل (Transfer): عبور الشيء الحدود كمدخل أو مخرج للآلة
  5. الاستقبال (Receive): وصول الشيء إلى الآلة والدخول إلى داخلها

البنية الثنائية الطبقة

  • الطبقة الثابتة (الإمكانية): المناطق (Regions) - تصف تكوينات الأحداث الممكنة
  • الطبقة الديناميكية (الفعلية): الأحداث (Events) - مزيج المناطق مع الزمن

نقاط الابتكار التقني

1. العلاقة بين المناطق والأحداث

  • المناطق والأحداث غير قابلة للفصل في الواقع لكنها ليست متطابقة
  • المنطقة هي الجزء الثابت من الحدث، والحدث هو تحقق المنطقة عبر الزمن
  • هذه العلاقة تشبه نظرية الأشكال الأفلاطونية، لكن بدون الحاجة إلى مفهوم لقاء الروح والشكل

2. نظرية الأحداث المفقودة

  • الأحداث المفقودة: أحداث لنمذجة القضايا السلبية
  • على سبيل المثال، "جون ليس في الغرفة" يمثل حدثاً موجوداً، حيث يكون جون كحدث فرعي مفقود
  • الأحداث المفقودة موجودة لكن منطقتها لا يمكنها تنفيذ إجراءات

3. التمثيل الرسومي

  • استخدام المستطيلات لتمثيل ثيماك
  • استخدام الأسهم لتمثيل تدفق الإجراءات
  • استخدام الأسطوانات لتمثيل التخزين
  • استخدام الأسهم المتقطعة لتمثيل التشغيل

إعداد التجارب

دراسات الحالة

تتحقق الورقة من فعالية نموذج TM من خلال عدة حالات:

الحالة 1: نمذجة المنطق الافتراضي

نمذجة تعبير منطقي معقد (a ∨ (¬a ∧ b) ∨ c) → d حيث:

  • a: الحاسوب موجود في الشبكة المحلية
  • b: الحاسوب لديه معرّف دخول صحيح
  • c: الحاسوب قيد الاستخدام من قبل مسؤول
  • d: الحاسوب يمكنه الوصول إلى الإنترنت

الحالة 2: التحقق من تصنيف الأحداث

نمذجة TM لأربعة أنواع أحداث من مخطط Vendler:

  • الأنشطة (Activities): مثل "الركض" و"المشي"
  • الإنجازات (Accomplishments): مثل "الركض لمسافة ميل واحد" و"رسم لوحة"
  • الإنجازات اللحظية (Achievements): مثل "قبّل جون مريم"
  • الحالات (States): مثل "على متن السفينة" و"الحب"

منهجية النمذجة

  1. النموذج الثابت: يعرض العلاقات الهيكلية بين ثيماك
  2. النموذج الديناميكي: يوضح التنفيذ الزمني للأحداث
  3. الجدول الزمني للأحداث: يصف الترتيب الزمني للأحداث
  4. الرسوم البيانية الزمنية: تحدد مدة الأحداث بشكل موسع

نتائج التجارب

النتائج الرئيسية

1. القدرة على النمذجة الموحدة

نجح نموذج TM في توفير إطار تمثيل موحد لأنواع مختلفة من الأحداث، بما في ذلك:

  • الأحداث الإيجابية التقليدية
  • الأحداث المفقودة المقابلة للقضايا السلبية
  • الأحداث المركبة المعقدة

2. جدوى التصنيف القائم على الرسومات

من خلال نمذجة مخططات تصنيف أحداث متعددة، تم إثبات جدوى طريقة التصنيف القائمة على البنية الرسومية:

  • يتجلى الفرق الهيكلي بين الأنشطة والإنجازات بشكل أساسي في تحديد شروط الإنهاء الضمنية
  • يمكن تمييز أنواع الأحداث المختلفة من خلال الخصائص الطوبولوجية للرسم البياني

3. النمذجة الفعالة للأحداث المفقودة

تم نمذجة مختلف التعبيرات السلبية بنجاح، مثل:

  • "الذهب المزيف" كحدث معدني يفتقد خاصية "الذهب"
  • "جون ليس في الغرفة" كحدث فرعي مفقود لجون في حدث الغرفة

تحليل الحالات

حالة المنطق الافتراضي

من خلال نمذجة منطق التحكم في الوصول إلى الشبكة، يتم عرض كيفية تعامل TM مع:

  • منطق التفرع الشرطي
  • تدفق الاتصال ثنائي الاتجاه
  • البنى التحكمية المعقدة

تتضمن هذه الحالة 15 نقطة محددة، وتصف بشكل كامل عملية التحقق من الاتصال ثنائي الاتجاه من الحاسوب إلى الإنترنت ومن الإنترنت إلى الحاسوب.

حالة تصنيف الأحداث

تُظهر نمذجة "تيري يبني منزلاً" كيفية تمييز TM بين:

  • المفهوم الأولي (E1): وجود تيري
  • بدء المشروع (E2): وجود المنزل كمشروع غير مكتمل
  • عملية البناء (E3-E5): البناء المستمر والتحقق من الإنجاز
  • الحالة النهائية (E6): المنزل المكتمل

الأعمال ذات الصلة

الأنطولوجيا الحدثية

  • Whitehead: "كل شيء هو حدث، العالم يتكون من أحداث"
  • Aristotle: التمييز بين الحالات والأحداث، نقطة نهاية الحدث والعملية المستمرة
  • مخطط Vendler: إطار تصنيف لأربعة أنواع من الأفعال

طرق النمذجة المفاهيمية

  • UML: حدود لغة UML كلغة نمذجة مفاهيمية
  • نموذج العلاقة بين الكيانات: القصور في التعامل مع السلوك الديناميكي
  • المنطق الزمني: تطور اللغات المعيارية مثل TimeML

تفرد نموذج TM

مقارنة بالطرق الموجودة، تكمن مزايا نموذج TM في:

  • طبيعة ثنائية موحدة للشيء/الآلة
  • الفصل الواضح بين الثابت والديناميكي
  • المعالجة الرسمية للأحداث السلبية

الخلاصة والنقاش

الاستنتاجات الرئيسية

  1. المساهمة النظرية: يوفر نموذج TM أساساً نظرياً أكثر ثراءً للنمذجة المفاهيمية، خاصة في التعامل مع تنوع الوجود
  2. الابتكار المنهجي: اقتراح طريقة تصنيف أحداث جديدة قائمة على البنية الرسومية بدلاً من التصنيف الدلالي
  3. القيمة العملية: تم التحقق من فعالية نموذج TM في نمذجة الأنظمة المعقدة من خلال حالات متعددة

القيود

  1. التعقيد: قد تصبح الرسوم البيانية TM معقدة جداً، مما يؤثر على قابلية القراءة في التطبيقات العملية
  2. دعم الأدوات: يفتقر إلى دعم أدوات ناضجة لإنشاء والتحقق من نماذج TM تلقائياً
  3. التحقق التجريبي: يتطلب المزيد من التحقق من المشاريع الفعلية واسعة النطاق

الاتجاهات المستقبلية

  1. الأسس النظرية للرسوم البيانية: تطوير أنظمة تصنيف منظمة بناءً على نظرية الرسوم البيانية (مثل الرسوم البيانية الخطية والرسوم البيانية الانعكاسية)
  2. تطوير الأدوات: تطوير أدوات آلية تدعم نمذجة TM
  3. توسيع التطبيقات: تطبيق منهجية TM على مجالات أكثر، مثل الذكاء الاصطناعي وعلوم البيانات

التقييم المتعمق

المزايا

  1. العمق النظري: توفر الورقة أساساً فلسفياً وأنطولوجياً عميقاً، خاصة في التعامل مع الوجود والغياب
  2. الابتكار المنهجي: توفر الطبيعة الثنائية لنموذج TM (شيء/آلة) والبنية الثنائية الطبقة (ثابت/ديناميكي) منظوراً جديداً للنمذجة
  3. الأمثلة الغنية: تعرض حالات تفصيلية متعددة قابلية تطبيق الطريقة وفعاليتها
  4. التكامل بين التخصصات: دمج ناجح لمفاهيم من الفلسفة والمنطق وعلوم الحاسوب

أوجه القصور

  1. تعقيد التمثيل: قد تصبح الرسوم البيانية TM صعبة الفهم والصيانة عند التعامل مع الأنظمة المعقدة
  2. غياب التقييم الكمي: تعتمد الورقة بشكل أساسي على التحليل النوعي، وتفتقر إلى التقييم الكمي للأداء
  3. الممارسة الهندسية: مسار التحول من النظرية إلى ممارسة هندسة البرمجيات الفعلية غير واضح بما فيه الكفاية
  4. التحليل المقارن: التحليل المقارن المنهجي مع طرق النمذجة المفاهيمية الموجودة غير كافٍ

التأثير

  1. القيمة الأكاديمية: توفير منظور نظري جديد لمجال النمذجة المفاهيمية، خاصة في نمذجة الأحداث
  2. الإمكانات العملية: تطبيقات محتملة في هندسة المتطلبات وتحليل الأنظمة وغيرها
  3. المساهمة المنهجية: قد تلهم طريقة التصنيف القائمة على الرسومات تطوير مجالات نمذجة أخرى

السيناريوهات المناسبة

  1. نمذجة الأنظمة المعقدة: مناسبة بشكل خاص للأنظمة التي تتطلب التعامل مع البنية الثابتة والسلوك الديناميكي
  2. هندسة المتطلبات: توفير طريقة تمثيل أكثر دقة في مراحل تحليل وتحديد المتطلبات
  3. معمارية الأنظمة الموجهة للأحداث: توفير أساس نظري لتصميم الأنظمة الموجهة للأحداث
  4. تمثيل المعرفة: قيمة تطبيقية في مجال تمثيل المعرفة في الذكاء الاصطناعي

المراجع

تستشهد الورقة بـ 27 مرجعاً مهماً، تغطي:

  • نظرية النمذجة المفاهيمية (Rosenthal et al., 2023)
  • الأنطولوجيا الحدثية (Casati & Varzi, 2014; Whitehead, 1964)
  • المنطق الزمني (Pustejovsky et al., 2022)
  • الأسس الفلسفية (الدراسات المتعلقة بـ Heidegger و Aristotle)
  • الأعمال السابقة للمؤلف (سلسلة أوراق Al-Fedaghi)

توفر هذه الورقة إطاراً نظرياً ومنهجياً مبتكراً لمجال النمذجة المفاهيمية. على الرغم من أنها تتطلب مزيداً من التطوير في جوانب الممارسة الهندسية، فإن مساهماتها النظرية وخصائصها في التكامل بين التخصصات تمنحها قيمة أكاديمية وإمكانات تطبيقية مهمة.