نموذج الاستمرارية الثلاثية

📅 آخر تحديث: ٣٠ يوليو ٢٠٢٦
✍️ نُشر في: ٣٠ يوليو ٢٠٢٦
الموسوعة الحرة

نموذج الاستمرارية الثلاثية ( ثلاثي : "ثلاثة وواحد في نفس الوقت") هو نموذج لنمذجة النظام العامة تم نشره في عام 2002. [ 1 ] يسمح النموذج ببناء أطر مفاهيمية صارمة تستخدم لنمذجة الأنظمة في سياقات تطبيقية مختلفة (مصممة خصيصًا وكذلك متعددة التخصصات).

ملخص

كما ورد في قاموس كامبريدج للفلسفة : [ 2 ] "يشير مصطلح النموذج، كما استخدمه توماس كون ( بنية الثورات العلمية ، 1962)، إلى مجموعة من المعتقدات العلمية والميتافيزيقية التي تشكل إطارًا نظريًا يمكن من خلاله اختبار النظريات العلمية وتقييمها ومراجعتها إذا لزم الأمر."

يلتزم نموذج الاستمرارية الثلاثية بهذا التعريف من خلال تحديد مجموعة من المبادئ العلمية التي يمكن من خلالها بناء الأطر المفاهيمية المستخدمة في نمذجة الأنظمة في سياقات مختلفة، واختبارها، وتقييمها، ومراجعتها. [ 3 ]

بالنسبة لإطار نمذجة قائم، يسمح هذا النموذج باختبار الإطار وفقًا لمبادئه، مُظهرًا أوجه القصور فيه، إن وُجدت، وموضحًا كيفية معالجتها في أي مراجعة مُحتملة للإطار. وعند بناء إطار نمذجة نظام جديد، يُقدّم هذا النموذج إرشادات حول كيفية القيام بذلك، ضامنًا جودة الإطار الناتج.

وفقًا لهيريرا وآخرون، [ 4 ] فإن نموذج الاستمرارية الثلاثية هو قاعدة نظرية كاملة يمكن استخدامها لبناء أو تحسين أطر النمذجة الحديثة المستخدمة في نمذجة النظام في سياقات مختلفة، وخاصة في تطوير البرمجيات وفي هندسة نظم معلومات المؤسسات .

الأسس وآثارها

يستند نموذج الاستمرارية الثلاثية إلى ثلاث نظريات: نظرية الحقيقة لتارسكي ، ونظرية الأنواع لراسل ، ونظرية الاستمرارية الثلاثية. [ 5 ] وعند تطبيق هذه النظريات على نمذجة الأنظمة العامة، ينتج عنها ثلاثة مبادئ: [ 3 ]

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

تطبيقات النموذج

يمكن تطبيق نموذج الاستمرارية الثلاثية عمليًا إما لتحسين إطار نمذجة النظام الحالي أو لتصميم إطار نمذجة نظام جديد لغرض معين.

  • RM-ODP
طُبِّق هذا النموذج في مجال هندسة البرمجيات والأنظمة ، لإضفاء الطابع الرسمي على أسس الإطار المفاهيمي لنموذج المرجع للمعالجة الموزعة المفتوحة ( RM-ODP ). [ 6 ] وكما وصفه ديكمان، [ 7 ] فقد حدد ناومينكو في عام 2002 صيغةً مجردةً لـ RM-ODP بلغة تُسمى Alloy ، والتي تستخدم دلالات رسمية قائمة على نظرية المجموعات .
  • لغة النمذجة الموحدة (UML)
طُبِّق هذا النموذج لتحديد نموذج فوقي رسمي للغة النمذجة الموحدة (UML) . [ 8 ] ووفقًا لـ لانو، [ 9 ] فقد تم تحديد غياب التفسير المُؤَسَّس لمفاهيم UML في هذا التطبيق. وكما أوضح بروي وسينجارل، [ 10 ] فإن تطبيق نموذج الاستمرارية الثلاثية هذا:
  • أظهر قصورًا في لغة النمذجة الموحدة (مثل التعريفات الدائرية والمتناقضة)؛
  • تم تقديم خيار يتمتع ببنية متسقة داخلياً مدعومة بنظرية راسل للأنواع؛
  • دلالات تعريفية محددة على غرار Tarski؛
  • تم تبريرها على أساس الأسس الفلسفية والعلمية الطبيعية (على عكس UML التي هي نتيجة لمحاولات وإخفاقات ونجاحات لم يتم تبريرها نظريًا أبدًا).
  • درزة
تم استخدام تطبيق RM-ODP في تعريف منهجية SEAM لهندسة المؤسسات ، مما يسمح بنمذجة المؤسسات حيث يتم تمثيل جميع الأنظمة بشكل منهجي باستخدام نفس أنطولوجيا النمذجة. [ 11 ]
  • جسم طائر مجهول
تم تصميم إطار عمل جديد، نهج "الوحدة  -  الوظيفة  -  الكائن"  (UFO)، [ 12 ] لنمذجة الأعمال [ 13 ] استنادًا إلى علم الوجود الذي تم توفيره من خلال نموذج الاستمرارية الثلاثية.

