モデリング言語「TLA+」の開発、普及を促進する非営利団体を設立：Linux Foundation：実務者コミュニティーの構築、発展も後押し

Linux Foundationは、非営利団体「TLA+ Foundation」の設立を発表した。TLA+ Foundationは、モデリング言語「TLA+」の開発と普及や、TLA+を利用する実務者コミュニティーの構築と発展を促進することを目的としている。

[＠IT]

　オープンソースソフトウェア（OSS）を通じたイノベーション促進を目指す非営利団体Linux Foundationは2023年4月21日（米国時間）、非営利団体「TLA+ Foundation」の設立を発表した。

　TLA+ Foundationは、モデリング言語「TLA+」の開発と普及や、TLA+を利用する実務者コミュニティーの発展を促進することを目的としている。設立メンバーは、Amazon Web Services（AWS）、Oracle、Microsoftだ。

　TLA+は、プログラムやシステム（特に、並行型、分散型の）をモデリングするための高水準言語だ。企業で複雑なソフトウェアシステムを検証し、エラーを減らして信頼性を高めるために使用され、成功を収めている。開発プロセスの早い段階で設計上の欠陥を検出し、時間とリソースを節約するのに役立つ。