Linux Foundation powołuje Fundację TLA+ wspierającą język specyfikacji oprogramowania

Linux Foundation, konsorcjum technologiczne non-profit odpowiedzialne za zarządzanie wieloma projektami open source, ogłosiło niedawno utworzenie TLA+ Foundation. Ta nowa organizacja ma na celu wspieranie przyjęcia i rozwoju języka programowania TLA+, a jej głównymi członkami są AWS, Oracle i Microsoft.

TLA+ to język specyfikacji formalnych, którego pomysłodawcą jest informatyk i matematyk z Microsoft Research Leslie Lamport. Lamport, znany ze swojego znaczącego wkładu w systemy rozproszone, zaprojektował TLA+ do modelowania, dokumentowania, projektowania i weryfikowania współbieżnych i rozproszonych programów.

Na przykład ElasticSearch, firma stojąca za tytułową wyszukiwarką, wykorzystała TLA+ do potwierdzenia poprawności swoich algorytmów systemów rozproszonych. W innym przypadku, producent systemów elektrycznych Thales wykorzystał TLA+ do opracowania i zamodelowania odpornych na błędy modułów dla swojej platformy kontroli przemysłowej.

Rzecznik Fundacji Linuksa wyjaśnił w e-mailu do TechCrunch, że TLA+ skupia się na określaniu systemu, a nie na implementacji oprogramowania. Opiera się na zasadach matematycznych, takich jak teoria zbiorów i logika temporalna, umożliwiając programistom formalne wyrażenie pożądanych właściwości poprawności systemu.

Dzięki wbudowanemu narzędziu do sprawdzania modeli i weryfikatorowi twierdzeń, TLA+ weryfikuje, czy specyfikacja systemu spełnia jego zamierzone właściwości. Narzędzia te pomagają programistom w rozumowaniu o systemach powyżej poziomu kodu, pomagając im znaleźć i naprawić potencjalne błędy projektowe przed późniejszymi etapami inżynierii oprogramowania. Ponieważ błędy w projektowaniu oprogramowania są powszechne i mogą być katastrofalne, wykorzystanie TLA+ może pomóc w zapewnieniu bezpieczniejszego i bardziej efektywnego rozwoju oprogramowania.

W ramach swojej misji, Fundacja T LA+ będzie oferować szkolenia i zasoby edukacyjne, finansować inicjatywy badawcze, rozwijać nowe narzędzia i wspierać społeczność użytkowników TLA+. Będzie również uczestniczyć w ewolucji języka poprzez podejmowanie decyzji dotyczących ulepszeń, reagowanie na opinie użytkowników oraz kierowanie jego rozwojem.

Linux Foundation chce zwiększyć widoczność i wsparcie dla TLA+ poprzez ustanowienie specjalnej fundacji pod swoim patronatem. W rezultacie, język programowania może zyskać szerszą adopcję w całej branży technologicznej. Firmy takie jak Amazon, Oracle i Microsoft już z powodzeniem wykorzystują TLA+ do projektowania systemów o skali planetarnej. Fundacja Linuksa stara się również rozwijać metody formalne oraz badania nad systemami współbieżnymi i rozproszonymi poprzez zachęcanie do większej współpracy między przemysłem a środowiskiem akademickim.

W miarę jak ruch no-code, low-code zyskuje na popularności, platformy takie jak <a href=https://appmaster.io>AppMaster.io zmieniają krajobraz tworzenia aplikacji. Kładąc nacisk na prostotę i użyteczność, platforma <a href=https://appmaster.io/how-to-create-an-app>AppMaster umożliwia firmom tworzenie aplikacji internetowych, mobilnych i backendowych bez konieczności posiadania rozległej wiedzy z zakresu kodowania. W połączeniu z inicjatywami takimi jak Fundacja TLA+, AppMaster pomaga w uczynieniu tworzenia oprogramowania bardziej dostępnym i efektywnym dla każdego.