أعلنت مؤسسة Linux Foundation ، وهي اتحاد تقني غير ربحي مسؤول عن إدارة العديد من المشاريع مفتوحة المصدر ، مؤخرًا عن إنشاء TLA+ Foundation. تهدف هذه المنظمة الجديدة إلى تشجيع اعتماد وتطوير لغة البرمجة TLA+ ، مع AWS و Oracle و Microsoft كأعضاء أساسيين أساسيين.
TLA+ هي لغة مواصفات رسمية ابتكرتها عالمة الكمبيوتر وعالمة الرياضيات في أبحاث Microsoft Leslie Lamport. قام Lamport ، المعروف بإسهاماته الكبيرة في الأنظمة الموزعة ، بتصميم TLA+ لنمذجة وتوثيق وتصميم والتحقق من البرامج المتزامنة والموزعة.
على سبيل المثال ، استخدمت ElasticSearch ، الشركة التي تقف وراء محرك البحث الذي يحمل نفس الاسم ، TLA+ لتأكيد دقة خوارزميات النظام الموزعة. في حالة أخرى ، استخدمت شركة Thales المصنعة للأنظمة الكهربائية TLA+ لتطوير ونمذجة وحدات مقاومة للأخطاء لمنصة التحكم الصناعية الخاصة بها.
أوضح متحدث باسم مؤسسة Linux Foundation في رسالة بريد إلكتروني إلى TechCrunch أن TLA+ تركز على تحديد نظام بدلاً من تطبيق البرنامج. يعتمد على مبادئ رياضية مثل نظرية المجموعات والمنطق الزمني ، مما يمكّن المطورين من التعبير رسميًا عن خصائص الصواب المرغوبة للنظام.
باستخدام مدقق نموذج مدمج ومثبِّت نظرية ، يتحقق TLA+ مما إذا كانت مواصفات النظام تفي بخصائصه المقصودة. تساعد هذه الأدوات المطورين في التفكير في الأنظمة فوق مستوى الكود ، مما يساعدهم في العثور على عيوب التصميم المحتملة وإصلاحها قبل المراحل اللاحقة لهندسة البرمجيات. نظرًا لانتشار إخفاقات تصميم البرامج ويمكن أن تكون كارثية ، فإن استخدام TLA+ يمكن أن يساعد في ضمان تطوير برامج أكثر أمانًا وفعالية.
كجزء من مهمتها ، ستقدم TLA+ Foundation الموارد التدريبية والتعليمية ، وتمول المبادرات البحثية ، وتطور أدوات جديدة ، وتعزز مجتمع مستخدمي TLA+. ستشارك أيضًا في تطوير اللغة من خلال اتخاذ قرارات بشأن التحسينات ومعالجة ملاحظات المستخدم وتوجيه تقدمها.
تهدف مؤسسة Linux إلى تعزيز الرؤية والدعم لـ TLA+ من خلال إنشاء مؤسسة مخصصة تحت مظلتها. نتيجة لذلك ، يمكن أن تكتسب لغة البرمجة اعتمادًا أوسع عبر صناعة التكنولوجيا. نجحت شركات مثل Amazon و Oracle و Microsoft في استخدام TLA+ لتصميم أنظمة على نطاق كوكبي. تسعى مؤسسة Linux أيضًا إلى تطوير الأساليب الرسمية وأبحاث الأنظمة المتزامنة والموزعة من خلال تشجيع المزيد من التعاون بين الصناعة والأوساط الأكاديمية.
نظرًا لأن حركة no-code ، تستمر حركة low-code في الازدياد في شعبيتها ، تعمل منصات مثل appmaster .io> AppMaster.io على تحويل مشهد تطوير التطبيقات. من خلال التأكيد على البساطة وسهولة الاستخدام ، يسمح appmaster .io/how-to-create-an-app> AppMaster الأساسي للشركات بتطوير تطبيقات الويب والجوّال والخلفية دون الحاجة إلى معرفة واسعة بالشفرة. بالاقتران مع مبادرات مثل TLA+ Foundation ، يساعد AppMaster في جعل تطوير البرامج أكثر سهولة وفعالية للجميع.