Linux Foundation, sebuah konsorsium teknologi nirlaba yang bertanggung jawab untuk mengelola berbagai proyek sumber terbuka, baru-baru ini mengumumkan pembentukan TLA+ Foundation. Organisasi baru ini bertujuan untuk mendorong adopsi dan kemajuan bahasa pemrograman TLA+, dengan AWS, Oracle, dan Microsoft sebagai anggota awal utama.
TLA+ adalah bahasa spesifikasi formal yang disusun oleh ilmuwan komputer dan ahli matematika Microsoft Research, Leslie Lamport. Lamport, terkenal karena kontribusinya yang signifikan terhadap sistem terdistribusi, merancang TLA+ untuk memodelkan, mendokumentasikan, merancang, dan memverifikasi program perangkat lunak bersamaan dan terdistribusi.
Misalnya, ElasticSearch, perusahaan di balik mesin telusur eponymous, menggunakan TLA+ untuk mengonfirmasi keakuratan algoritme sistem terdistribusi mereka. Dalam contoh lain, produsen sistem kelistrikan Thales menggunakan TLA+ untuk mengembangkan dan memodelkan modul toleransi kesalahan untuk platform kontrol industrinya.
Seorang juru bicara Linux Foundation menjelaskan dalam email ke TechCrunch bahwa TLA+ difokuskan untuk menentukan sistem daripada mengimplementasikan perangkat lunak. Itu bergantung pada prinsip-prinsip matematika seperti teori himpunan dan logika temporal, yang memungkinkan pengembang untuk secara formal mengekspresikan properti kebenaran yang diinginkan sistem.
Dengan pemeriksa model dan pembukti teorema bawaan, TLA+ memverifikasi apakah spesifikasi sistem memenuhi sifat yang diinginkan. Alat-alat ini membantu pengembang dalam penalaran tentang sistem di atas tingkat kode, membantu mereka menemukan dan memperbaiki kelemahan desain potensial sebelum tahap rekayasa perangkat lunak selanjutnya. Karena kegagalan desain perangkat lunak tersebar luas dan dapat menjadi bencana, penggunaan TLA+ dapat membantu memastikan pengembangan perangkat lunak yang lebih aman dan lebih efisien.
Sebagai bagian dari misinya, TLA+ Foundation akan menawarkan pelatihan dan sumber daya pendidikan, mendanai inisiatif penelitian, mengembangkan alat baru, dan membina komunitas pengguna TLA+. Itu juga akan berpartisipasi dalam evolusi bahasa dengan membuat keputusan tentang peningkatan, menangani umpan balik pengguna, dan membimbing perkembangannya.
Linux Foundation bertujuan untuk meningkatkan visibilitas dan dukungan untuk TLA+ dengan mendirikan yayasan khusus di bawah payungnya. Akibatnya, bahasa pemrograman dapat diadopsi lebih luas di seluruh industri teknologi. Perusahaan seperti Amazon, Oracle, dan Microsoft telah berhasil memanfaatkan TLA+ untuk merancang sistem berskala planet. Linux Foundation juga berusaha untuk memajukan metode formal dan penelitian sistem bersamaan dan terdistribusi dengan mendorong kolaborasi yang lebih besar antara industri dan akademisi.
Karena gerakan no-code, low-code terus meningkat popularitasnya, platform seperti appmaster .io> AppMaster.io mengubah lanskap pengembangan aplikasi. Dengan menekankan kesederhanaan dan kegunaan, platform appmaster .io/how-to-create-an-app> AppMaster memungkinkan bisnis untuk mengembangkan aplikasi web, seluler, dan backend tanpa memerlukan pengetahuan pengkodean yang luas. Dikombinasikan dengan inisiatif seperti TLA+ Foundation, AppMaster membantu membuat pengembangan perangkat lunak lebih mudah diakses dan efisien untuk semua orang.
