المواصفات والوصف اللغة
لغة المواصفات والوصف ( SDL ) هي لغة مواصفات تستهدف المواصفات والوصف الواضح لسلوك الأنظمة التفاعلية والموزعة .
ملخص
لقد عرّف قطاع تقييس الاتصالات لغة البرمجة الخطية في التوصيات Z.100 إلى Z.106. وقد ركزت لغة البرمجة الخطية في الأصل على أنظمة الاتصالات؛ واعتبارًا من عام 2016، [تحديث]تشمل مجالات تطبيقها الحالية التحكم في العمليات والتطبيقات في الوقت الفعلي بشكل عام. ونظرًا لطبيعتها، يمكن استخدامها لتمثيل أنظمة المحاكاة [1] دون غموض وباستخدام تدوين بياني.
توفر لغة المواصفات والوصف كلًا من التمثيل الرسومي (SDL/GR) والتمثيل النصي (SDL/PR)، وكلاهما تمثيلان متكافئان لنفس الدلالات الأساسية. عادةً ما يتم عرض النماذج في شكل SDL/GR الرسومي، ويُستخدم SDL/PR بشكل أساسي لتبادل النماذج بين الأدوات. يتم تحديد النظام كمجموعة من الآلات المجردة المترابطة والتي تعد امتدادات لآلات الحالة المحدودة (FSM). [2]
اللغة مكتملة رسميًا ، [3] لذا يمكن استخدامها لتوليد التعليمات البرمجية للمحاكاة أو الأهداف النهائية.
تغطي لغة المواصفات والوصف خمسة جوانب رئيسية: البنية، والاتصال، والسلوك، والبيانات، والوراثة. ويتم تفسير سلوك المكونات من خلال تقسيم النظام إلى سلسلة من التسلسلات الهرمية. ويتم الاتصال بين المكونات من خلال بوابات متصلة بواسطة قنوات. وتكون القنوات من نوع القناة المتأخرة، لذا فإن الاتصال يكون عادة غير متزامن، ولكن عندما يتم ضبط التأخير على الصفر (أي عدم وجود تأخير) يصبح الاتصال متزامنًا.
تم إصدار أول إصدار من اللغة في عام 1976 باستخدام بناء الجملة الرسومي (SDL-76). وتم تنقيحه في عام 1980 ببعض الدلالات الأولية (SDL-80). وتم تحسين الدلالات في عام 1984 (SDL-84)، وتم تقديم الشكل النصي للمعالجة الآلية وتم تقديم البيانات. في عام 1988، تم إصدار SDL-88 مع أساس رسمي للغة: قواعد مجردة بالإضافة إلى قواعد ملموسة وتعريف رسمي كامل. قدمت النسخة التي تم إصدارها في عام 1992 (SDL-92) مفاهيم موجهة للكائنات مثل الميراث والأنواع العامة المجردة وما إلى ذلك، مع وصف الميزات الموجهة للكائنات من خلال التحويلات إلى ميزات غير موجهة للكائنات. SDL-2010 هو أحدث إصدار، وهو إصدار محدث من SDL-2000 يعتمد بالكامل على التوجه للكائنات، بدلاً من الوصف عن طريق التحويلات. يأتي هذا الإصدار مصحوبًا بملف تعريف UML : توصية ITU-T Z.109 (04/12)، SDL-2010 جنبًا إلى جنب مع UML. قدم SDL-2010 أيضًا دعم أنواع البيانات C كما قدمها SDL-RT في البداية.
منظمة
مستوى التسلسل الهرمي
يتم تنظيم مستوى التسلسل الهرمي لـ SDL على النحو التالي.
- حزمة المكتبة
- وكيل النظام
- وكيل كتلة
- وكيل العملية
- نوع الإجراء
- إجراء عن بعد
بنيان
يتكون نظام SDL من كتل وظيفية ويمكن تحليل كل كتلة إلى كتل فرعية. تتكون الكتلة ذات المستوى الأدنى من عملية واحدة أو عدة عمليات توصف بأنها آلات ذات حالة محدودة.
تواصل
ترتبط الكتل من خلال قنوات تحمل الرسائل (أو الإشارات) المتبادلة بين الكتل. يتكون وكيل الكتلة من وكلاء العملية.
سلوك
كل وكيل عملية هو آلة حالة تساهم في الإجراء الذي يقوم به النظام. يُطلق على حافز الرسالة القادم من البيئة أو من وكيل آخر إلى وكيل اسم الإشارة. يتم وضع الإشارات التي يستقبلها وكيل العملية أولاً في قائمة انتظار (منفذ الإدخال). عندما تكون آلة الحالة في حالة ما، إذا تم تمكين الإشارة الأولى في منفذ الإدخال لهذه الحالة، فإنها تبدأ انتقالًا يؤدي إلى حالة أخرى. يمكن للانتقالات إخراج إشارات إلى وكلاء آخرين أو إلى البيئة. يُسمح لوكيل العملية باحتواء أنواع الإجراءات بحيث يمكن استدعاء نفس الإجراءات من أماكن مختلفة. يُسمح أيضًا باستدعاء نوع إجراء بعيد لاستدعاء إجراء في وكيل آخر (أو حتى نظام آخر) وانتظار الاستجابة.
في هذا المثال، يكون MyVariable من النوع INTEGER وهو المتغير الوحيد في العملية. الانتقال الأول هو انتقال البدء الذي يقوم بتهيئة المتغير المحلي. يتم إرسال رسالة طلب الاتصال conReq ، ويتم تشغيل مؤقت conReqTimer لمدة 5 ثوانٍ ، وتنتقل آلة الحالة إلى حالة الاتصال . في حالة الاتصال ، إذا انطفأ المؤقت - وهو ما يعادل استلام رسالة - يتم إرسال طلب الاتصال مرة أخرى حتى 10 مرات. إذا تم استلام تأكيد الاتصال، تنتقل آلة الحالة إلى حالة الاتصال . هذا هو سيناريو بروتوكول الاتصالات النموذجي.
الرموز المتاحة هي:
بيانات
تدعم أنواع البيانات المجردة (ADT) في SDL أنواع البيانات الأساسية مثل INTEGER وREAL وCHARSTRING بالإضافة إلى الأنواع المنظمة مثل الهياكل (STRUCT) والأرقام المعدودة (LITERALS) والثوابت (SYNONYMS). يبدو بناء الجملة مشابهًا لذلك الموجود في Pascal، على سبيل المثال، تتم كتابة التعيين ':='.
المتغيرات
- يعتمد SDL-RT على لغة المواصفات والوصف الخاصة بالاتحاد الدولي للاتصالات والتي تحل محل لغة البيانات بلغة C. [4] يتضمن أحدث إصدار من معيار SDL (SDL'2010) الآن دعم أنواع البيانات C والنحو مما يجعل مبدأ SDL-RT الأساسي جزءًا من المعيار الرسمي.
- TNSDL هو أحد المتغيرات التي طورتها شركة Nokia للاستخدام الداخلي.
التقنيات ذات الصلة
- مخطط تسلسل رسائل MSC . تدوين آخر مرتبط بمعيار ITU-T لوصف السلوك الديناميكي للنظام.
- ASN.1 تدوين بناء الجملة المجرد 1. معيار ISO لوصف أنواع البيانات التي يمكن استخدامها داخل SDL.
- اختبار TTCN-3 وترميز التحكم في الاختبار، الإصدار 3. لغة اختبار موحدة من قبل ITU-T ومكتوبة بواسطة ETSI.
- لغة النمذجة الموحدة هي لغة ترميز نمذجة عامة. تم توحيد ملف التعريف بناءً على لغة النمذجة الموحدة.
انظر أيضا
مراجع
- ^ Fonseca i Casas, Pau وPi, Xavier وCasanovas, Josep وJové, Jordi (2013). "تعريف نماذج محاكاة الواقع الافتراضي باستخدام مخططات لغة المواصفات والوصف". SDL 2013: هندسة الاعتمادية القائمة على النماذج . مذكرات محاضرات في علوم الكمبيوتر. المجلد 7916. Springer Berlin Heidelberg . ص 258-274. doi :10.1007/978-3-642-38911-5_15. hdl :2117/22156. ISBN 978-3-642-38910-8.
{{cite book}}:CS1 maint: أسماء متعددة: قائمة المؤلفين ( الرابط ) - ^ هذه المقالة مبنية على مادة مأخوذة من SDL في القاموس المجاني على الإنترنت للحوسبة قبل 1 نوفمبر 2008 وتم دمجها بموجب شروط "إعادة الترخيص" في القاموس المجاني على الإنترنت للحوسبة ، الإصدار 1.3 أو الأحدث.
- ^ R. Grammes; R. Gotzhein (2007). Fundamental Approaches to Software Engineering . Lecture Notes in Computer Science. المجلد 4422. Springer . ص 200-214. doi :10.1007/978-3-540-71289-3_17. ISBN 978-3-540-71288-6. S2CID 22556123.
- ^ "لغة المواصفات والوصف – الوقت الحقيقي" . تم الاسترجاع في 2014-03-29 .
الاستخدام الرئيسي لـ SDL-RT هو تطوير البرامج المدمجة والوقت الحقيقي. تعتمد SDL-RT على المهام التي يتم تشغيلها بشكل متزامن والتي تتبادل المعلومات من خلال الرسائل وتتزامن مع بعضها البعض باستخدام إشارات المرور.
روابط خارجية
- لغات الاتحاد الدولي للاتصالات وجوانب البرمجيات العامة لأنظمة الاتصالات
- منتدى مجتمع SDL
- قائمة أدوات SDL
