مخطط تسلسل الرسائل

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

مخطط تسلسل الرسائل (أو MSC ) هو مخطط تفاعلي من عائلة SDL تم توحيده بواسطة الاتحاد الدولي للاتصالات .

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

تاريخ

تم إصدار النسخة الأولى من معيار MSC في 12 مارس 1993.

أضاف إصدار عام 1996 المراجع، وترتيب مفاهيم التعبيرات المضمنة ، وقدم HMSC [ 1 ] ( مخططات تسلسل الرسائل عالية المستوى )، وهي طريقة للتعبير عن سلسلة من MSCs .

أضاف إصدار MSC 2000 [ 2 ] التوجه الكائني، وحسّن استخدام البيانات والوقت في المخططات، وأضاف مفهوم استدعاءات الأساليب عن بعد. [ 3 ]

تم نشر أحدث نسخة في فبراير 2011.

الرموز في MSC

الرموز الموجودة هي:

  • رأس MSC، وخط الحياة، والنهاية: خط عمودي مع مربع في الأعلى، ومربع أو صليب في الأسفل.
  • إنشاء نسخة: سهم متقطع أفقي يشير إلى النسخة التي تم إنشاؤها حديثًا.
    إنشاء العمليات الديناميكية في MSC
  • تبادل الرسائل: سهم أفقي.
  • التحكم في التدفق : سهم أفقي مع بادئة "call"، وسهم متقطع لرمز الرد، ورموز الطريقة والتعليق بينهما.
    إجراء المكالمات في مركز تبديل الرسائل
  • المؤقتات: بدء، إلغاء، انتهاء المهلة.
  • الفترة الزمنية: نسبية ومطلقة مع سهم رأسي متقطع.
    القيود الزمنية في نظام إدارة المشاريع
  • الشروط: تُستخدم عادةً لتمثيل حالة آلة الحالة الأساسية.
  • الإجراء: صندوق.
  • التعبيرات المضمنة: التركيب البديل، التركيب التسلسلي، الاستثناء، المنطقة الاختيارية، التركيب المتوازي، التكرار (الحلقة).
  • المرجع: مرجع إلى رسالة ماجستير أخرى.
    مرجع MSC في MSC
  • مفهوم البيانات: يمكن للمستخدم استخدام أي مفهوم للبيانات، وإذا لم يتم تحديد الربط، فإن مفهوم البيانات الافتراضي هو المفهوم الموجود في SDL كما هو محدد في توصية Z.121.
  • المنطقة المشتركة: خط متقطع مزدوج لوصف الأحداث غير المرتبة.

امتدادات الرموز

  • قدمت SDL-RT ما يلي:
    • تمثيل مثيل الإشارة.
      امتداد إشارات SDL-RT إلى MSC
    • رمز الحفظ لحفظ الرسائل.

مقارنة بـ UML

يستلهم مخطط تسلسل UML 2.0 بشكل كبير من ITU-T MSC. ومع ذلك، ولأسباب تاريخية، فإن المبادئ الأساسية الافتراضية مختلفة تمامًا:

  • خطوط النجاة
  • في نظام إدارة الحالة (MSC)، تمثل الخطوط الرأسية كيانات تنفيذ مستقلة. وهي عادةً ما تمثل آلات الحالة التي تعمل بالتوازي. ولا يشترط أن تكون آلات الحالة على نفس الحاسوب.
  • في مخطط التسلسل، يمثل الخط العمودي عادةً كائنًا. يمكن أن يكون الكائن نشطًا (في سلسلة تنفيذه الخاصة) أو سلبيًا (في سياق تنفيذ كائن نشط).
  • الأسهم
  • في نظام إدارة الرسائل (MSC)، عادةً ما يكون السهم عبارة عن رسالة غير متزامنة تُرسل من كيان إلى آخر. بمجرد إرسال الرسالة، يستأنف الكيان المُرسِل تنفيذه.
  • في مخطط التسلسل، يُفهم السهم عادةً على أنه استدعاء عملية على فئة. ولذلك فهو متزامن، ويتوقف الكيان المستدعي حتى تعود العملية.

قيل إن MSC قد تم اعتباره مرشحًا لمخططات التفاعل في UML. [ 4 ]

ومع ذلك، يعتقد مؤيدو MSC مثل شركة إريكسون أن MSC أفضل من UML 2.0 لنمذجة الأنظمة الكبيرة أو المعقدة. [ 5 ]

مخططات التسلسل المباشر

أشار ديفيد هاريل إلى أن شركة MSC تعاني من أوجه قصور مثل:

  • تقترح MSC دلالات ترتيب جزئي ضعيفة تجعل من المستحيل استيعاب بعض المتطلبات السلوكية.
  • العلاقة بين متطلبات MSC والمواصفات القابلة للتنفيذ غير واضحة.

واقترح مخططات التسلسل المباشر (LSC) كامتداد لمعيار MSC. [ 6 ] [ 7 ] [ 8 ]

انظر أيضاً

مراجع

  1. "HMSC" . sdl-forum.org . تم الاطلاع عليه بتاريخ 19-09-2009 .
  2. أويستين هاوجن. "MSC 2000" (ملف PDF) . إريكسون . مؤرشف من الأصل (ملف PDF) بتاريخ 7 يونيو 2011. تم الاطلاع عليه بتاريخ 19 سبتمبر 2009 .
  3. "ما الجديد في MSC 2000 مقارنةً بـ MSC 96" . sdl-forum.org . تاريخ الاسترجاع: 19-09-2009 .
  4. إيكارت رودولف؛ ينس غرابوفسكي؛ بيتر غراوبمان (1999). "نحو مواءمة مخططات تسلسل UML وMSC" . جامعة غوتنغن . تاريخ الاسترجاع: 25 أغسطس 2014 .
  5. أويستين هاوجن (يونيو 2000). "UML 2.0 مقابل SDL/MSC - بيان موقف إريكسون" (ملف PDF) . إريكسون . تاريخ الاسترجاع: 19 سبتمبر 2009 .
  6. ديفيد هاريل (2003-04-08). "مخططات تسلسل الرسائل" (ملف PDF) . مؤرشف من الأصل (ملف PDF) بتاريخ 2006-08-26 . تم الاطلاع عليه بتاريخ 2009-09-20 .
  7. ديفيد هاريل (22 فبراير 2005). "مخططات تسلسل الرسائل: إضفاء الحيوية على مخططات تسلسل الرسائل". الأساليب الرسمية في تصميم الأنظمة . 19 : 45-80 . doi : 10.1023/A:1011227529550 . S2CID 1551133 . 
  8. ديفيد هاريل (2002). "الحالات المتعددة والمتغيرات الرمزية في مخططات التسلسل القابلة للتنفيذ". إشعارات ACM SIGPLAN . 37 (11): 83-100 . CiteSeerX 10.1.1.20.5984 . doi : 10.1145/583854.582429 . 
  9. إيمانويل غودان؛ إريك برونيل (2013). SDL 2013: هندسة الموثوقية القائمة على النماذج . سلسلة محاضرات في علوم الحاسوب. المجلد 7916. سبرينغر. الصفحات 19-35 . doi : 10.1007/978-3-642-38911-5_2 . ISBN   978-3-642-38910-8.