لغة الأنظمة العالمية

📅 آخر تحديث: ١٧ يوليو ٢٠٢٦
✍️ نُشر في: ١٧ يوليو ٢٠٢٦
📷 يحتوي على 1 صور
الموسوعة الحرة

لغة الأنظمة العالمية ( USL ) هي لغة نمذجة أنظمة ومنهجية رسمية لتحديد وتصميم البرمجيات والأنظمة المعقدة الأخرى. صممتها مارغريت هاميلتون استنادًا إلى خبرتها في كتابة برمجيات الطيران لبرنامج أبولو . [ 1 ] تُطبَّق هذه اللغة من خلال برنامج 001 Tool Suite من شركة Hamilton Technologies, Inc. [ 2 ] تطورت لغة USL من 001AXES، التي بدورها تطورت من AXES، وكلها تستند إلى بديهيات هاميلتون للتحكم. يستخدم برنامج 001 Tool Suite مفهوم التطوير الاستباقي قبل التنفيذ (DBTF) في عملية تطوير دورة حياته. يعمل DBTF على إزالة الأخطاء في أقرب وقت ممكن خلال عملية التطوير، مما يُغني عن البحث عنها لاحقًا.

فلسفة

استُلهمت لغة البرمجة الموحدة (USL) من إدراك هاميلتون لأنماط أو فئات الأخطاء التي تحدث أثناء تطوير برمجيات أبولو . [ 3 ] [ 4 ]

تتضمن قواعد اللغة الأمريكية ضمانات معينة للصحة. [ 5 ]

يعتبر بعض المستخدمين لغة USL أكثر سهولة في الاستخدام من الأنظمة الرسمية الأخرى. [ 6 ] فهي ليست مجرد شكلية للبرمجيات، بل تحدد أيضًا أنطولوجيات للعناصر المشتركة في مجالات المشكلات، مثل الفضاء المادي وتوقيت الأحداث.

الشكلية لنظرية التحكم

[ 7 ] [ 8 ]

تتميز البنى الأولية بشموليتها، إذ يمكن استخدامها لاستنباط بنى أو دوال أو أنواع مجردة وشاملة جديدة. وتُعادل عملية استنباط كائنات جديدة (أي بنى وأنواع ودوال) عملية استنباط أنواع جديدة في نظرية الأنواع البنائية.

الشكل 1: تشكل هياكل التحكم الأولية الثلاثة وقواعدها أساسًا عالميًا لبناء الخرائط في مجالات الزمان والمكان مثل FMaps وTMaps.

تطبيق

تتلخص عملية تطوير نظام برمجي باستخدام لغة USL وأدواتها الآلية، مجموعة أدوات 001 (001)، فيما يلي: تعريف النظام باستخدام لغة USL، ثم تحليل التعريف تلقائيًا باستخدام محلل 001 للتأكد من استخدام لغة USL بشكل صحيح، وأخيرًا توليد جزء كبير من التصميم وجميع أكواد التنفيذ تلقائيًا باستخدام مولد 001. [ 9 ] [ 10 ] [ 11 ] [ 12 ] ويمكن استخدام لغة USL لتقديم دعمها الرسمي للغات أخرى. [ 13 ]

انظر أيضاً

