Linux 基金會成立 TLA+ 語言基金會|世界即時

(資料圖片僅供參考)

Linux 基金會宣布成立 TLA+ 基金會 (TLAF)，以促進 TLA+ 編程語言及其 TLA+ 從業者社區的采用和發展。TLA+ 基金會的創始成員包括 AWS、甲骨文和微軟。

TLA+ (Temporal Logic of Actions) 是一種用于對程序和系統 (尤其是并發和分布式程序和系統) 進行建模的高級語言。Linux 基金會表示，TLA+ 語言已被成功用于驗證復雜的軟件系統、減少錯誤并提高可靠性；其有助于在開發過程的早期發現設計缺陷，節省時間和資源。“TLA+ Foundation 的成立旨在推動采用經過驗證的形式化方法來構建穩健的軟件。”

該語言在幾十年前由現任 Microsoft Research 杰出科學家 Leslie Lamport 發明，基于“精確描述事物的最佳方式是使用簡單的數學”的理念。時至今日，其管轄權逐漸從微軟轉移到 Linux 基金會，并獲得了自己獨立的基金會來推廣發展。

根據介紹，TLA+ 基金會是一個獨立的非營利組織，致力于促進 TLA+ 規范語言在工業界、學術界和教育界的采用，其總體目標是推進軟件工程中的數學思維。TLAF 資助與 TLA+ 相關的開發，以擴大其用途并促進繁榮的 TLA+ 社區，鼓勵該社區成員之間的合作。

TLA+ 基金會將促進采用、提供教育和培訓資源、資助研究、開發工具并建立 TLA+ 從業者社區。TLA+ 基金會作為語言委員會的角色將確保 TLA+ 語言的不斷完善和演進。TLA+ 基金會將就語言增強做出決策，解決用戶反饋和需求，保持高安全性和可靠性標準，并引導語言的發展以更好地服務于其用戶群。

基金會的行為準則包括：開源，全心全意地擁抱開源精神；賦予社區權力，最大限度地為 TLA+ 用戶帶來利益；透明性，所有正式的決策都將公開；以及秉承開放、友好、多元的精神。

Linux 基金會執行董事Jim Zemlin 稱：“TLA+ 基金會的成立表明了我們致力于推進 TLA+ 語言的使用和開發，以造福整個軟件行業。隨著世界對分布式系統的依賴程度不斷提高，對于開發人員來說，擁有 TLA+ 的功能來正式建模和驗證系統的行為是否符合預期非常重要?！?/p>

關鍵詞：