مراجع

  1. ↑ أ. ناومينكو. نموذج الاستمرارية الثلاثية: نموذج لنمذجة الأنظمة العامة وتطبيقاته في لغة النمذجة الموحدة (UML) و RM-ODP ، أطروحة دكتوراه رقم 2581، المعهد الفدرالي السويسري للتكنولوجيا - لوزان. EPFL ، يونيو 2002.
  2. ↑ ر. أودي (المحرر العام). قاموس كامبريدج للفلسفة، الطبعة الثانية؛ مطبعة جامعة كامبريدج 1999.
  3. ١ ٢ أ. ناومينكو. "نموذج الاستمرارية الثلاثية" ، في موسوعة علوم وتكنولوجيا المعلومات ، الطبعة الثانية، المجلد الثامن، الصفحات ٣٨٢١-٣٨٢٥؛ م. خسرو بور (محرر)، مرجع علوم المعلومات، آي جي آي غلوبال، سبتمبر ٢٠٠٨. ISBN 978-1-60566-026-4.
  4. ↑ SI Herrera, MM Clusella, GN Tkachuk, PA Luna. "كيف تساهم نماذج النظام في تصميم نظم المعلومات" ، وقائع المؤتمر العالمي الأول للاتحاد الدولي لأبحاث النظم (IFSR 2005): الأدوار الجديدة لعلوم النظم من أجل مجتمع قائم على المعرفة؛ كوبي، اليابان، نوفمبر 2005.
  5. ↑ أ. ناومينكو. "تقرير عن نموذج الاستمرارية الثلاثية ونظريته التأسيسية للاستمرارية الثلاثية" ، PHISE'05، ورشة العمل الدولية الأولى حول الأسس الفلسفية لهندسة نظم المعلومات. وقائع ورش عمل CAiSE'05 ، المجلد 2، الصفحات 439-450؛ ج. كاسترو، إ. تينينتي (محرران)؛ بورتو، البرتغال، يونيو 2005. منشورات كلية الهندسة بجامعة بورتو. ISBN 972-752-077-4.
  6. ↑ أ. ناومينكو، أ. ويغمان . "صياغة أسس RM-ODP استنادًا إلى نموذج Triune Continuum Paradigm"، معايير وواجهات الحاسوب ، المجلد 29، العدد 1، الصفحات 39-53، دار النشر Elsevier BV، 2007. الرقم الدولي الموحد للدوريات 0920-5489 . doi : 10.1016/j.csi.2005.10.001 
  7. ↑ آر إم ديكمان. الاتساق في التصميم المعماري متعدد وجهات النظر . أطروحة دكتوراه 06-80، مركز المعلوماتية والاتصالات، جامعة توينتي، 2006. الصفحة 16.
  8. ↑ أ. ناومينكو، أ. ويغمان . "نموذج فوقي للغة النمذجة الموحدة". "UML" 2002 - لغة النمذجة الموحدة: هندسة النماذج، والمفاهيم، والأدوات. المؤتمر الدولي الخامس ؛ الصفحات 2-17؛ جيه-إم. جيزيكيل، إتش. هوسمان، إس. كوك (محررون)؛ دريسدن، ألمانيا، سبتمبر/أكتوبر 2002. LNCS 2460. سبرينغر-فيرلاغ 2002. ISBN 3-540-44254-5. دوى : 10.1007/3-540-45800-X_2
  9. ↑ ك. لانو . "استخدام B للتحقق من تحويلات UML" ، وقائع ورشة العمل الثالثة حول تصميم النماذج والتحقق من صحتها (MODEVA 2006)، ب. بودري، د. هيرندن، ن. رابين، ج. ج. سوس (محررون)، ص 46-61؛ جنوة، إيطاليا، أكتوبر 2006.
  10. ↑ م. بروي ، م. ف. سينجارل. "الدلالات الرسمية للغة النمذجة الموحدة للأنظمة: دروس مستفادة". نمذجة البرمجيات والأنظمة ، المجلد 10، العدد 4، الصفحات 441-446، سبرينغر-فيرلاغ، 2011. الرقم الدولي الموحد للدوريات 1619-1366 . doi : 10.1007/s10270-011-0207-y 
  11. ↑ أ. ويغمان ، ل. س. لي، ج. ريغيف، ب. وود. "نمذجة المؤسسات باستخدام المفاهيم الأساسية لمعيار RM-ODP ISO/ITU". نظم المعلومات وإدارة الأعمال الإلكترونية ، المجلد 5، العدد 4، الصفحات 397-413، سبرينغر برلين/هايدلبرغ، 2007. ISSN 1617-9846 . doi : 10.1007/s10257-007-0051-3 
  12. ↑ O. Ukrainets. "عرض عنصر UFO في بنية النموذج الفوقي لنموذج Triune Continuum Paradigm"، وقائع المؤتمر الدولي لعلوم الحاسوب وتقنيات المعلومات (CSIT'2006)، ص 107-108؛ لفيف، أوكرانيا، سبتمبر 2006.
  13. ↑ ك. فانوف، م. بوندارينكو، ك. سولوفيوفا، أ. أوكراينيتس. "لغة منهجية لنمذجة الأعمال الذكية". أنظمة صنع القرار الذكية. وقائع المؤتمر الدولي الرابع لـ ISKE ؛ الصفحات 439-444؛ ك. فانوف، د. روان، ت. لي، ج. ويتس (محررون)؛ هاسيلت، بلجيكا، نوفمبر 2009. دار النشر العالمية العلمية، سنغافورة، 2010. ISBN 981-4295-05-1doi : 10.1142 / 9789814295062_0068