مراجع

  1. ↑ م. هاميلتون و و. ر. هاكلر، " لغة الأنظمة العالمية: الدروس المستفادة من أبولو "، مجلة IEEE Computer، ديسمبر 2008.
  2. ↑ 001 مجموعة الأدوات (1986-2020)
  3. ↑ مارغريت هـ. هاميلتون، هاميلتون تكنولوجيز (27 سبتمبر 2012). ""لغة الأنظمة العالمية وأتمتتها، مجموعة أدوات 001، لتصميم وبناء الأنظمة والبرمجيات" سلسلة ندوات لوكهيد مارتن/جمعية مهندسي الكهرباء والإلكترونيات عبر الإنترنت" .
  4. ↑ هاميلتون، مارغريت هـ. (2018). "ما تخبرنا به الأخطاء" . مجلة IEEE للبرمجيات . 35 (5): 32-37 . doi : 10.1109/MS.2018.290110447 . ISSN 0740-7459 . S2CID 52896962 .  
  5. ↑ دولها، ستيف، تشيست، ديف، "نظام استعلام عن بعد للويب: إدارة تطوير الأنظمة الموزعة."، الفصل 32، إدارة الإنترنت، المحرر جيسيكا كيز، أورباخ، 2000.
  6. ↑ Krut, Jr., B., “ Integrating 001 Tool Support in the Feature-Oriented Domain Analysis Methoding “ (CMU/SEI-93-TR-11, ESC-TR-93-188), Pittsburgh, SEI, Carnegie Mellon University, 1993.
  7. ↑ هاميلتون، م. ، " داخل عملية التطوير قبل حدوثها" ، قصة الغلاف، ملحق تحريري خاص، 8ES-24ES. التصميم الإلكتروني، أبريل 1994.
  8. ↑ هاميلتون، م. ، " 001: بيئة هندسة النظم وتطوير البرمجيات لدورة حياة كاملة: التطوير قبل الحدث في العمل" ، قصة الغلاف، ملحق تحريري خاص، 8ES-24ES. التصميم الإلكتروني، أبريل 1994.
  9. ↑ أويانغ، م.، غولاي، م.و. 1995، نهج رسمي متكامل لتطوير برامج عالية الجودة للأنظمة الحساسة للسلامة ، معهد ماساتشوستس للتكنولوجيا، كامبريدج، ماساتشوستس، التقرير رقم MIT-ANP-TR-035.
  10. ↑ اتحاد إنتاجية البرمجيات (SPC) (1998)، مسح الأساليب والأدوات الموجهة للكائنات ، هيرندون، فيرجينيا. SPC-98022-MC، الإصدار 02.00.02، ديسمبر 1998.
  11. ↑ ماكس شيندلر (1990) تصميم البرمجيات بمساعدة الحاسوب ، جون وايلي وأولاده، 1990.
  12. ↑
    • وزارة الدفاع (1992). تجربة أدوات هندسة البرمجيات - التقرير النهائي ، المجلد 1، ملخص التجربة، الجدول 1، صفحة  9. مبادرة الدفاع الاستراتيجي، واشنطن العاصمة.
  13. ↑ هاميلتون، إم. هاكلر، دبليو آر، " دلالات أنظمة عالمية رسمية لـ SysML " ، الندوة الدولية السنوية السابعة عشرة، INCOSE 2007، سان دييغو، كاليفورنيا، يونيو 2007.

للمزيد من القراءة

  • Hamilton, M., Zeldin, S. (1976), "البرمجيات ذات المستوى الأعلى  - منهجية لتعريف البرمجيات"، معاملات IEEE في هندسة البرمجيات، المجلد SE-2، العدد 1، مارس 1976.
  • هاميلتون، م. (أبريل 1994). "نظرة من الداخل على عملية التطوير قبل حدوثها" . (مقال الغلاف). ملحق تحريري خاص. 8ES-24ES. التصميم الإلكتروني .
  • هاميلتون، م. (يونيو 1994). "001: بيئة هندسة النظم وتطوير البرمجيات لدورة حياة كاملة" . (مقال الغلاف). ملحق تحريري خاص. 22ES-30ES. التصميم الإلكتروني .
  • هاميلتون، م.، هاكلر، دبليو آر. (2004)، مبادئ هندسة البرمجيات المشتركة لوحدة التوجيه والملاحة المتكاملة بعمق (DI-GNU) (مراجعة 29 ديسمبر 2004)، DAAAE30-02-D-1020 وDAAB07-98-D-H502/0180، بيكاتيني أرسنال، نيوجيرسي، 2003-2004.
  • هاميلتون، م. وهاكلر، دبليو آر (2007)، " لغة الأنظمة العالمية لهندسة الأنظمة الوقائية "، وقائع المؤتمر السنوي الخامس لبحوث هندسة الأنظمة (CSER)، معهد ستيفنز للتكنولوجيا، مارس 2007، ورقة رقم 36.
  • هاميلتون، م.؛ هاكلر، دبليو آر (2007). " دلالات أنظمة عالمية رسمية لـ SysML ". الندوة الدولية السنوية السابعة عشرة، INCOSE 2007، سان دييغو، كاليفورنيا، يونيو 2007.