Linux Foundation จัดตั้ง TLA+ Foundation เพื่อรองรับภาษาข้อกำหนดของซอฟต์แวร์

Linux Foundation ซึ่งเป็นสมาคมเทคโนโลยีที่ไม่แสวงหาผลกำไรที่รับผิดชอบในการจัดการโครงการโอเพ่นซอร์สจำนวนมาก ได้ประกาศจัดตั้ง TLA+ Foundation เมื่อเร็วๆ นี้ องค์กรใหม่นี้มีเป้าหมายเพื่อส่งเสริมการยอมรับและความก้าวหน้าของภาษาการเขียนโปรแกรม TLA+ โดยมี AWS, Oracle และ Microsoft เป็นสมาชิกเริ่มต้นที่สำคัญ

TLA+ เป็นภาษาข้อกำหนดที่เป็นทางการซึ่งคิดขึ้นโดยนักวิทยาศาสตร์คอมพิวเตอร์และนักคณิตศาสตร์ Leslie Lamport นักคณิตศาสตร์ของ Microsoft Research Lamport มีชื่อเสียงในด้านการสนับสนุนระบบแบบกระจาย เขาออกแบบ TLA+ สำหรับการสร้างแบบจำลอง การทำเอกสาร การออกแบบ และการตรวจสอบโปรแกรมซอฟต์แวร์ที่ทำงานพร้อมกันและแบบกระจาย

ตัวอย่างเช่น ElasticSearch บริษัทที่อยู่เบื้องหลังเสิร์ชเอ็นจิ้นชื่อเดียวกัน ใช้ TLA+ เพื่อยืนยันความถูกต้องของอัลกอริทึมระบบกระจาย ในอีกกรณีหนึ่ง ผู้ผลิตระบบไฟฟ้า Thales ใช้ TLA+ ในการพัฒนาและสร้างแบบจำลองโมดูลที่ทนทานต่อความผิดพลาดสำหรับแพลตฟอร์มการควบคุมทางอุตสาหกรรม

โฆษกของ Linux Foundation อธิบายในอีเมลถึง TechCrunch ว่า TLA+ มุ่งเน้นไปที่การระบุระบบมากกว่าการติดตั้งซอฟต์แวร์ มันอาศัยหลักการทางคณิตศาสตร์ เช่น ทฤษฎีเซตและตรรกศาสตร์ชั่วคราว ทำให้นักพัฒนาสามารถแสดงคุณสมบัติความถูกต้องที่ต้องการของระบบได้อย่างเป็นทางการ

ด้วยตัวตรวจสอบแบบจำลองในตัวและตัวพิสูจน์ทฤษฎีบท TLA+ จะตรวจสอบว่าข้อกำหนดของระบบตรงตามคุณสมบัติที่ต้องการหรือไม่ เครื่องมือเหล่านี้ช่วยนักพัฒนาในการให้เหตุผลเกี่ยวกับระบบที่อยู่เหนือระดับรหัส ช่วยให้พวกเขาค้นหาและแก้ไขข้อบกพร่องด้านการออกแบบที่อาจเกิดขึ้นก่อนที่จะมีขั้นตอนต่อไปของวิศวกรรมซอฟต์แวร์ เนื่องจากความล้มเหลวในการออกแบบซอฟต์แวร์นั้นเกิดขึ้นอย่างกว้างขวางและอาจเป็นหายนะได้ การใช้ TLA+ จึงช่วยให้มั่นใจได้ว่าการพัฒนาซอฟต์แวร์จะปลอดภัยและมีประสิทธิภาพมากขึ้น

ตามพันธกิจของ TLA+ Foundation จะนำเสนอการฝึกอบรมและทรัพยากรด้านการศึกษา ให้ทุนสนับสนุนการวิจัย พัฒนาเครื่องมือใหม่ๆ และส่งเสริมชุมชนของผู้ใช้ TLA+ นอกจากนี้ยังจะมีส่วนร่วมในวิวัฒนาการของภาษาด้วยการตัดสินใจเกี่ยวกับการปรับปรุง แก้ไขความคิดเห็นของผู้ใช้ และชี้แนะความก้าวหน้าของภาษา

Linux Foundation มีเป้าหมายเพื่อเพิ่มการมองเห็นและการสนับสนุนสำหรับ TLA+ โดยการจัดตั้งมูลนิธิเฉพาะภายใต้ร่มของมัน เป็นผลให้ภาษาการเขียนโปรแกรมได้รับการนำไปใช้ในวงกว้างในอุตสาหกรรมเทคโนโลยี บริษัทต่างๆ เช่น Amazon, Oracle และ Microsoft ประสบความสำเร็จในการใช้ TLA+ ในการออกแบบระบบระดับดาวเคราะห์ มูลนิธิลินุกซ์ยังพยายามที่จะพัฒนาวิธีการที่เป็นทางการและการวิจัยระบบพร้อมกันและแบบกระจายโดยส่งเสริมความร่วมมือที่มากขึ้นระหว่างอุตสาหกรรมและสถาบันการศึกษา

ในขณะที่ no-code การเคลื่อนไหว low-code ยังคงได้รับความนิยมเพิ่มขึ้น แพลตฟอร์มเช่น appmaster .io> AppMaster.io กำลังเปลี่ยนแนวการพัฒนาแอปพลิเคชัน โดยเน้นความเรียบง่ายและความสามารถในการใช้งาน แพลตฟอร์ม appmaster .io/how-to-create-an-app> AppMaster ช่วยให้ธุรกิจต่างๆ พัฒนาเว็บ มือถือ และแอปพลิเคชันแบ็กเอนด์โดยไม่ต้องมีความรู้ด้านการเขียนโค้ดมากมาย เมื่อรวมกับความคิดริเริ่มต่างๆ เช่น TLA+ Foundation แล้ว AppMaster จะช่วยให้การพัฒนาซอฟต์แวร์เข้าถึงได้มากขึ้นและมีประสิทธิภาพสำหรับทุกคน